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：全局命名空间，使其不明确。

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