C++模板编程是编写通用、可复用代码的基本能力。它通过template实现函数和类的类型参数化，支持自动类型推导与显式特化，需注意错误定位、编译期特性及渐进式学习。
C++模板编程不是“高级技巧”，而是写通用、可复用代码的基本能力。掌握它，你写的函数和类才能真正适配 int、std::string、自定义结构体，甚至未来可能出现的新类型。
模板函数：让一个函数服务多种类型
普通函数只能处理固定类型，比如 int add(int a, int b) 无法直接算两个 double。模板函数通过“占位符”绕过类型绑定：
- 用
template声明模板参数（T是任意合法类型名，也可用class T，二者等价） - 函数参数、返回值、内部变量都可使用
T，编译器会在调用时自动推导具体类型 - 例如：
template
T max(T a, T b) {
return (a > b) ? a : b;
}
调用max(3, 7)生成int版本；max(3.14, 2.71)生成double版本
模板类：构造可配置的容器与工具
类模板把整个类的“骨架”参数化，最典型例子是 std::vector —— 它不是某个具体类，而是一套生成类的蓝图：
- 声明方式类似函数模板，但作用于整个类定义：
templateclass Stack { ... }; - 类内所有涉及数据存储的地方（成员变量、方法参数、返回值）都可用
T - 使用时必须显式指定类型：
Stack、s1; Stack<:string> s2;，编译器据此生成两套独立代码 - 注意：模板类定义通常要放在头文件中（.h 或 .hpp），因为编译器需要看到完整定义才能实例化
类型推导与显式特化：控制模板行为
模板不是万能黑箱，有时需要干预它的默认行为：
立即学习“C++免费学习笔记（深入）”；
- 编译器多数时候能自动推导类型（如
max(5, 4.2)会报错——T无法同时是int和double），这时可手动指定：max(5, 4.2) - 对特定类型提供完全不同的实现，叫“全特化”：
template class Stack—— 这个版本只用于{ ... }; char*，和其他所有Stack无关 - 避免过度特化；优先用函数重载或
if constexpr（C++17 起）做条件分支
常见误区与实用建议
刚接触模板容易踩坑，记住这几个关键点：
- 模板代码出错时，错误信息又长又绕——重点看第一行报错位置和“instantiated from here”提示，它指向你实际调用模板的地方
- 不要把模板当成运行时多态替代品；它是编译期机制，不产生虚函数表，也无运行时开销
- 初学阶段少用变参模板（
template）、SFINAE 等进阶特性；先写好单参数函数/类模板，再逐步扩展 - 用
static_assert加约束（如要求类型支持比较）能让错误更早、更清楚地暴露出来
基本上就这些。模板不是语法糖，它是 C++ 支持泛型的底层支柱。写多了你会发现：真正难的不是怎么写模板，而是想清楚——这个逻辑，到底哪些部分该固定，哪些该放开给用户决定。
