템플릿의 인수열에 들어갈 수 있는 타입에는 특별한 제한이 없다. 기본 타입은 물론이고 클래스 타입도 템플릿의 인수열에 넣을 수 있다. 그렇다면 템플릿으로 만든 클래스도 분명히 타입의 일종이므로 다른 템플릿의 인수가 될 수 있다는 얘기인데 즉, 템플릿끼리 중첩될 수 있다. 다음 예제는 PosValue 템플릿 클래스를 요소로 가지는 스택을 정의한다.
|
예 제 : NestTemplate |
#include <Turboc.h>
#include <iostream>
using namespace std;
#include "TStack.h"
template <typename T>
class PosValue
{
private:
int x,y;
T value;
public:
PosValue() : x(0),y(0),value(0) { }
PosValue(int ax, int ay, T av) : x(ax),y(ay),value(av) { }
void OutValue() {
gotoxy(x,y);
cout << value << endl;
}
};
void main()
{
TStack<PosValue<int> > sPos(10);
PosValue<int> p1(5,5,123);
PosValue<int> p2;
sPos.Push(p1);
p2=sPos.Pop();
p2.OutValue();
}
선두에는 TStack 클래스 템플릿과 PosValue 클래스 템플릿이 선언되어 있으며 이 두 템플릿으로 임의의 타입에 대한 스택과 PosValue 객체를 만들 수 있다. 초기화되지 않은 객체를 만들 수 있도록 하기 위해 PosValue에 디폴트 생성자를 추가로 정의했다. main에서는 다소 복잡한 형식을 가지는 sPos라는 객체를 선언하고 있는데 이 객체는 TStack으로부터 만들어졌으므로 일단은 스택이다. 스택에 들어가는 요소는 인수열에 있는 PosValue<int> 타입이므로 이런 객체들의 임시 저장소가 된다.
main의 나머지 코드는 PosValue<int>형의 객체 p1, p2 둘을 선언하고 p1을 스택에 푸시한 후 p2로 팝해 보았다. 푸시한 값을 그대로 빼내 대입했으므로 p2가 p1과 같아질 것이다. p2의 값을 출력해 보면 p1의 생성자에서 초기화한 위치에 123이라는 값이 출력될 것이다. 컴파일러는 중첩된 선언문에서 안쪽 클래스부터 차례대로 구체화한다. 템플릿끼리 중첩되어 있을 뿐이지 별다른 사항은 없다. 단, 이런 중첩 템플릿 선언문을 작성할 때 다음과 같이 작성해서는 안된다.
TStack<PosValue<int>> sPos(10);
템플릿 인수열안에 인수열이 있으므로 닫는 괄호 >가 두 번 연거푸 나오는데 이렇게 되면 컴파일러는 >>를 오른쪽 쉬프트 연산자로 해석하게 된다. 선언문에 연산자가 올 수 없으므로 이 문장은 에러로 처리될 것이다. 그래서 템플릿끼리 중첩될 때 인수열의 닫는 괄호 사이에는 반드시 공백을 하나 넣어 쉬프트 연산자와 구분되도록 해야 한다.
C++은 템플릿의 중첩을 문법적으로 허가하므로 이중 삼중으로 템플릿을 중첩할 수도 있다. 그러나 문법과는 별개로 템플릿끼리 중첩되려면 두 클래스가 임의의 타입에 대해서도 잘 동작할 수 있도록 충분히 일반화되어 있어야 한다. 대상 타입을 수치형으로 가정하여 -1같은 특이값을 사용해서는 안되며 대입 연산을 하는 요소는 대입 연산자를 적절하게 오버로딩해야 한다. 출력문으로 cout을 사용한다면 대상 타입은 << 연산자도 정의해야 한다.
템플릿끼리 중첩 가능하므로 자신이 자신을 포함하는 템플릿을 만들 수 있다. TDArray 클래스 템플릿은 임의의 타입을 배열 요소로 가질 수 있는데 그 타입을 TDArray로 준다면 동적 배열의 동적 배열을 만드는 것도 가능하다는 얘기이다. TDArray<TDArray<int> > ara;는 정수형을 요소로 가지는 동적 배열을 요소로 가지는 동적 배열 ara를 선언한 것이다.