テンプレート演算子<<明示的なインスタンス化とヘッダー

Question

通常、テンプレート化されたクラスでは、.hppファイルとテンプレート化された実装コードの宣言を.t.hppファイルに含めます。そのオブジェクトコードのライブラリに入れます

template class MyClass<AnotherClass>; 

：私は明示的.cppファイル内のクラスをインスタンス化します。

template<class T> 
std::ostream& operator<<(std::ostream& os, const MyClass<T>& c) 
{ 
    os << "Hello, I am being output."; 
    return os; 
} 

私は右のシンボルと言っリンカエラーを取得：

問題は、私は.hppファイルで宣言として.t.hppファイルで定義されている、operator<<でオブジェクトを印刷しようとするということです定義されていません。

これは、このテンプレート化された関数が、クラスが次のときに明示的にインスタンス化されていないためです。クラスにoperator<<を使用する場合、またはテンプレート化された関数コードを.hppファイルに移動する場合はいつでも、.t.hppファイルを含める以外の方法がありますか？関数コードを明示的にインスタンス化できますか？

Answer 1

明示的T = intに特化をインスタンス化するには、関数テンプレート

template std::ostream& operator<<(std::ostream&, const MyClass<int>&); 

をインスタンス化することができます。すべてのテンプレート引数が推測できる場合は、テンプレートの引数ブラケットを省略することができます（この場合は、タイプMyClass<int>から入力できます。たとえば、テンプレートパラメータが関数パラメータタイプでは発生しないため、明示的にそれは

template<typename T> void f() { } 
template void f<int>(); 

Answer 2

litb's solutionを参照してください指定

をあなたの特定のケースでは、それはあなたが明示的にそれらを与えることができなかった場合、パラメータのすべてのテンプレート引数を推定し、型を返すことができますが、コンパイラ：

template std::ostream& operator<< <T>(std::ostream&, const MyClass<T>&); 

これは、テンプレートの引数を推測できる場合でも可能です。

質問することがあります：明示的にすべてをインスタンス化する理由がありますか？あなたは自分のためにかなりの仕事をしています。テンプレートのソースコードをどこにも含めないようにして、コンパイル時間を節約できますが、開発者にとっては価値がありますか？