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

OwnWaterloo

简化后的代码大概是这样：

1. #include <assert.h>
   
2. 
   
3. template<typename T> int f(T const&) { return 0; }
   
4. namespace ns {
   
5. template<typename T> int f(T const&) { return 1; } }
   
6. 
   
7. int main()
   
8. {
   
9.       using ::ns::f;
   
10.       assert(1==::ns::f([]{}));
    
11.       assert(1==f(0));
    
12. #ifndef NO_AMBIGUOUS
    
13.       assert(1==f([]{}));
    
14. #endif
    
15. }

复制代码

全局和ns名字空间下都有f函数模板。实际代码已经全部砍掉，只留下不同的返回值以方便后面区别。
然后在main里面using ::ns::f 。。。

::ns::f([]{}) 和 f(0) 调用的都是::ns::f。 问题出在f([]{})上。。。
用clang编译调用的也是::ns::f。 而g++编译就报错了。。。

1. 
   
2. overload_lambda_ambiguous.cpp: In function 'int main()':
   
3. overload_lambda_ambiguous.cpp:14:7: error: call of overloaded 'f(main()::<lambda()>)' is ambiguous
   
4. overload_lambda_ambiguous.cpp:14:7: note: candidates are:
   
5. overload_lambda_ambiguous.cpp:6:26: note: int ns::f(const T&) [with T = main()::<lambda()>]
   
6. overload_lambda_ambiguous.cpp:4:26: note: int f(const T&) [with T = main()::<lambda()>]
   

复制代码

从报错的最后两行来看， 两个f都在重载候选里， 并且都能匹配， 于是ambiguous。
那为什么f(0)又只选择了::ns::f。。。
g++ -DNO_AMBIGUOUS 去掉那行后就正常了。

我用的g++版本比较老。。。 但在某个提供在线编译的网站上用gcc 5.1编译还是有这样的问题。。。 从4.6.3到5.1。。。 都不修复吗。。。

SO...
1. using ::ns::f; 后会hide ::f 对么？
2. 如果对， 那为什么用lambda作为实际参数调用时又没hide？ 这是g++的bug吗？
3. 如果不对， f(0) 为什么只选中了::ns::f？

fender0107401

感觉跟看火星文一样，C++就是强大啊，哈哈。

lost_templar

去 stackoverflow 问问吧，CU 已经没有人气了。

然后去 gcc 提个 bug

windoze

既然你已经写了using ::ns::f，这地方又没涉及到ADL，那么f就应该是::ns::f，想来GCC在这种地方可能实现的有点混乱。

不过报错也不是坏事，最怕的就是不报错给你随便选一个那还不得吐血…………

VIP_fuck

估计gcc的支持也还没那么稳定，说不定LZ还真的发现了一个bug，

VIP_fuck

估计gcc的支持也还没那么稳定，说不定LZ还真的发现了一个bug，

OwnWaterloo

回复 2# fender0107401
没有吧？ 除了[]{}其他都是C++98的东西吧。。。

OwnWaterloo

回复 3# lost_templar
写e文比较费时。。。

OwnWaterloo

回复 4# windoze

目前还好。。。 反正是写测试时碰到的。。。  即使绕不过去大不了不测了

大概情况是这样。。。

1. 有几个宏。。。
MODULE_NS
MODULE_NS_ENTER
MODULE_NS_LEAVE
如果MODULE_NS没有定义就有一个默认值

2. 后续代码在合适的地方会用这些宏
MODULE_NS_ENTER
... // 这里面定义的一些宏，因为不知道它们会在何处展开，所以会使用 MODULE_NS::detail::some_thing 之类的
MODULE_NS_LEAVE

如果对默认放的名字空间不满意， 就在包含module.hpp前定义这几个宏，把内容放到别的名字空间里去。

3. 测试使用这几个宏

本来应该是分几个cpp单独测的。

1. 
   
2. // test_ns_global.cpp
   
3. #define MODULE_NS
   
4. #define MODULE_NS_ENTER
   
5. #define MODULE_NS_LEAVE
   
6. #include "module.hpp"
   

复制代码

1. 
   
2. // test_ns.cpp
   
3. #define MODULE_NS ::ns
   
4. #define MODULE_NS_ENTER namespace ns {
   
5. #define MODULE_NS_LEAVE }
   
6. #include "module.hpp"
   

复制代码

1. 
   
2. // test_ns_nested.cpp
   
3. #define MODULE_NS ::ns::util
   
4. #define MODULE_NS_ENTER namespace ns { namespace util {
   
5. #define MODULE_NS_LEAVE } }
   
6. #include "module.hpp"
   

复制代码

test_ns_global.cpp, test_ns.cpp, test_ns_nested.cpp 里面显然还要包含一个真正写测试的文件， 不然重复写这么多次不科学。

我觉得这样文件太多很烦。。。 就都放在一个test_ns.cpp里了。

1. 
   
2. // test_ns.cpp
   
3. #ifndef ONLEAVE_TEST_NS_NAME
   
4. #include <assert.h>
   
5. #include <typeinfo>
   
6. // include ...
   
7. 
   
8. // 包含自己3次。。。
   
9. #define MODULE_NS
   
10. #define MODULE_NS_ENTER
    
11. #define MODULE_NS_LEAVE
    
12. #define MODULE_TEST_NS_NAME global
    
13. #include "test_ns.cpp"
    
14. 
    
15. #define MODULE_NS ::ns
    
16. #define MODULE_NS_ENTER namespace ns {
    
17. #define MODULE_NS_LEAVE }
    
18. #define MODULE_TEST_NS_NAME ns
    
19. #include "test_ns.cpp"
    
20. 
    
21. #define MODULE_NS ::ns::util
    
22. #define MODULE_NS_ENTER namespace ns { namespace util {
    
23. #define MODULE_NS_LEAVE } }
    
24. #define MODULE_TEST_NS_NAME nested
    
25. #include "test_ns.cpp"
    
26. 
    
27. int main() {}
    
28. #else /* defined(MODULE_TEST_NS_NAME)*/
    
29. // 实际测试用的代码
    
30. #endif
    

复制代码

然后就中招了。。。

如果gcc不报错，但选错了名字空间的话， 测试应该全都能通过（毕竟所有名字空间里的功能都是一样的。。。）。。。
但有测试里面有输出typeid(x).name()， 所以仔细看还是能看出来。。。

OwnWaterloo

回复 4# windoze

module.hpp里面肯定会用C++11的东西， 所以用户也肯定要用C++11， 所以。。。
相比：

1. 
   
2. #define MODULE_NS ::my::favorite::ns
   
3. #define MODULE_NS_ENTER namespace my { namespace favorite { namespace ns {
   
4. #define MODULE_NS_LEAVE }}}
   
5. #include "module.hpp"
   

复制代码

用C++11新加的这个（namespace alias？）：

1. 
   
2. #include "module.hpp"
   
3. namespace favorite = a::default::explict::and::long::ns;
   

复制代码

会更方便点？