爲什麼編譯器在這裏抱怨函數歧義？

Question

我試圖運行從書「加速C++」（A.凱尼格，B.武）一些示例代碼（§8.2.2）：

#include <iostream> 
#include <vector> 

using std::cout; 
using std::endl; 
using std::vector; 

template <class In, class X> 
In find(In begin, In end, const X &x) 
{ 
    while (begin != end && *begin != x) { 
     ++begin; 
    } 

    return begin; 
} 

int main() 
{ 
    vector<int> v; 

    v.push_back(5); 
    v.push_back(32); 
    v.push_back(42); 
    v.push_back(7); 

    cout << *find(v.begin(), v.end(), 42) << endl; 

    return 0; 
} 

的find功能看起來像這樣的書;我自己寫的main函數。

clang ++和g ++都不會編譯它。看起來好像他們抱怨我的find函數引入了std::find的歧義。但是，我從來沒有在代碼中使用using namespace::std;和using std::find;，所以如果包含它，編譯器甚至不應該被允許使用std::find。這裏發生了什麼？

Answer 1

我想你已經絆倒了「Koenig lookup」（是的，同樣的Koenig，所以你會認爲他會發現問題），又名「ADL」。

假設一下，如果通過間接包括<algorithm>已經拉。

如果std::vector<int>::iterator（參數的類型）是在命名空間std一類，然後std::find是您的來電比賽，即使你永遠不會「使用」它，所以這個呼叫是不明確的。

如果std::vector<int>::iterator是int*，那麼std::find不是候選者，並且該調用不是不明確的。

無論哪種方式是std::vector有效的實施，這也是實現定義要麼<iostream>或<vector>是否包含<algorithm>。所以你的代碼是不可移植的，但是實現幾乎不能診斷可移植性問題，除非代碼實際上在該實現上失敗。

在ADL的更多典型案例中，相關名稱空間中的函數或函數模板是比調用方所居住或「使用」的名稱空間中的函數或函數模板更好的候選項（更具體），因此可避免歧義。但是，您的全球find與std::find基本相同，因此不適用。

http://ideone.com/Cskur：

#include <iostream> 

namespace foo { 
    struct Foo {}; 

    /* same as the one we'll define later */ 
    template <typename T> 
    void func(T) { 
     std::cout << "namespace function template\n"; 
    } 
    /* this would be a better match 
    void func(Foo) { 
     std::cout << "namespace function\n"; 
    } 
    */ 
} 

template <typename T> 
void func(T) { 
    std::cout << "global function template\n"; 
} 

int main() { 
    foo::Foo f; 
    func(f); 
} 

結果：

prog.cpp:19: error: call of overloaded ‘func(foo::Foo&)’ is ambiguous 

結論：它是有點危險，從std使用的名稱，甚至在其他的命名空間。

或者如果您願意：在其他命名空間中定義來自std的名稱可能意味着呼叫者需要小心。差異主要在於當錯誤發生時誰修復了這個錯誤。