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

“无效a（foo）'[使用参数依赖型查找找到]

嗯，令人惊讶的是，MSVC有一个非常好的错误说明：

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

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

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

Answer 2

有两个符号a（foo），编译器无法决定使用哪一个符号。 因此你必须明确地指示编译器。

如果你想foobar的的（富）到被调用那就试试这个，

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

如果你想全局一（富）

那就试试这个，

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