C++의 템플릿은 제네릭 프로그래밍을 지원하는 강력한 기능이지만, 특수한 상황에서는 템플릿의 일부분을 특수화하여 다른 동작을 하도록 할 수 있습니다. 이 기능은 구조체와 클래스에도 적용될 수 있습니다.

구조체의 템플릿 부분 특수화

구조체의 템플릿 부분 특수화를 통해 일반적인 템플릿 정의의 행동을 재정의할 수 있습니다. 다음은 구조체 템플릿 부분 특수화의 예시입니다.

template <typename T>
struct MyStruct {
    void print() {
        std::cout << "Generic Print: " << value << std::endl;
    }
    T value;
};

template <>
struct MyStruct<int> {
    void print() {
        std::cout << "Specialized Print for int: " << value << std::endl;
    }
    int value;
};

위의 예시에서 MyStruct 템플릿을 int에 대해 특수화하였습니다. 이제 MyStruct를 int 형식에 사용할 때 특수화된 print 함수가 호출됩니다.

클래스의 템플릿 부분 특수화

클래스 또한 템플릿 부분 특수화를 사용하여 일반적인 템플릿 동작을 재정의할 수 있습니다. 다음은 클래스 템플릿 부분 특수화의 예시입니다.

template <typename T>
class MyClass {
public:
    void print() {
        std::cout << "Generic Print: " << value << std::endl;
    }
    T value;
};

template <>
class MyClass<double> {
public:
    void print() {
        std::cout << "Specialized Print for double: " << value << std::endl;
    }
    double value;
};

위의 코드에서 MyClass 템플릿을 double에 대해 특수화하였습니다. 이제 MyClass를 double 형식에 사용할 때 특수화된 print 함수가 호출됩니다.

템플릿 부분 특수화는 다양한 상황에 유용하게 활용될 수 있지만, 남용하지 않도록 유의해야 합니다. 잘못된 사용은 코드의 가독성을 떨어뜨릴 수 있습니다.

특수화의 사용은 상황에 따라 다르므로 신중하게 판단해야 합니다.

이상으로 C++에서의 구조체와 클래스의 템플릿 부분 특수화에 대해 알아보았습니다.

Reference

• C++ Templates