模板编程知识地图
内容简介
模板是 C++ 泛型编程的基础。它让代码先描述“类型无关的规则”，再由编译器在使用时根据具体类型生成代码。STL、智能指针、容器、算法、类型萃取、concepts 都依赖模板。
模板学习不要一开始就追求炫技，先理解这条主线：
函数模板
-> 类模板
-> 模板参数推导
-> 特化 / 重载 / 匹配规则
-> 模板定义为什么常放头文件
-> 可变参数模板
-> 类型萃取 / if constexpr / concepts
-> 模板元编程路线入口
第一阶段：会用模板
学习目标：能理解 STL 为什么可以写成 std::vector<int>、std::vector<std::string>，也能写简单的通用函数和通用类。
第二阶段：知道模板的边界
学习目标：知道模板不是万能的，知道为什么模板实现通常放在头文件或 .hpp 中，知道特定类型需要特殊处理时怎么做。
第三阶段：进入现代模板
学习目标：能看懂 Args&&... args、std::forward<Args>(args)...、std::enable_if_t、std::is_same_v、if constexpr 和 concepts 的基本意图。
最佳代码实践
- 模板用于表达真正的类型通用逻辑，不要为了炫技强行模板化。
- 普通业务代码优先清晰，只有重复逻辑确实和类型无关时再抽模板。
- 模板错误信息通常很长，写模板时要尽量让接口小、约束清楚。
- C++20 后复杂约束优先用 concepts，少用晦涩的 SFINAE。
- 模板和 STL、lambda、auto、完美转发、constexpr 强相关，学习时要一起建立关系。
错误用法
- 把所有函数都写成模板，导致错误信息难读、编译时间增加。
- 模板定义放在
.cpp中，却希望其他翻译单元自动实例化。 - 类型没有相关操作，却在模板里直接使用
>、+、<<等运算。 - 用复杂模板代替简单函数重载。
注意事项
- 模板本质上是编译期生成代码，不是运行期多态。
- 模板会影响编译时间和错误信息可读性。
- 现代 C++ 推荐在“表达力”和“可读性”之间取平衡。