C++ 模板：全特化和偏特化

目录

全特化（Full Specialization）

偏特化（Partial Specialization）

特点和使用场景

注意事项

        在C++中，模板特化（template specialization）是一种强大的功能，允许对模板进行特定情况下的处理。模板特化主要分为全特化和偏特化两种。

全特化（Full Specialization）

        全特化是指为模板的特定类型参数提供一个完全不同的实现。这种特化适用于所有模板参数都确定的情况。

#include <iostream>

// 原始模板
template <typename T>
class MyClass {
public:
    void print() {
        std::cout << "Generic template\n";
    }
};

// 全特化
template <>
class MyClass<int> {
public:
    void print() {
        std::cout << "Specialized template for int\n";
    }
};

int main() {
    MyClass<double> obj1;
    obj1.print(); // 输出 "Generic template"

    MyClass<int> obj2;
    obj2.print(); // 输出 "Specialized template for int"

    return 0;
}

偏特化（Partial Specialization）

        偏特化允许对模板的部分参数进行特化处理，而不是全部参数。这种特化更为灵活，可以处理更复杂的情况。

#include <iostream>

// 原始模板
template <typename T1, typename T2>
class MyClass {
public:
    void print() {
        std::cout << "Generic template\n";
    }
};

// 偏特化：当T2是int时
template <typename T1>
class MyClass<T1, int> {
public:
    void print() {
        std::cout << "Partial specialization where T2 is int\n";
    }
};

int main() {
    MyClass<double, double> obj1;
    obj1.print(); // 输出 "Generic template"

    MyClass<double, int> obj2;
    obj2.print(); // 输出 "Partial specialization where T2 is int"

    return 0;
}

特点和使用场景

• 全特化适用于当模板参数完全确定时，需要为这些参数提供特定的实现。
• 偏特化适用于模板参数部分确定时，需要为这些参数的某些组合提供特定实现。

注意事项

1. 模板特化的优先级： 编译器会优先匹配特化版本，其次是偏特化版本，最后是普通模板。
2. 偏特化仅适用于类模板： 函数模板不支持偏特化，只能进行全特化。
3. 模板匹配规则复杂： 在特化模板时，需要小心处理匹配规则，确保编译器能够正确选择所需的模板版本。

        理解和使用模板特化可以大大提高代码的灵活性和复用性，同时也可以针对不同的情况进行优化。