템플릿 특수화: 부분 및 전체

일반 형식만으로는 충분하지 않을 때

전체 특수화

template <typename T>
struct Printer {
    void print(T x) { std::cout << x; }
};

template <>
struct Printer<bool> {
    void print(bool x) { std::cout << (x ? "true" : "false"); }
};

특수화 사용

Printer<int>  pi;  pi.print(42);     // 42
Printer<bool> pb;  pb.print(true);   // true

함수 템플릿 특수화

template <typename T> void f(T x) { /* general */ }
template <> void f<int>(int x) { /* int specific */ }

함수 특수화보다 오버로드를 우선하는 이유

부분 특수화 (클래스만 가능)

template <typename T>
struct Type { static const char* name() { return "general"; } };

template <typename T>
struct Type<T*> { static const char* name() { return "pointer"; } };

template <typename T>
struct Type<std::vector<T>> { static const char* name() { return "vector"; } };

부분 특수화의 사용 사례

std 템플릿 특수화

template <>
struct std::hash<MyType> {
    size_t operator()(const MyType& v) const {
        return /* compute hash */;
    }
};

특수화를 사용해야 할 때

현대적인 C++의 대안

template <typename T>
void print(const T& x) {
    if constexpr (std::is_same_v<T, bool>) {
        std::cout << (x ? "true" : "false");
    } else {
        std::cout << x;
    }
}

특수화 계층 구조

일반적인 주의 사항

빠른 확인

요약