C++ 模板特化 (Template Specialization)

C++ 模板特化 (Template Specialization)

模板特化允许为特定类型或条件提供定制化的模板实现，是 静态多态（Static Polymorphism） 的重要机制。通过特化，可以优化性能、处理特殊类型或限制模板的适用范围。以下结合代码和底层原理，全面解析模板特化的核心概念。

1. 模板特化的分类

1. 全特化（Full Specialization）：
   为所有模板参数指定具体类型，完全替换通用模板的实现。
2. 偏特化（Partial Specialization）：
   为部分模板参数指定具体类型或约束条件，生成更特化的版本。

2. 全特化 (Full Specialization)

2.1 类模板全特化

// 通用模板
template <typename T>
class Printer {
   
   
public:
    void print() {
   
    cout << "Generic Printer" << endl; }
};

// 全特化（针对 int）
template <>
class Printer<int> {
   
   
public:
    void print() {
   
    cout << "Int Printer" << endl; }
};

int main() {
   
   
    Printer<double> p1; // 使用通用模板
    p1.print();         // 输出 "Generic Printer"
    
    Printer<int> p2;     // 使用全特化版本
    p2.print();         // 输出 "Int Printer"
    return 0;
}

底层原理：

• 编译器优先匹配全特化版本。
• 符号名示例：Printer<int> → _ZN7PrinterIiE5printEv。
• 全特化的定义必须出现在通用模板声明之后。

2.2 函数模板全特化

// 通用模板
template <typename T>
void process(T value) {
   
   
    cout << "Generic process: " << value << endl;
}

// 全特化（针对 double）
template <>
void process<double>(double value) {
   
   
    cout << "Specialized for double: " << value << endl;
}

int main() {
   
   
    process(10);    // 调用通用模板（T = int）
    process(3.14);  // 调用全特化版本（T = double）
    return 0;
}

注意事项：

• 函数模板全特化需显式指定类型（如 <double>）。
• 全特化函数并非模板重载，而是完全独立的实现。

3. 偏特化 (Partial Specialization)

3.1 类模板偏特化

// 通用模板
template <typename T, typename U>
class Pair {
   
   
public:
    void describe() {
   
    cout << "Generic Pair" << endl; }
};