如何重載operator <<用於C++中的數組？

Question

我試圖做這種方式：

template <typename T> 
ostream &operator<<(ostream &os, T &arr) 
{ /*...*/ } 

但可以T表示數組？爲數組過載<<運算符是否正確？

---

編輯：

根據Kerrek SB的建議，這裏是我的<<實現：

template <typename T, unsigned int N> 
ostream &operator<<(ostream &os, const T (&arr)[N]) 
{ 
    int i; 
    for(i = 0; i < N; i++) 
     os << arr[i] << " "; 
    os << endl; 
    return os; 
} 

是我實現嗎？我收到了編譯錯誤。

Answer 1

你可以這樣做：

template <typename T, unsigned int N> 
std::ostream & operator<<(std::ostream & os, const T (&arr)[N]) 
{ 
    // .. 
    return os; 
} 

這僅適用於編譯時的陣列，當然。請注意，當T是內置類型或std名稱空間中的類型時，不允許您實例化此模板！

如果可能，可能最好使它內聯，因爲每個N都會導致單獨實例化。 （該pretty printer有這樣的一個例子。）

你會發現，雖然，毯子模板帶來了模棱兩可的，因爲os << "Hello"現在有兩個可能的過載：模板匹配const char (&)[6]，和（非模板）過載衰減到指針const char *，它們都具有相同的轉換序列。我們可以通過禁用我們的字符數組超載解決此問題：

#include <ostream> 
#include <type_traits> 

template <typename T, unsigned int N> 
typename std::enable_if<!std::is_same<T, char>::value, std::ostream &>::type 
operator<<(std::ostream & os, const T (&arr)[N]) 
{ 
    // .. 
    return os; 
} 

事實上，會更加普遍，你還可以使basic_ostream參數模板參數：

template <typename T, unsigned int N, typename CTy, typename CTr> 
typename std::enable_if<!std::is_same<T, char>::value, 
         std::basic_ostream<CTy, CTr> &>::type 
operator<<(std::basic_ostream<CTy, CTr> & os, const T (&arr)[N]) 
{ 
    // .. 
    return os; 
} 

鑑於事實T必須是用戶定義的類型，您甚至可以用is_fundamental<T>替換is_same<T, char>以獲得更多檢查（但用戶仍然不能將其用於標準庫類型的數組）。

Answer 2

另一種方法可以做到這一點會是像下面這樣：

template<typename T> 
ostream& operator<<(ostream &out, const std::pair<T, int>& array) 
{ 
    //...code 
    return out; 
} 

凡T將採取一個指向數組的指針（即，它將是指針類型的數組會衰變成） ，並且該對中的int部分將是該數組的大小。然後，您可以使用它像下面這樣：用這種方法

int array[10]; 
//...some code that initializes array, etc. 

cout << make_pair(array, 10); 

一加是它也將動態數組工作（即陣列您在堆上分配等）