[C++] Template specialization

Template specialization
: class template 을 arguments에 따라서 customizing 하는 기법



먼저 위 예제의 첫 번째 template 선언처럼
일반적인 template 선언은 primary template 이라 한다.

Specialization 은 2 가지로 나눌 수 있다.
1) T의 포인터 타입을 argument 로 받고 싶다면?
Partial specialization(부분 전문화)를 사용한다.
물론 T&, T&& 도 partial specializtion 을 이용한다.
2) 데이터 타입까지 정해진 argument 로 template 을 정의한다면?
template specialization 을 사용한다.

실제로 위에서 T* 에 대한 template code는 하나지만,
컴파일하면 기계어코드로는 int*, char* 2가지 code가 존재한다.
결국엔 template code 가 아무리 많아도,
컴파일 이후에 만들어지는 기계어 코드는 사용하는 class type의 개수에 의존적이다.