C++ 模板进阶：非类型参数、特化与分离编译

对于普通数值或日期对象，这没问题。但如果传入的是指针，left < right 会比较地址而非指向的对象内容，这往往不是我们想要的。

此时就需要针对特定类型进行特化处理。模板特化分为函数模板特化和类模板特化。

2.2 函数模板特化

函数模板特化的写法比较直接。首先要有基础模板，然后定义一个 template<> 版本，并在函数名后指定具体类型。

template<class T>
bool Less(T left, T right) {
    return left < right;
}

// 针对 Date* 指针的特化
template<>
bool Less<Date*>(Date* left, Date* right) {
    return *left < *right;
}

实际开发中，如果某个类型完全不需要走模板逻辑，直接重载一个普通函数往往更简单清晰。但对于需要保留模板签名一致性的场景，特化是必要的。

2.3 类模板特化

全特化

全特化是指将模板参数列表中的所有参数都确定为具体类型。

template<class T1, class T2>
class Data {
public:
    Data() { cout << "Data<T1,T2>" << endl; }
private:
    T1 _d1;
    T2 _d2;
};

// 全特化
template<>
class Data<int, double> {
public:
    Data() { cout << "Data<int,double>" << endl; }
private:
    int _d1;
    double _d2;
};

偏特化

偏特化是对部分参数进行限制，或者针对参数之间的关系进行特化。

// 第二个参数固定为 int
template<class T1>
class Data<T1, int> {
public:
    Data() { cout << "Data<T1,int>" << endl; }
private:
    T1 _d1;
    int _d2;
};

// 两个参数都是指针
template<class T1, class T2>
class Data<T1*, T2*> {
public:
    Data() { cout << "Data<T1*,T2*>" << endl; }
private:
    T1 _d1;
    T2 _d2;
};

偏特化在 STL 容器（如 vector<bool>）和智能指针的实现中非常常见。

实际应用示例

回到之前的排序问题。如果我们要用 std::sort 对指针数组排序，默认的比较器会按地址排，这通常不对。我们需要特化比较器结构体：

template<class T>
struct Less {
    bool operator()(const T& x, const T& y) const {
        return x < y;
    }
};

// 特化指针版本
template<>
struct Less<Date*> {
    bool operator()(Date* x, Date* y) const {
        return *x < *y;
    }
};

int main() {
    vector<Date*> v2;
    // ... 填充数据
    sort(v2.begin(), v2.end(), Less<Date*>());
    return 0;
}

这样 sort 就会调用特化后的 operator()，正确比较对象内容。

3. 模板的分离编译

3.1 什么是分离编译

项目由多个源文件组成，每个文件单独编译成目标文件，最后链接成可执行文件，这就是分离编译模式。

3.2 模板的分离编译问题

模板的声明和定义如果分开存放（头文件声明，cpp 文件定义），会导致链接错误。因为模板代码需要在实例化时可见，而 .cpp 文件在编译时无法知道调用端的具体类型。

// a.h
template<class T>
T Add(const T& left, const T& right);

// a.cpp
template<class T>
T Add(const T& left, const T& right) {
    return left + right;
}

// main.cpp
#include "a.h"
int main() {
    Add(1, 2); // 报错：未定义的引用
    return 0;
}

编译器在编译 main.cpp 时看不到 Add 的定义，而在编译 a.cpp 时又不知道要实例化什么类型。

3.3 解决方案

1. 推荐做法：将声明和定义放在同一个头文件中（例如 .hpp）。这样包含头文件的源文件在编译时就能看到完整定义。
2. 显式实例化：在 .cpp 中手动实例化所有需要的类型，但这维护成本较高，不推荐。

4. 模板总结

优点

• 复用代码，减少冗余，加速迭代。
• 增强灵活性，STL 的核心基石。

缺陷

• 代码膨胀，编译时间显著增加。
• 编译错误信息复杂，定位困难。

理解这些特性，能帮助我们在设计库接口时做出更合理的权衡。