因为模板是编译器生成代码的蓝图，必须在实例化时可见；若实现放在cpp中，其他源文件无法看到定义，导致链接错误。主流做法是将声明和定义全放在头文件中。
为什么 template 类不能像普通类那样头文件声明、cpp 文件实现？
因为模板不是真实代码，是编译器的“蓝图”；它必须在实例化时（比如 vector）才生成具体函数和类。如果把实现写在 .cpp 里，编译器在处理包含该头文件的其他源文件时，根本看不到实现体，链接阶段自然找不到符号——报 undefined reference to 'MyStack 这类错误。
主流解法：把声明和定义全放在头文件里
这是最直接、兼容性最好、也最符合 C++ 标准实践的做法。几乎所有标准库模板（std::vector、std::map）和 Boost 都这么干。
- 头文件（如
MyStack.h）里写完整内容：包括template声明 + 所有成员函数定义 - 不写单独的
MyStack.cpp；或者写了也必须在头文件末尾#include "MyStack.cpp"（见下一条） - 注意：不要在头文件里用
using namespace std;，避免污染包含者的命名空间
想物理分离？用显式实例化 + 分离实现文件（慎用）
仅当你**确定只用几个固定类型**（比如只用 MyStack 和 MyStack<:string>），且项目有强模块隔离需求时才考虑。否则极易漏实例化、跨平台出问题。
- 在
MyStack.h中只放声明（不含函数体），加extern template class MyStack声明外部实例; - 在
MyStack.cpp中写完整定义，并加template class MyStack和; template class MyStack<:string>; - 所有用到这些类型的源文件，必须先包含
MyStack.h，且不能在别的地方重复实例化 - MSVC 和 GCC 对
extern template支持细节有差异，Clang 在某些版本会静默忽略
常见误操作与后果
很多人试图“折中”，结果掉进更深的坑：
立即学习“C++免费学习笔记（深入）”；
- 头文件里只声明，cpp 里定义，然后在主文件里
#include "MyStack.cpp"—— 看似能编译，但每个包含它的.cpp都会重复生成一份模板代码，导致 ODR 违反或链接失败 - 用
#pragma once或include guards挡不住模板多重定义，它们只防头文件重复包含，不防模板多次具现化 - 在 cpp 里写
template class MyStack却忘了导出符号（如 Windows 下没加; __declspec(dllexport)），DLL 导出时依然链接失败
真正难的不是语法，是理解“模板代码不在编译期存在，而在每个实例化点实时生成”这个前提。一旦记成“和普通类一样分文件”，后面所有调试都在对抗编译器原理。
