[태그:] template

클래스 템플릿도 특수화가 가능하며, 특수화를 위해서는 특수화 대상이 되는 템플릿 클래스가 필요하다. 아래는 대상이 되는 템플릿 클래스와 이를 특정 타입(double)에 대해 특수화 시킨 예이다.

template class BASE {
public:
	T func() {};
};

template<> class BASE {
public:
	int FuNc(float v) {};
};

주지할 점은  기본 대상이 되는 클래스 템플릿인 BASE와 double 타입에 대해 특수화된 클래스 템플릿 BASE는 완전히 별개의 클래스라는 점으로, 위처럼 서로 가지고 있는 맴버에 공통점이 없다.

템플릿 클래스 자체를 특수화하는 경우 뿐만 아니라, 가지고 있는 맴버 함수만을 콕… 지정해서 특수화 하는 것도 가능하다. 아래는 그 예이다.

template class BASE {
public:
    T func() {};
};

template<> int BASE::func()
{
	// another implementation for int type
}

위의 예는 BASE 함수의 func 함수에 대해 T가 int일때에 대한 특수화의 예이다.

템플릿 인자열 변형을 통한 특수화, 즉 클래스 템플릿 부분 특수화의 예

template class CLASS_NAME {}; //
template class CLASS_NAME<T*, T, i> {};     //
template class CLASS_NAME<char, T, 5> {};          //
template class CLASS_NAME<T*, T, 0> {};            //

이 특수화 대상이 되는 원래 클래스 템플릿이며, , , 가 클래스 템플릿 부분 특수화의 경우이다.

클래스 템플릿이 사용되는 경우는 아래와 같다.

CLASS_NAME<int, double, 10> a;

, , 에 대한 실제 사용 예는 아래와 같으며 순서대로 각 , , 에 일치한다.

CLASS_NAME<int*, int, 20> b;
CLASS_NAME<char, float, 5> c;
CLASS_NAME<char*, char, 3> d;

주목할 점은 클래스 템플릿 부분 특화의 경우 특수화 대상이 되는 원래 클래스 템플릿과 템플릿 인자의 개수가 정확히 일치해야한다. 위의 경우 3개로써 <type, type, int value>이다. 또한 , , , 의 템플릿 클래스는 서로 완전이 다른 클래스 라는 점이며, 단지 템플릿을 통한 관계를 유일한 공통점으로 가지고 있다.

기본적인 클래스 탬플릿(Class Template)의 정의 예

template  class Stack_Tpl
{
private:
	int size_;
	int top_;
	T *pMem_;

public:
	Stack_Tpl(int size) : size_(size), top_(-1) {
		pMem_ = new T [size];
	}

	~Stack_Tpl()
	{
		delete [] pMem_;
	}

	void push(T v) 
	{
		pMem_[++top_] = v;
	}

	T pop()
	{
		return pMem_[top_--];
	}
};

위처럼 클래스의 정의와 선언을 동시에 하는 경우도 있지만, 선언과 정의를 분리할 경우에 맴버 함수의 정의는 다음과 같다.

template void Stack_Tpl::push(T v) 
{
	pMem_[++top_] = v;
}

위에서 정의된 클래스 템플릿을 사용하는 방법, 즉 클래스 템플릿을 인스턴스화 하여 템플릿 클래스로 만드는 방법은 아래와 같다.

Stack_Tpl s(10);

참고로, 위처럼 템플릿을 사용하지 않으면 해당 타입의 클래스 템플릿 코드가 만들어지지 않는다. 이때 사용하지는 않지만 해당 타입에 대한 코드를 명시적으로 만들도록 하는 방법은 아래와 같다.

template class Stack_Tpl;

클래스 템플릿의 경우 템플릿의 인자에 타입 이외에 값도 들어갈 수 있는데, 그 경우의 예는 아래와 같다. (비록 예의 기능이 의미가 없음에도 그 문법 자체에 염두해 두길 바란다)

template  class someClass
{
public:
	someClass();
};

template someClass<T, N>::someClass()
{
	T v = N;
}

또한  템플릿의 인자는 기본값을 가질 수 있다는 점을 알아 두어 코드 작성에 융통성을 발휘하길 바란다. 예를 들어 위의 someClass 클래스의 경우를 약간 변형해보면..

template  class someClass
{ ...

기본 템플릿 인자의 경우 함수 템플릿에서는 적용할 수 없다는 점을 염두해 두길 바란다.