c++ - C ++对重载函数的奇怪模棱两可的调用

Question

首先，这个问题纯属理论性质。我不是在寻找解决方案（我已经知道了），我只是在寻找解释。

以下代码无法编译：

struct foo {};
void a(foo) {}
namespace foobar {
    void a(foo) {}
    void b(foo f) {a(f);}
}
int main() {return 1;}

MSVC++：

1>c:\projects\codetests\main.cpp(7) : error C2668: 'foobar::a' : ambiguous call to overloaded function
1>        c:\projects\codetests\main.cpp(4): could be 'void foobar::a(foo)'
1>        c:\projects\codetests\main.cpp(2): or       'void a(foo)' [found using argument-dependent lookup]
1>        while trying to match the argument list '(foo)'

G++：

main.cpp: In function 'void foobar::b(foo)':
main.cpp:5:20: error: call of overloaded 'a(foo&)' is ambiguous
main.cpp:5:20: note: candidates are:
main.cpp:4:7: note: void foobar::a(foo)
main.cpp:2:6: note: void a(foo)

虽然此代码编译（MSVC++ 和 G++）：

namespace bar {struct foo {};}
void a(bar::foo) {}
namespace foobar {
    void a(bar::foo) {}
    void b(bar::foo f) {a(f);}
}
int main() {return 1;}

这是为什么？foo 周围的命名空间对这里的编译器有什么变化？这种行为是否在 C++ 标准中定义？还有其他解释吗？谢谢。

Answer 1

'void a(foo)' [使用参数相关查找找到]

好吧，令人惊讶的是，MSVC 有一个非常好的错误解释：

按照标准，在函数内部，编译器会在当前命名空间和定义参数类型的命名空间中查找符号。

在第一种情况下a，foobar在参数类型的命名空间中foo：全局命名空间，使其不明确。

在第二种情况下ais infoobar但不在参数类型的命名空间中bar::foo： with is bar。

Answer 2

有两个符号 a(foo) 并且编译器无法决定使用哪一个。因此，您必须明确指示编译器。

如果你想调用 foobar 的 a(foo) 然后试试这个，

   void b(foo f) { foobar::a(f); }

如果你想要全局 a(foo) 然后试试这个，

   void b(foo f) { ::a(f); }