模板类不能像普通类那样分离声明与实现，因为模板是编译期“蓝图”，实例化时编译器必须看到完整定义（含函数体），否则链接时报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></vector> 实际包含了完整实现（通常通过内部 #include <bits></bits> 等完成）。所谓“分离”只是标准库组织方式的假象，不是语言机制允许的例外。

真正需要隐藏实现细节时，得放弃模板，改用类型擦除（如 std::any、std::function）或运行时多态——模板的本质就是编译期展开，想绕过这点，就得换范式。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！