模板类声明和定义必须全放在头文件中，因编译器需在实例化时看到完整定义；分离会导致链接时undefined reference错误；c++17支持ctad和inline static简化使用。
模板类声明和定义必须写在头文件里
因为编译器需要在实例化时看到完整的模板定义，不能像普通类那样分离声明和实现。如果把 template 声明放在 .h、定义放在 .cpp，链接时会报 undefined reference to ...。
常见错误现象：编译通过，但链接失败，提示某个模板函数未定义。
- 所有模板类的成员函数定义（包括构造函数、
operator[]、push_back等）都得写在头文件中 - 不建议用
export template（C++98 尝试过，几乎无编译器支持，C++11 已移除） - 如果非要组织代码，可用
.tpp文件包含在.h末尾，本质仍是头文件内可见
类型参数不能自动推导（除非是函数模板）
类模板不支持像 std::make_pair 那样靠实参推导类型。你必须显式写出模板实参，比如 Stack<int></int>，不能只写 Stack。
使用场景：想封装一个通用容器或工具类，但又希望调用方少写冗余类型。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- C++17 引入了类模板参数推导（CTAD），允许通过构造函数参数推导，例如：
std::vector v = {1, 2, 3};→ 推出std::vector<int></int> - 自定义类要支持 CTAD，需提供对应的
deduction guide，否则仍需显式指定 - 没有构造函数参数时（如空栈
Stack<double> s;</double>），CTAD 失效，必须写全
特化模板类要小心偏特化语法和匹配顺序
全特化（template class Stack<bool> { ... };</bool>）没问题；但偏特化（如 template<typename t> class Stack<t> { ... };</t></typename>）容易因语法错或匹配歧义导致编译失败。
常见错误现象：error: explicit specialization of 'Stack' after instantiation —— 表示你先用了 Stack<int></int>，再偏特化它，顺序反了。
- 所有特化（包括偏特化）声明必须出现在首次实例化之前
- 偏特化不能只特化部分参数（如
template<typename t> class Stack<t int></t></typename>对双参数模板），必须保持模板参数个数一致 - 多个偏特化之间不能有模糊匹配，比如同时存在
T*和T const*特化，对const int*可能无法确定选哪个
模板类里的静态成员要单独定义
每个实例化版本（如 Stack<int></int>、Stack<:string></:string>）都有独立的一份静态成员变量。它们不会共用，也不能在类内直接初始化（C++17 前）。
性能影响：若静态成员是大对象或含全局状态，可能意外增加内存占用或引发线程安全问题。
- 静态数据成员需在头文件外（通常在对应
.cpp或内联命名空间中）用完整特化形式定义，例如：template<typename t> int Stack<t>::count = 0;</t></typename> - C++17 起支持
inline static，可直接在类内定义：inline static int count = 0;，更安全简洁 - 静态成员函数无需额外定义，但若其内部访问了需定义的静态数据成员，则仍依赖上述规则
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
