8장, Part 2, 템플릿의 기초 원리의 깊은 이해 - 템플릿 파라미터

8.2에선 템플릿 파라미터의 종류와 예외적 상황에 대해서 설명하고 있다.

템플릿 파라미터로는 다음 3가지가 올 수 있다.
1. 데이터형 파라미터
2. 데이터형이 아닌 파라미터
3. 템플릿 템플릿 파라미터

각 종류의 예외적 상황을 알아 보자.

8.2.1 데이터형 파라미터의 예외적 사항
데이터형 파라미터 T가 있다면 마치 typedef T 와 동일하게 컴파일러는 인식한다. 그래서 다음 코드는 에러가 날 것이다.
template <typename Allocator> class List { class Allocator * allocator; friend class Allocator; }; int main( void ) { return 0; }
컴파일러 에러를 통해 어떻게 에러가 났는지 알아 보자.

g++43
[ikpil@localhost work]$ g++ -o datatype_template_parameter datatype_template_parameter.cpp datatype_template_parameter.cpp:4: error: using template type parameter ‘Allocator’ after ‘class’ datatype_template_parameter.cpp:5: error: using template type parameter ‘Allocator’ after ‘class’ datatype_template_parameter.cpp:5: error: friend declaration does not name a class or function
g++은 템플릿 타입 파라미터 후에 class를 사용했다고 에러를 냈다. 또한 friend 정의 역시 클래스 이름이나 함수가 아니라고 에러를 냈다.

msvc9
d:\projects\test\test\main.cpp(4) : error C2649: 'typename' : 'class'이(가) 아닙니다. d:\projects\test\test\main.cpp(6) : 컴파일 중인 클래스 템플릿 인스턴스화 'List<Allocator>'에 대한 참조를 확인하십시오. d:\projects\test\test\main.cpp(5) : error C2649: 'typename' : 'class'이(가) 아닙니다.
msvc9 에서는 좀 이해가 안된다. 뭐가 클래스가 아니라는 거지...

여담으로 위와 같은 프렌드(friend)선언은 앞으로 될 수도 있다고 한다. 그 앞으로가 지금인데, msvc9에선 클래스 템플릿에도 일반 클래스를 friend 로 선언 될 수 있고, g++에선 되지 않는다. 으헝, 뭐 이래.. 최신의 g++을 을 다운받아 해볼까..


8.2.2. 테이터형이 아닌 파라미터의 예외적 사항
데이터형이 아닌 파라미터로는 다음과 같은 것들이 올 수 있다.
1. 상수형이나 열거형
2. 포인터형
3. 참조자형

데이터형이 아닌 파라미터에 typename 이 붙을 수가 있는데, 다음과 같다.
template <typename T, // 데이터형 파라미터 typename T::Allocator * Allocator> // 데이터형이 아닌 파라미터 class List; int main( void ) { return 0; }
예외적으로 데이터형이 아닌 파라미터에는 static 키워드와 mutable 키워드가 붙을 수가 없다. const, volatile 같은 한정자는
가질 수 있지만, 한정자가 파라미터형의 맨 뒤에 있다면 무시된다. 다음처럼
template<int const length> class Buffer; // const 무시 template<int length> class Buffer; // 전과 동일

8.2.3 템플릿 템플릿 파라미터의 예외적 사항
템플릿 템플릿 파라미터는 그 파라미터의 선언을 typename, struct union 이 올 수 없고 무조건 class만 와야 한다. 또한 템플릿 템플릿 파라미터에서 쓰인 템플릿 파라미터는 자신의 기반 템플릿에서 쓰일 수 없다.

다음 코드를 보자.
// 템플릿 템플릿 파라미터의 정상적인 문법 template <typename T, template <typename T1, typename T2> class TTPARAMTER> class class_template { }; // 템플릿 템플릿 파라미터의 오류나는 문법 : typename template <typename T, template <typename T1, typename T2> typename TTPARAMTER> class class_template2 { }; // 템플릿 템플릿 파라미터의 오류나는 문법 : union template <typename T, template <typename T1, typename T2> union TTPARAMTER> class class_template3 { }; // 템플릿 템플릿 파라미터의 오류나는 문법 : struct template <typename T, template <typename T1, typename T2> struct TTPARAMTER> class class_template4 { };
컴파일 해보면 잘 알 것이다. g++ 역시 템플릿 템플릿 파라미터를 잘 지원해 준다.
다음 코드는 템플릿 템플릿 파라미터에 쓰인 템플릿 파라미터는 쓰일 수 없는 것을 보여 준다.
// 템플릿 템플릿 파라미터에 사용한 템플릿 파라미터는 재사용 될 수 없다. template <typename T, template <typename T1, typename T2> TTPARAMETER> class class_template { T1 * p_; };

8.2.4 디폴트 템플릿 인자란 무엇일까?
함수의 디폴트 매개변수 처럼 템플릿 파라미터 역시 갖을 수 있는데, 현재는 클래스 템플릿만 지원된다. 일반적으로 첫번째 템플릿 파라미터는 기본인자를 주지 않고, 그 뒤에 나오는 템플릿 파라미터에 기본인자를 준다. 또한 첫번째 템플릿 파라미터는 그 뒤의 템플릿 파라미터에서 사용 할 수 있다.

코드는 생략한다. 귀찮...