C++ 模板进阶：非类型参数与特化详解

2.2 类模板特化

类模板特化分为全特化和偏特化。全特化是指为类的每一个参数都指定具体类型；若只针对部分参数进行特化，则称为偏特化。

#include <iostream>
#include <string>

// 通用类模板：处理任意类型的数据
template <typename T>
class DataProcessor {
public:
    void process(T data) {
        std::cout << "通用处理：" << data << "（类型未知，按默认方式处理）" << std::endl;
    }
};

// 全特化：专门处理 int 类型
template <>
class DataProcessor<int> {
public:
    void process(int data) {
        std::cout << "int 专用处理：" << data << "（整数翻倍后为 " << data * 2 << "）" << std::endl;
    }
};

// 全特化：专门处理 string 类型
template <>
class DataProcessor<std::string> {
public:
    void process(std::string data) {
        std::cout << "string 专用处理：" << data << "（字符串长度为 " << data.size() << "）" << std::endl;
    }
};

int main() {
    DataProcessor<double> dProc;
    dProc.process(3.14); // 用通用模板处理

    DataProcessor<int> iProc;
    iProc.process(10);   // 用 int 专用处理

    DataProcessor<std::string> sProc;
    sProc.process("hello"); // 用 string 专用处理

    return 0;
}

3. 模板的分离编译

在大型项目中，通常采用分离编译模式，即每个源文件单独编译生成目标文件，最后链接成可执行文件。对于模板而言，这带来了一个特殊问题：实例化发生在调用处。

如果模板的定义和声明分离在不同的文件中，而调用方无法看到完整的模板定义，就会导致链接错误。因此，最佳实践是将模板的定义（包括函数体和类成员函数的实现）直接放在头文件中，确保所有包含该头文件的源文件都能访问到完整的模板代码。