类外定义模板成员函数必须重复写 template 声明，否则编译失败；需显式写出模板参数列表如 stack，inline 应置于返回类型前；定义须在头文件中，不可分离至 .cpp；参数推导失效时需手动指定实参。
类外定义模板成员函数必须重复写 template 声明
不加 template<typename t></typename> 直接写 void Stack<t>::Push(T e)</t> 会编译失败——编译器根本不知道 T 是什么。类模板的成员函数在类外定义时，不是“补全实现”，而是“独立的模板函数定义”，必须带完整的模板参数声明。
常见错误现象：error: 'T' was not declared in this scope 或 error: expected ';' before 'e'，本质都是模板上下文丢失。
- 模板参数名（如
T）必须和类模板声明中一致，大小写敏感 - 类名后必须显式带上模板参数列表，即
Stack<t></t>，不能省略<t></t> - 如果类模板有多个参数（如
template<typename t size_t n></typename>），类外定义时也必须全部写出
inline 关键字要放在 template 声明之后、返回类型之前
想把类外定义的模板成员函数设为内联，inline 不能丢在最前面，也不能塞在函数体里。放错位置会导致编译器忽略内联请求，或直接报错。
正确写法：template<typename t> inline T Stack<t>::Pop()</t></typename>；错误写法：inline template<typename t> T Stack<t>::Pop()</t></typename> 或 template<typename t> T Stack<t>::Pop() { inline ... }</t></typename>。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
inline是函数说明符，作用于整个函数定义，必须紧贴在返回类型前 - 类内定义的成员函数默认是 inline 的，但类外定义的不会自动 inline，必须显式加
- 现代编译器对 inline 的实际决策权在优化阶段，但加
inline是向编译器发出明确提示
定义必须和类模板在同一个翻译单元（通常是同一头文件）
不能把类模板定义放在 Stack.h，而把 Push 的实现扔进 Stack.cpp。链接时会报 undefined reference to 'Stack<int>::Push(int)'</int> ——因为模板实例化需要看到完整定义，而 .cpp 文件单独编译时无法生成所需特化版本。
- 所有模板（包括类模板、函数模板、模板成员函数）的声明和定义通常都应放在头文件中
- 即使你用
extern template显式实例化，也得确保至少一个 TU 包含完整定义 - 分离声明/定义 + 模板 = 链接错误高发区，这是 C++ 模板机制决定的，不是工程疏忽
参数类型推导失效时要手动指定模板实参
当类外定义的模板成员函数签名里没出现模板参数（比如返回值是 T，但所有形参都不是 T），调用时编译器无法从实参反推 T，就会报错 couldn't deduce template parameter 'T'。
例如：template<typename t> T Stack<t>::Top() { return data[top-1]; }</t></typename>，调用 s.Top() 没问题；但如果写成 template<typename t typename u> U Stack<t>::Convert() { ... }</t></typename>，就必须写成 s.Convert<int>()</int> 才能通过。
- 只要模板参数在函数形参列表中至少出现一次，编译器就能自动推导
- 返回类型、函数体内部类型、缺省参数中的模板参数，都不参与推导
- 这种场景下，宁可把逻辑拆成普通函数模板，也不要硬套在类模板成员里
Stack<int>::Push</int> 和 Stack<double>::Push</double> 是两个完全无关的函数模板实例，编译器不会共享任何东西。C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
