入れ子になったクラス テンプレート
テンプレートはクラス テンプレート内でメンバー テンプレートと言われれば定義できます。クラスのメンバー テンプレートは入れ子になったクラス テンプレートと呼ばれます。関数のメンバーのテンプレートは メンバー関数テンプレート で説明します。
入れ子になったクラス テンプレートは外側のクラスのスコープ内でクラス テンプレートとして宣言されています。これらは外側のクラスの定義の中または外になることができます。
使用例
次のコードは通常クラスの中に入れ子になったクラス テンプレートを示します。
// nested_class_template1.cpp
// compile with: /EHsc
#include <iostream>
using namespace std;
class X
{
template <class T>
struct Y
{
T m_t;
Y(T t): m_t(t) { }
};
Y<int> yInt;
Y<char> yChar;
public:
X(int i, char c) : yInt(i), yChar(c) { }
void print()
{
cout << yInt.m_t << " " << yChar.m_t << endl;
}
};
int main()
{
X x(1, 'a');
x.print();
}
入れ子になったクラス テンプレートは外側のクラスの外部で定義するとクラス テンプレートのテンプレート パラメーターで始まる必要があり (クラス テンプレートのメンバーである場合) メンバーのテンプレート " template " 用テンプレート パラメーター。
// nested_class_template2.cpp
// compile with: /EHsc
#include <iostream>
using namespace std;
template <class T>
class X
{
template <class U> class Y
{
U* u;
public:
Y();
U& Value();
void print();
~Y();
};
Y<int> y;
public:
X(T t) { y.Value() = t; }
void print() { y.print(); }
};
template <class T>
template <class U>
X<T>::Y<U>::Y()
{
cout << "X<T>::Y<U>::Y()" << endl;
u = new U();
}
template <class T>
template <class U>
U& X<T>::Y<U>::Value()
{
return *u;
}
template <class T>
template <class U>
void X<T>::Y<U>::print()
{
cout << this->Value() << endl;
}
template <class T>
template <class U>
X<T>::Y<U>::~Y()
{
cout << "X<T>::Y<U>::~Y()" << endl;
delete u;
}
int main()
{
X<int>* xi = new X<int>(10);
X<char>* xc = new X<char>('c');
xi->print();
xc->print();
delete xi;
delete xc;
}
出力
1 a
出力
X<T>::Y<U>::Y()
X<T>::Y<U>::Y()
10
99
X<T>::Y<U>::~Y()
X<T>::Y<U>::~Y()
ローカル クラスはメンバー テンプレートを使用できません。