名字空間、重載候選與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. }

復(fù)制代碼

全局和ns名字空間下都有f函數(shù)模板。實(shí)際代碼已經(jīng)全部砍掉，只留下不同的返回值以方便后面區(qū)別。
然后在main里面using ::ns::f 。。。

::ns::f([]{}) 和 f(0) 調(diào)用的都是::ns::f。 問題出在f([]{})上。。。
用clang編譯調(diào)用的也是::ns::f。 而g++編譯就報(bào)錯(cuò)了。。。

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ù)制代碼

從報(bào)錯(cuò)的最后兩行來看， 兩個(gè)f都在重載候選里， 并且都能匹配， 于是ambiguous。
那為什么f(0)又只選擇了::ns::f。。。
g++ -DNO_AMBIGUOUS 去掉那行后就正常了。

我用的g++版本比較老。。。 但在某個(gè)提供在線編譯的網(wǎng)站上用gcc 5.1編譯還是有這樣的問題。。。 從4.6.3到5.1。。。 都不修復(fù)嗎。。。

SO...
1. using ::ns::f; 后會(huì)hide ::f 對么？
2. 如果對， 那為什么用lambda作為實(shí)際參數(shù)調(diào)用時(shí)又沒hide？ 這是g++的bug嗎？
3. 如果不對， f(0) 為什么只選中了::ns::f？

fender0107401

感覺跟看火星文一樣，C++就是強(qiáng)大啊，哈哈。

lost_templar

去 stackoverflow 問問吧，CU 已經(jīng)沒有人氣了。

然后去 gcc 提個(gè) bug

windoze

既然你已經(jīng)寫了using ::ns::f，這地方又沒涉及到ADL，那么f就應(yīng)該是::ns::f，想來GCC在這種地方可能實(shí)現(xiàn)的有點(diǎn)混亂。

不過報(bào)錯(cuò)也不是壞事，最怕的就是不報(bào)錯(cuò)給你隨便選一個(gè)那還不得吐血…………

VIP_fuck

估計(jì)gcc的支持也還沒那么穩(wěn)定，說不定LZ還真的發(fā)現(xiàn)了一個(gè)bug，

VIP_fuck

估計(jì)gcc的支持也還沒那么穩(wěn)定，說不定LZ還真的發(fā)現(xiàn)了一個(gè)bug，

OwnWaterloo

回復(fù) 2# fender0107401
沒有吧？ 除了[]{}其他都是C++98的東西吧。。。

OwnWaterloo

回復(fù) 3# lost_templar
寫e文比較費(fèi)時(shí)。。。

OwnWaterloo

回復(fù) 4# windoze

目前還好。。。 反正是寫測試時(shí)碰到的。。。  即使繞不過去大不了不測了

大概情況是這樣。。。

1. 有幾個(gè)宏。。。
MODULE_NS
MODULE_NS_ENTER
MODULE_NS_LEAVE
如果MODULE_NS沒有定義就有一個(gè)默認(rèn)值

2. 后續(xù)代碼在合適的地方會(huì)用這些宏
MODULE_NS_ENTER
... // 這里面定義的一些宏，因?yàn)椴恢�道它們�?huì)在何處展開，所以會(huì)使用 MODULE_NS::detail::some_thing 之類的
MODULE_NS_LEAVE

如果對默認(rèn)放的名字空間不滿意， 就在包含module.hpp前定義這幾個(gè)宏，把內(nèi)容放到別的名字空間里去。

3. 測試使用這幾個(gè)宏

本來應(yīng)該是分幾個(gè)cpp單獨(dú)測的。

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

復(fù)制代碼

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"
   

復(fù)制代碼

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"
   

復(fù)制代碼

test_ns_global.cpp, test_ns.cpp, test_ns_nested.cpp 里面顯然還要包含一個(gè)真正寫測試的文件， 不然重復(fù)寫這么多次不科學(xué)。

我覺得這樣文件太多很煩。。。 就都放在一個(gè)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. // 實(shí)際測試用的代碼
    
30. #endif
    

復(fù)制代碼

然后就中招了。。。

如果gcc不報(bào)錯(cuò)，但選錯(cuò)了名字空間的話， 測試應(yīng)該全都能通過（畢竟所有名字空間里的功能都是一樣的。。。）。。。
但有測試?yán)锩嬗休敵鰐ypeid(x).name()， 所以仔細(xì)看還是能看出來。。。

OwnWaterloo

回復(fù) 4# windoze

module.hpp里面肯定會(huì)用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"
   

復(fù)制代碼

用C++11新加的這個(gè)（namespace alias？）：

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

復(fù)制代碼

會(huì)更方便點(diǎn)？