模板是C++中用于实现泛型编程的编译期机制，分为函数模板和类模板。通过类型参数（如T）占位，在调用时由编译器根据实参类型自动推导并生成具体代码，实现逻辑复用。例如swap函数模板可为不同类型生成对应版本，无运行时开销。类模板如Vector支持不同类型容器的统一实现，STL广泛使用模板使算法与数据结构通用化。模板支持非类型参数、默认参数、特化等特性，并需在头文件中定义以供实例化。C++20引入概念（concepts）增强模板约束与错误提示。模板的核心优势在于零成本抽象，是高效通用代码的基础。
模板（Template）是C++中实现泛型编程的核心机制。它允许程序员编写与数据类型无关的代码，从而在不同类型的对象上复用相同的逻辑。通过模板，函数和类可以在定义时不指定具体类型，而是在使用时根据实际传入的类型自动实例化对应的版本。
什么是模板？
模板是C++的一种编译期机制，用于生成通用的函数或类。它分为两种：函数模板和类模板。
比如一个简单的函数模板用于交换两个值：
templatevoid swap(T& a, T& b) {
T temp = a;
a = b;
b = temp;
}
这里的 T 是一个占位符类型，在调用时由编译器根据参数自动推导并生成对应类型的函数。例如，传入 int 类型参数，编译器就会生成一个针对 int 的 swap 函数。
立即学习“C++免费学习笔记（深入）”；
模板如何工作？——泛型实现原理
模板不是多态，也不是运行时机制，而是编译期展开的代码生成工具。其核心过程如下：
- 当你使用模板时，比如 swap(x, y)，编译器会查看 x 和 y 的类型
- 然后查找匹配的模板，并将模板中的类型参数（如 T）替换为实际类型
- 生成一份新的、具体类型的函数或类代码，这个过程叫做“实例化”
- 最终生成的可执行程序中包含的是已经具象化的函数，没有额外的类型判断开销
正因为这种机制，模板具有零运行时成本，同时又能提供高度抽象能力。
类模板与STL中的应用
除了函数模板，C++还支持类模板。标准库中的容器如 vector、map、list 都是类模板的典型例子。
templateclass Vector {
private:
T* data;
size_t size;
public:
void push(const T& item);
T& get(size_t index);
};
这样就可以创建 Vector
STL 正是基于模板构建的，实现了算法与数据结构的高度通用性。例如 sort 算法可以作用于任意支持比较操作的类型数组，只要该类型满足模板约束即可。
模板的灵活性与限制
模板非常灵活，支持非类型参数、默认模板参数、模板特化等高级特性。
- 非类型模板参数允许传入值，如 template
class Array - 模板特化可用于为特定类型提供优化实现，比如对 bool 类型做位压缩
- 但模板必须在头文件中定义，因为编译器需要看到完整代码才能实例化
- 错误信息有时较难理解，尤其在复杂模板嵌套时
现代C++还引入了概念（concepts，C++20），用来约束模板参数的语义，提升可读性和错误提示质量。
基本上就这些。模板是C++强大抽象能力的基础，理解它有助于写出高效、可复用的通用代码。虽然语法略显复杂，但掌握后能显著提升编程效率和系统设计能力。不复杂但容易忽略的是：模板是编译期机制，不是运行时多态，它的性能优势正来源于此。
