C++模板通过泛型实现代码复用，支持函数模板、类模板及特化技术。1. 函数模板如max(T a, T b)可自动推导类型；2. 类模板如MyVector<T>构建通用容器；3. 全特化针对特定类型（如bool）定制实现；4. 偏特化结合SFINAE与类型trait实现条件编译，提升灵活性与性能。掌握这些技术可显著增强代码表达力与效率。
想让一段代码适用于多种数据类型，又不想重复写逻辑？C++ 模板是解决这个问题的核心工具。它不只是“写一次，用多次”那么简单，深入使用还能实现编译期计算、类型判断甚至元编程。从基础的函数模板到类模板特化，再到偏特化与全特化技巧，掌握这些能让你写出更高效、更灵活的代码。
函数模板：泛型的第一步
函数模板允许你定义一个通用函数，编译器会根据调用时传入的类型自动生成具体版本。
比如写一个通用的 max 函数：
立即学习“C++免费学习笔记（深入）”；
template <typename T>
T max(T a, T b) {
return a > b ? a : b;
}
调用时无需指定类型，编译器自动推导：max(3, 5) 或 max(3.14, 2.71) 都能正常工作。
如果类型无法比较（比如自定义类），编译会失败——这正是模板的“契约”机制：要求类型满足特定操作。
类模板：构建通用容器
类也可以泛型化。标准库中的 std::vector<T> 就是典型例子。
自己实现一个简单的动态数组：
template <typename T>
class MyVector {
private:
T* data;
size_t size;
public:
MyVector() : data(nullptr), size(0) {}
void push_back(const T& value);
// ...
};
使用时指定类型：MyVector<int> 或 MyVector<std::string>，每个实例都是独立的类。
模板特化：为特殊类型定制行为
有时通用逻辑不适用于某些类型。比如你想为指针类型专门优化比较方式，或为 bool 节省空间。
全特化 是针对特定类型完全重写模板：
template <>
class MyVector<bool> {
// 用位存储，节省内存
};
这样 MyVector<bool> 就不再使用原来的实现，而是这个高效版本。
偏特化与 SFINAE 初探
类模板还支持偏特化，即只固定部分模板参数。常用于模板元编程中区分指针、引用等类型。
例如：
template <typename T>
class MyVector<T*> {
// 专用于指针类型的实现
};
这种技术结合 enable_if 和类型 trait（如 std::is_integral），可以实现条件编译和接口约束，是高级泛型编程的基础。
基本上就这些。模板不是魔法，但用好它能让代码更清晰、性能更高。从简单泛型开始，逐步尝试特化和类型控制，你会发现 C++ 的表达力远超想象。
