一般化された（テンプレート）コンテナのアウトパターを書く方法

Question

私は「モダンな」C++を特にテンプレートを使ってスピードアップしようとしています。 < <演算子を上書きするクラスポイントがあります。正常に動作します。だから、私は一般的な容器のために素敵なプリントを追加することにしました。

私の質問 - 以下のコードのような複数のコンテナタイプのテンプレートを書く方法はありますか？

template <typename T> 
std::ostream& operator <<(ostream& os, const vector<T>& v) 
{ 
    os << "\n"; 
    for(auto x : v) { os << "\n\t" << x; } 
    os << "\n"; 
    return os; 
} 

上記のコードは正確であればTは< <オペレータを有するようなマルチライン形式のベクトルを出力します。

また、すべてのタイプの一般的な方法でコンテナの出力をオーバーライドすることは、おそらく悪い考えです（少なくとも無礼です）。最終的に、上記のテンプレートコードはtypenameをハードコーディング/「Point」とテンプレート付きコンテナに限定しています。 AndyGの提案をimplimenting OK

---

、私は以下の完全なコードがあります。まだ

#include <iostream> 
#include <map> 
#include <vector> 

using namespace std; 


struct Point { 
    double x, y, z; 

    Point() : x(0), y(0), z(0) {}; 
    Point(double a, double b, double c) : x(a), y(b), z(c) {} 
    Point(double a[]) : x(a[0]), y(a[0]), z(a[0]) {} 

    friend std::ostream& operator <<(ostream& os, const Point&p) 
    { 
    os << p.x << ", " << p.y << ", "<< p.z; 
    return os; 
    } 

}; 

template <template<class> class C, class... T> 
std::ostream& operator <<(ostream& os, const C<T...>& v) 
{ 
    os << "\n"; 
    for(auto x : v) { os << "\n\t" << x; } 
    os << "\n"; 
    return os; 
} 

vector<Point> vp = { { 1, 2, 3 }, 
        { 5, 7, 4 }, 
        { 8, 2, 5 } 
}; 

int main(int argc, char* argv[]) 
{ 
    cout << vp[0]; // works 
    cout << vp; // dosen't work, 
} 

しかし、運を。コンパイラは、私が同じ結果についてで私の最初のポストにtemplate <template>前の多くのバリエーションを試してみました

「のstd ::ベクトル」でオペレータ< <と一致することはできません。私はコンパイルするテンプレートを得ることができますが、コンパイラは演算子関数と一致してテンプレートを使用しません。

私はvariadicテンプレートパックを認識していませんでしたが、明らかに良いアイデアですが、問題を解決しません。

Answer 1

OK、AndyGが私を正しい軌道に乗せ、何が起きているのか分かりました。

std :: containerテンプレートにも既定値を持つallocatorパラメータがあり、めったに使用する必要がないため、次のコードは機能しません。したがって、ほとんどのコンテナテンプレートは、含まれる型/クラスのみをとっていると考えています。

この

template < template <class> class C, class... T> 
std::ostream& operator <<(ostream& os, const C<T...>& v) 
{ ... } 

動作しません。私たちは私たちのオペレータに< <機能をCを呼び出すしようとしているテンプレートは、2つのパラメータではないものを取るため。したがって、コンパイラは一致を検出しません。

これは動作します：コンパイラは、我々はCを呼び出すことを選択しtemplate<class, class>からvector<Point, Alloc>を一致させることができます

template < template <class, class> class C, class... T> 
std::ostream& operator <<(ostream& os, const C<T...>& v) 

ので。その後、関数テンプレートを使用してoperator <<のオーバーロードを生成することができます。

このアプローチには多くの問題があることに注意してください。 template <class, class>は4つのパラメータを取るstd :: mapと一致しません。そのうち2つはデフォルトに設定されています。 はと一致しますコンテナであってもなくてもよい2つの引数テンプレート。

我々はVARGパラメータを使用してこの問題を解決することができます。template <class, class...>しかし、我々はまだ今< <関数テンプレートは、コンパイラがどのようにcout <<を知らないイテレータからstd::pairsを扱っているので、ネジ止めされます

これは、私がテンプレートをよりよく理解するのに便利な演習でしたが、しないでください。 Pretty-print C++ STL containers