使用模板參數重載運算符<<時編譯錯誤

Question

我試圖使用stl copy（）在地圖中打印鍵值對。代碼如下：

#include <iterator> 
#include <iostream> 
#include <algorithm> 
#include <map> 

using namespace std; 
//compile error if I comment out "namespace std" 
namespace std {  
template<typename F, typename S> 
ostream& operator<<(ostream& os, const pair<F,S>& p) { 
    return os << p.first << "\t" << p.second << endl; 
} 
} 

int main() { 
    map<int, int> m; 
    fill_n(inserter(m, m.begin()), 10, make_pair(90,120)); 
    copy(m.begin(), m.end(), ostream_iterator<pair<int,int> >(cout,"\n")); 
} 

我想重載operator < <。問題是代碼不會編譯，除非我將重載運算符< <的定義與namespace std一起包圍。我認爲這是由於C++的名稱查找機制，我仍然無法理解。即使我定義這樣的非模板版本：

它仍然不會編譯。誰能解釋爲什麼？

Answer 1

您的問題與argument-dependent name lookup（ADL）。編譯器在namespace std中搜索operator<<的實現，因爲ostream和pair都在該名稱空間中。你應該從正確的命名空間轉發到operator<<包裝：

template<class T> 
struct ostreamer { 
    ostreamer(const T& value) : reference(value) {} 
    const T& reference; 
    friend ostream& operator<<(ostream& stream, const ostreamer& value) { 
    return stream << value.reference; 
    } 
}; 

就用ostream_iterator<ostreamer<pair<const int, int>>>代替ostream_iterator<pair<int, int>>。請注意，由於ostreamer按引用而非按值存儲，因此不能再依賴於從pair<const int, int>到pair<int, int>的隱式轉換。您可以將ostreamer更改爲按價值存儲，但實際上，它沒有任何開銷，我認爲無論如何都應該明確一點。