C++ クラス テンプレートの Friend 宣言とテンプレート コンストラクター

クラス テンプレートのフレンド宣言:

特定のテンプレートのすべてのインスタンスへのアクセスを許可する場合、クラス テンプレートまたは関数テンプレートの宣言がスコープ内に存在する必要はありません。フレンドシップ関係を特定のインスタンス化に制限する場合は、フレンド宣言で使用する前にクラスまたは関数を宣言する必要があります。

template <class T>
class test
{
    template <class U> friend ostream& operator<< (ostream &os, const test<U> &obj); //友元的所有实例均具有访问权
    ...
};

class test;
template <class Type> ostream& operator<< (ostream &os, const test<Type> &obj);
template <class T>
class test
{
    friend ostream& operator<< <T> (ostream &os, const test<T> &obj);//友元为的T类型实例才有访问权
    ...
};

テンプレートコンストラクター:

テンプレートクラスにおいて、コンストラクターとテンプレートコンストラクターが同時に存在する場合、コンストラクターが最初に呼び出されます。テンプレート コンストラクターは、そのインターフェイスが正確に満たされた場合にのみ呼び出されます。コンパイラーはテンプレート コンストラクターをコンストラクターとして扱うことはなく、クライアントがコピー コンストラクターを定義していない場合でも、コンパイラーはデフォルトのコピー コンストラクターを生成します。

template <class T>
class test
{
public:
    test() { cout << "in my test construct" << endl;}
    test(const test &) { cout << "in my test copy" << endl;}
    template <class V>
    test(const test<V> &) { cout << "in my template copy" << endl;}
};


int main()
{
    test<int> t1;
    test<int> t2(t1);
    test<double> t3(t1);
    return 0;
}

ここでのテンプレート test(const test &) 関数は、型変換コンストラクターと呼ばれる必要があります。これは、test の型を test、つまり、異なるテンプレート パラメーターを持つテンプレート クラスに変換できます。このアプリケーションは、たとえば、int 型の配列を double 配列型のパラメーターに渡したい場合、このコンストラクターで変換を完了できます。

プログラムの出力構造は次のとおりです:

テスト構成内

テストコピー内

テンプレートコピー内

stlのpairクラスとauto_ptrクラスに適用されます