C++の配列の演算子<<をオーバーロードする方法は？

Question

私は、このようにそれをやろうとしている：

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

しかしT配列を表すことができますか？アレイのために<<演算子をオーバーロードするのは正しいですか？

---

EDIT：

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"は現在2つの可能なオーバーロードが持っているのであなたは、毛布のテンプレートは、あいまいさを紹介していること、しかし、気づくでしょう

：const char (&)[6]テンプレートマッチング、および（非テンプレート）を過負荷のために両方とも同一の変換シーケンスを有する崩壊対ポインタconst char *である。事実を考慮して

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; 
} 

：

#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パラメータテンプレートパラメータを作ることができ、より一般的なこと：私たちは、char配列のための私達のオーバーロードを無効にすることでこの問題を解決することができますTはユーザー定義の型でなければなりません。is_same<T, char>をis_fundamental<T>に置き換えることで、さらに多くのチェックを行うことができます（ユーザーは標準ライブラリタイプの配列に対してこれを使用してはいけません）。

Answer 2

あなたは、これは以下のようなものになるだろう行うことができます別の方法：Tは、配列へのポインタを取ります

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

（すなわち、配列がに崩壊することをポインタ型になります）ペアのint部分は配列のサイズになります。