模板特化与偏特化用于为特定类型定制模板实现，提升灵活性和性能。1. 全特化针对具体类型重写模板，如 Box<bool> 提供专用版本；2. 偏特化仅适用于类模板，允许部分参数固定，如 Pair<T, int> 或 Box<T*> 对指针类型统一处理；3. 函数模板不支持偏特化，通常通过重载替代；4. 匹配优先级为：具体实例 > 偏特化 > 通用模板，需避免多个偏特化导致歧义；5. 常见于智能指针、std::vector<bool> 等标准库实现中，要求特化在相同命名空间定义。
在C++中，模板特化和偏特化是泛型编程中的重要机制，用于为特定类型或类型组合提供定制化的模板实现。它们帮助我们在保持通用性的同时，对某些特殊情况做优化或特殊处理。
模板特化：全特化一个类或函数模板
当我们要为某个具体类型完全重写模板的实现时，使用模板全特化。
例如，有一个通用的类模板：
template<typename T>
class Box {
public:
void print() {
std::cout << "General type: " << typeid(T).name() << std::endl;
}
};
我们可以为 bool 类型进行全特化：
立即学习“C++免费学习笔记（深入）”；
template<>
class Box<bool> {
public:
void print() {
std::cout << "Specialized for bool!" << std::endl;
}
};
这时，Box<int> 使用通用版本，而 Box<bool> 使用特化版本。
函数模板也可以全特化，但需要注意：函数模板支持全特化语法，但通常更推荐通过重载实现类似效果，因为函数模板不支持偏特化。
模板偏特化：只特化部分模板参数
偏特化只能用于类模板，不能用于函数模板。它允许我们针对部分模板参数进行限定。
比如有两个参数的模板：
template<typename T, typename U>
class Pair {
public:
void info() { std::cout << "General Pair" << std::endl; }
};
我们可以对第二个参数为 int 的情况做偏特化：
template<typename T>
class Pair<T, int> {
public:
void info() { std::cout << "Second type is int" << std::endl; }
};
这样，Pair<double, int> 会匹配偏特化版本，而 Pair<double, float> 使用通用版本。
还可以对指针类型进行偏特化：
template<typename T>
class Box<T*> {
public:
void print() {
std::cout << "Pointer type: " << typeid(T).name() << std::endl;
}
};
这个偏特化版本适用于所有指针类型，如 Box<int*>、Box<double*> 等。
常见应用场景与注意事项
模板特化和偏特化常用于以下场景：
- 对原始指针或引用类型做特殊处理（比如智能指针内部）
- 提升特定类型（如基本类型）的性能
- 配合类型特征（type traits）实现元编程逻辑
- 标准库中广泛应用，如 std::vector<bool> 是特化版本
需要注意：
- 特化必须在与原始模板相同的命名空间中定义
- 类模板可以全特化和偏特化，函数模板只能全特化（但通常建议用重载）
- 编译器会按优先级选择：具体实例 > 偏特化 > 通用模板
- 多个偏特化可能导致歧义，需确保唯一最佳匹配
