为什么此C++代码场景下编译器会选择错误的函数重载？

#include <cstddef>
#include <string>

using namespace std;

string f(char const* fmt, ...);
size_t f(char* buf, size_t sz, char const* fmt, ...);

void bar()
{
    f("%c%s", 'A', "AAA");
}

该现象由C++标准规则和编译器兼容特性共同导致，具体拆解如下：

• 可行候选判定的兼容逻辑
  第二个重载的第一个形参为char*，调用传入的第一个实参是字符串字面量"%c%s"，类型为const char[5]。在C03及更早标准中，为兼容C语言遗留代码，允许字符串字面量单独隐式转换为char*，该特性在C11被正式移除，但GCC等编译器默认保留该转换作为扩展，仅输出警告不阻断编译，此时第二个重载会被纳入可行候选范围。
• 重载决议的优先级规则
  C++标准明确规定：匹配固定形参的转换序列优先级高于匹配可变参数的转换序列。
  对第一个重载：第二个实参'A'、第三个实参"AAA"均匹配可变参数部分，转换序列优先级最低。
  对第二个重载：三个实参全部匹配固定形参部分，哪怕存在const char[5]→char*的限定转换、char→size_t的整数转换，整体优先级依然高于第一个重载，因此编译器最终选择第二个重载。从生成的汇编可以直观验证该结果：第一个重载返回std::string需要处理栈空间分配、对象构造等逻辑，第二个重载返回size_t仅需寄存器存储返回值，二者结构差异非常明显。
• 部分版本编译器编译失败的原因
  1. MSVC、GCC 8.3.1-3版本在默认编译模式下，已经将废弃的字符串字面量→char*隐式转换标记为编译错误，导致第二个重载被判定为不可行。
  2. 这类版本存在可变参数重载的决议bug：会错误的将已排除的不可行候选纳入歧义判断，最终报出编译错误，不符合C++标准要求。

内容的提问来源于stack exchange，提问作者C.M.