Zagnieżdżone szablony klas
Szablony mogą być zdefiniowane w obrębie klas lub szablonów klas, w którym to przypadku są określane jako szablony elementów członkowskich.Szablony elementów członkowskich, które są klasami są określane jako szablony klas zagnieżdżonych.Szablony elementów członkowskich, które są funkcjami są omówione w Szablonach funkcji elementów członkowskich.
Szablony klas zagnieżdżonych są zadeklarowane jako szablony klas w zakresie zewnętrznej klasy.Mogą być zdefiniowane wewnątrz lub na zewnątrz otaczającej klasy.
Przykład
Poniższy kod demonstruje szablon klasy zagnieżdżonej wewnątrz zwykłej klasy.
// 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();
}
Gdy szablony klas zagnieżdżonych są zdefiniowane poza ich klasą otaczającą, muszą być poprzedzone przez parametry szablonu dla szablonu klasy (jeżeli są elementami członkowskimi szablonu klasy) i parametry szablonu dla szablonu elementu członkowskiego.
// 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;
}
Dane wyjściowe
1 a
Dane wyjściowe
X<T>::Y<U>::Y()
X<T>::Y<U>::Y()
10
99
X<T>::Y<U>::~Y()
X<T>::Y<U>::~Y()
Lokalne klasy nie mogą mieć szablonów elementów członkowskich.