模板类不能像普通类那样分离声明与实现，因为模板是编译期“蓝图”，实例化时编译器必须看到完整定义（含函数体），否则链接时报undefined reference；主流方案是全部放在头文件中。
为什么不能像普通类那样把模板类声明和实现分开？
因为模板不是真实代码，是编译器的“蓝图”。template 实例化发生在使用点（比如 MyStack<int></int>），而编译器此时必须看到完整的定义——包括函数体。如果只在头文件里放声明，实现放在 .cpp 里，链接时就会报 undefined reference to MyStack<int>::push(...)</int>。
三种可行方案及各自适用场景
实际项目中选哪种，取决于你对编译速度、封装性、可维护性的权衡：
-
方案一：全部写在头文件（最常用）
- 把
class声明和所有成员函数定义都放在 .h 或 .hpp 文件里 - 编译器每次包含该头文件都能看到完整模板，能正常实例化 - 缺点：头文件变大，改动实现会触发大量重编译 -
方案二：显式实例化（适合有限类型）
- 头文件中只放声明，.cpp 中写实现，并在 .cpp 末尾加
template class MyStack<int>;</int>和template class MyStack<:string>;</:string>- 编译器只为指定类型生成代码，链接时可用 - 限制：调用未显式实例化的类型（如MyStack<double></double>）会链接失败 -
方案三：分离但保留 .inl 文件（折中）
- .h 放声明，.inl 写实现，然后在 .h 末尾
#include "MyStack.inl"- 逻辑上分离，物理上仍合并进编译单元，不影响实例化 - 注意：.inl 不要被直接#include到其他地方，否则可能重复定义
常见错误：把模板实现放进 .cpp 后忘了显式实例化
现象：编译通过，但链接时报一堆 undefined reference，尤其是涉及构造函数、析构函数或内联失败的成员函数时。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 检查是否在模板实现所在的 .cpp 文件里写了
template class MyStack<int>;</int>—— 类型必须完全匹配（含 const、引用、模板参数嵌套） - 如果用了非类型模板参数（如
template<int n></int>），显式实例化必须写成template class MyArray;，不能省略值 - 函数模板单独导出需用
template void my_swap<int>(int&, int&);</int>，和类模板语法不同
std::vector 等标准库为什么没这个问题？
它们其实也遵守同一规则：所有模板定义都在头文件里。你看到的 #include <vector> 实际包含了完整实现（通常通过内部 #include <bits/stl_vector.h> 等完成）。所谓“分离”只是标准库组织方式的假象，不是语言机制允许的例外。
立即学习“C++免费学习笔记（深入）”；
真正需要隐藏实现细节时，得放弃模板，改用类型擦除（如 std::any、std::function）或运行时多态——模板的本质就是编译期展开，想绕过这点，就得换范式。
