4

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

以下代码无法编译:

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++ 标准中定义?还有其他解释吗?谢谢。

4

2 回答 2

4

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

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

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

在第一种情况下afoobar在参数类型的命名空间中foo:全局命名空间,使其不明确。

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

于 2013-04-12T10:47:08.967 回答
0

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

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

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

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

   void b(foo f) { ::a(f); }
于 2013-04-12T10:42:59.263 回答