2일차 - 템플릿 인자

템플릿 인자로 사용가능한 것들

1. 타입
2. 정수형(int, short, char...) '상수'
- 정수형 '변수'나 실수 값은 사용불가

  아래와 같은 간단한 클래스 템플릿 하나를 생각해보자.

template <typename T = int, int N = 10> class Stack { T Buff[N]; };

  위의 템플릿은 '타입'과 '정수형 상수'를 인자로 받는다. 그리고 각 템플릿 인자에 대해 디폴트 값이 설정되어 있다. 만약에 두 번째 인자의 타입을 float나 double로 썼다면 컴파일 에러가 발생한다. 이는 템플릿 인자에 정수형이 아닌 다른 타입의 상수는 사용할 수 없기 때문이다. 이제 다음의 코드를 살펴보면서 실제 사용가능한 경우와 그렇지 않은 경우를 살펴보자.

int n = 10; Stack<int, 10> s1; Stack<int, n> s2; //< (Error) 변수는 템플릿 인자가 될 수 없다. Stack<int, 3.4> s3; //< (Error) 실수값은 템플릿 인자로 사용 불가 Stack<int> s4; //< 두번째 인자는 디폴트인 10을 사용 Stack s5; //< (Error) 템플릿 인자를 명시하지 않음 Stack<> s6; //< Stack<int, 10>과 동일

3. 가변인자(variadic) 템플릿
- C++ 11부터 지원

template <typename... Args> class TList {}; TList<int> t1; TList<int, double> t2; TList<int, long, char> t3;

4. 템플릿

template <typename T> class List {}: template <typename T, template<typename> class C/*template*/> class Stack { // C c; //< (Error) C는 타입이 아닌 템플릿. List C<T> c; //< List<int> }; int main(int argc, char* argv[]) { // List s1; //< (Error) List는 타입이 아닌 템플릿 List<int> s2; //< List<int>는 타입 Stack<int, List> st; return 0; }