名字空间、重载候选与lambda。。。 这是g++的bug吗。。。

starwing83

@OwnWaterloo太过分了，下次发帖的时候上微信跟我说一声啊，这问题我知道。

首先，我没看标准，所以这是不是bug我不知道，但是，从实现的角度上来说，按照旧的标准解释，这个行为是合理的。

为什么呢？这就需要看闭包到底是什么了。闭包是一个对象，确切的说，是一个函数对象（Functor），也就是说，闭包实际上是一个匿名的，实现了operator()的一个struct的一个实例而已，问题就在于这个实例是在哪儿声明的。

你using 了::ns::f，那么这两个函数都参与了重载，这个OK，然后，你调用了::ns::f([]{})，那么，ns::f这个模版关于这个匿名类的对应实例被特化出来了，然后调用了f(0)，则int ::f(int)被特化出来了。现在问题是第三个调用了。

假设C++11对目前的ADL规则没有打补丁，那么，如果存在int ::f(main()::lambda());这样一个函数，那么它显然会参与重载决策，而::ns::f又被特化出来了，那必然会导致重载失败。

现在问题就成了“当我通过使用的方式特化某个函数时，编译器有没有权力自行特化其他函数”，貌似这个权力是有的（吧？）

这里的问题在于，首先lambda是函数对象，其次这个对象声明在main()作用域，然后就算using了::ns::f，f仍然在作用域，如果曾经特化过f的某个版本，而根据ADT肯定能找到::f（::f是main()的上层），那么重载失败就是可能的。

starwing83

可能都不需要ADL了，根本两个都是可见的，只要针对main()::lambda()类型的f被特化，就肯定会出现这个错儿，你自己试一下在clang里面手动特化某个模版看看还能不能编译过。

OwnWaterloo

回复 20# starwing83

@ 你是因为fender0107401提到lua
我怎么知道你这个纯C控还会继续研究C++

你的意思是说。。。

1. 
   
2. f([]{})
   

复制代码

和

1. 
   
2. struct X {} x;
   
3. f(x);
   

复制代码

是类似的问题？ 就看标准对x应该出现在哪是怎么定义的？

1. 
   
2. template<typename T> int f(T const&) { return 0; }
   
3. namespace ns {
   
4. template<typename T> int f(T const&) { return 1; } }
   
5. 
   
6. #ifdef X1
   
7. struct X {} x;
   
8. #endif
   
9. int main()
   
10. {
    
11. #ifdef X2
    
12. struct X {} x;
    
13. #endif
    
14.       using ::ns::f;
    
15. #ifdef X3
    
16. struct X {} x;
    
17. #endif
    
18.       f(x);
    
19. }
    

复制代码

clang， X1是歧义， X2和X3可以。
g++。。。 3处都是歧义。。。
怎么看怎么都是g++的（又一个）bug。。。

redcoder

从来不用use namespace xxx;
这玩意容易引起歧义，编译器受不了，你更受不了。

starwing83

回复 22# OwnWaterloo


    虽然我是纯C控，但是作为世界上最复杂的编程语言，我就算不用，也得研究研究更新一下知识库嘛。

嗯，本质上是一类问题。我不知道对于模版的实例化有没有什么标准的规定，我建议你查一下（关于模版何时可以实例化的问题）。而且，函数模版在没有实例化的时候是否参与ADL也有关系的，万一是个Unspecified啥的估计就不是Bug了。

你只需要把lambda当作匿名结构体处理就OK了，这里跟lambda关系不大，主要还是函数模版实例化和函数重载选择的问题。

dorodaloo

这个史大温
不错呀!
比这个瓦特路