模板类不能声明与定义分离，因为编译器需在实例化时看到完整定义才能生成代码；否则将出现undefined reference链接错误，故主流做法是将声明和定义全置于头文件中。
为什么模板类不能像普通类那样声明和定义分离
因为模板不是实际的代码，而是一套生成代码的“蓝图”。编译器只有在看到模板定义（即具体实现）且有明确的实例化请求时，才能生成对应类型的函数或类。如果只在头文件中声明 template，而在 .cpp 文件里定义成员函数，那么当其他源文件包含该头文件并尝试使用 Stack 时，编译器根本看不到函数体，无法生成 Stack 的代码，最终链接失败——典型错误是 undefined reference to 'Stack。
主流解决方案：把定义全放在头文件里
这是最直接、最兼容、也最常用的做法。几乎所有标准库模板（如 std::vector）、Boost 和现代 C++ 项目都这么干。
- 头文件
stack.h中同时写template和所有成员函数的完整定义（包括内联或显式class Stack { ... }; inline） - 不需要单独的 .cpp 文件；所有使用方 #include "stack.h" 即可
- 注意避免重复定义：用
#pragma once或传统 include guard - 如果函数体较长，可将其实现写在头文件底部，用
inline显式标注（C++17 起非必需，但更清晰）
替代方案：显式模板实例化（适用于已知有限类型）
如果你确定这个模板只用于 int、double、std::string 等少数几个类型，且希望把实现藏在 .cpp 里，可以靠显式实例化“告诉”编译器：“请为这几个类型生成代码”。
- 在
stack.cpp中，定义完所有成员函数后，加上：template class Stack
; template class Stack ; template class Stack - 此时
stack.h只需声明模板类（不含函数定义），stack.cpp包含定义 + 显式实例化 - 其他源文件仍只需 #include "stack.h"，但只能安全使用那几个已实例化的类型；用
Stack会链接失败 - 不适用于泛型库或用户可任意传入类型的场景
别踩坑：export 关键字早被弃用，别试
C++98 曾引入 export 关键字试图支持分离编译，但因实现复杂、编译器支持极差（仅 Comeau C++ 短暂支持），在 C++11 中被彻底移除。任何教程或代码中出现 export template 都是过时甚至错误的写法，现代编译器（GCC、Clang、MSVC）均不识别。
立即学习“C++免费学习笔记（深入）”；
真正要分文件又想保持封装性？要么接受头文件里放定义，要么用 PIMPL + 非模板外壳包装，但后者牺牲了模板的零开销优势——多数时候，老老实实把模板定义放进头文件，是最简单、最可靠的选择。
