템플렛의 인자에는 3가지 형태가 있다.
- type
- non-type
- template
type은 흔히 typename T (혹은 class T)로 쓰는것이고, non-type은 컴파일타임시에 알수있는 상수형 값을, 그리고 template은 바로 밑에 포스팅한 TTP를 의미한다.
아래의 예를 보면 non-type형의 템플렛 인자가 어떤것인지 명확히 알수 있다.
#include "stdafx.h"
#include <iostream>
template< int nArg > // non-type template argument
struct TemplateWithNonTypeArgument
{
static int nIndex;
};
template<int nArg > int TemplateWithNonTypeArgument< nArg >::nIndex = nArg;
int _tmain(int argc, _TCHAR* argv[])
{
// a100과 a50은 서로 다른 형이다.
TemplateWithNonTypeArgument<100> a100;
TemplateWithNonTypeArgument<50> a50;
std::cout << "a100 index is " << a100.nIndex << std::endl;
std::cout << "a50 index is " << a50.nIndex << std::endl;
system("pause");
return 0;
}
비 형식 템플릿 인자는 정수형인 int 와 long을 인자로 할수 있으며, float이나 double은 인자로 사용할수 없다.
이 template non-type argument를 이용한 재미있는 예가 kldp에 있다.
#include <iostream>
int main() { return 0; }
template<int i>
struct C : C<i-1> {
C() { std::cout << "I will not throw paper airplanes in class\n"; }
};
template<> struct C<0> {};
C<500> c;