函数名称查找ADL的一个问题,和我预想的不太一样.

donet8

下面这段代码是从网上摘下来的的，我自己做了一点修改。在名称空间X里面加入了一个我的函数f。我本来期待f(N:的时候调用的是我的函数，但是还是调用的N::里面的f

1. 
   
2. namespace X{
   
3.     template<typename T> void f(T);
   
4.     void f(int){ // 我新加的函数，为什么没有匹配?
   
5.         std::cout << "X::f\n";
   
6.     }
   
7. }
   
8. namespace N{
   
9.     using namespace X;
   
10.     enum E { e1 };
    
11.     void f(E){
    
12.         std::cout << "N::f(N::E) called\n";
    
13.     }
    
14. }
    
15. void f(int){
    
16.     std::cout << "::f(int) called\n";
    
17. }
    
18. int main(){
    
19.     ::f(N::e1);  // qualified function name: no ADL
    
20.     f(N::e1);    // ordinary lookup finds ::f() and ADL finds N::f(),
    
21. }                //  the latter is preferred
    

复制代码

奇怪的是，既然ADL按照限定名-->类型-->函数参数的名称空间的优先顺序来查找，那么既然N包含了X，为什么不能匹配X::f?

starwing83

回复 4# donet8


    就是要你看这个效果啊！！

你看，你用的参数是个枚举，那么最匹配的是int还是枚举呢？显然是枚举啊，那你的函数怎么可能被调用呢？

那么，如果有两个枚举的话，就有二义性了，这证明你的函数的确被找到了，我们只需要关注这个即可。

那么，接下来你就看，为啥用using X::f可以，用using namespace X;不可以了。

如果我没记错的话，using namespace X的时候，实际上还是有个层次在里面的，会先在本名字空间找，找不到才会去上层。

而using X::f直接把名字导入当前空间，在当前空间查找的时候就能找到它。

bruceteen

那么既然N包含了X
------ 你认为 “using namespace X;” 是 “包含了X”？谁忽悠你了^_^

starwing83

试试这个：

1. #include <iostream>
   
2. 
   
3. namespace N {
   
4.     enum E { e1 };
   
5. }
   
6. 
   
7. namespace X{
   
8.     template<typename T> void f(T);
   
9.     void f(N::E, int = 0){ // 我新加的函数，为什么没有匹配?
   
10.         std::cout << "X::f\n";
    
11.     }
    
12. }
    
13. namespace N{
    
14.     using namespace X;
    
15.     using X::f;
    
16.     void f(E){
    
17.         std::cout << "N::f(N::E) called\n";
    
18.     }
    
19. }
    
20. 
    
21. void f(int){
    
22.     std::cout << "::f(int) called\n";
    
23. }
    
24. int main(){
    
25.     ::f(N::e1);  // qualified function name: no ADL
    
26.     f(N::e1);    // ordinary lookup finds ::f() and ADL finds N::f(),
    
27. }                //  the latter is preferred
    

复制代码

donet8

starwing83 发表于 2012-06-05 13:35
试试这个：

这个不行，在f(N::E);这一行出错: error C2668: “f”: 对重载函数的调用不明确. 应该是同时找到了两个匹配，所以重载决议失败了吧。

donet8

bruceteen 发表于 2012-06-05 12:11
那么既然N包含了X
------ 你认为 “using namespace X;” 是 “包含了X”？谁忽悠你了^_^

哦，那应该怎么说呢? 一个namespace包含了另一个namespace，那么X里面我增加的f会不会加入重载决议当中?

donet8

starwing83 发表于 2012-06-05 15:00
回复 4# donet8

嗯，明白多了。