编译器没有发现歧义

Question

我不得不花费一些时间来查找和修复我在以下代码中设法隔离的错误：

#include <iostream>

struct A
{
    std::string S;
    A(const std::string s) { S = s; }
};

void f1(A a) { std::cout << "f1:a.S = " << a.S << "\n"; }
void f1(const std::string s) { std::cout << "f1:s = " << s << "\n"; }

void f2(A a) { std::cout << "f2:a.S = " << a.S << "\n"; }

int main()
{
    f1(A("test"));
    f1(std::string("test"));

    f2(A("test"));
    f2(std::string("test"));

    return 0;
}

这个错误是由f1-function:f2创建的被忽略的（由我和编译器（？））引起的，清楚地表明f1(A)和f1(std::string)都适用于A，但是编译时编译器不会识别歧义，执行时输出是：

f1:a.S = test
f1:s = test
f2:a.S = test
f2:a.S = test

这种行为正确吗？编译器问题？还是只是普通的旧 PIBCAK？

Answer 1

您描述的行为是预期的：没有歧义。当两个重载匹配得一样好并且都是“最佳重载”时，就会出现重载解析歧义。

当您使用A 类型的参数调用f1 时，第一个f1 是完全匹配的；第二个f1 根本不匹配。因此，f1 显然在重载解决方案中获胜。

当您使用std::string 类型的参数调用f1 时，第一个f1 通过A 的转换构造函数匹配；第二个f1 是完全匹配的。第二个f1 是更好的匹配：它是完全匹配的，不需要转换。这两个重载的匹配并不相同，因此没有歧义。第二个f1 在重载解析期间获胜。