C++模板必须定义在头文件中，因为实例化时编译器需看到完整定义以生成具体代码；若放.cpp中会导致其他翻译单元无法访问而链接失败。
因为C++模板在实例化时才生成具体代码，而编译器需要看到完整的模板定义（而不仅是声明），才能为不同类型生成对应的函数或类。如果把模板实现放在.cpp文件里，其他翻译单元就无法访问定义，导致链接失败。
模板不是普通函数：编译期生成代码
普通函数的声明和定义可以分离：头文件中声明，源文件中定义，链接器最后合并。但模板是“蓝图”，本身不生成机器码；只有当用具体类型（如int、std::string）实例化时，编译器才根据模板生成一份专属代码。这个过程发生在每个使用该模板的编译单元内部。
所以——
- 编译器必须在遇到template instantiation（比如MyVector
v; ）时，手头就有模板的完整定义（包括所有语句、逻辑、嵌套类型） - 如果只在头文件中写了声明template
class MyVector; ，而定义在MyVector.cpp里，那么main.cpp包含头文件后仍不知道怎么构造MyVector，也就不会生成任何代码 - 链接阶段发现main.o里调用了MyVector
::push_back ，但没有任何目标文件提供它的符号，于是报undefined reference
两种合法但少见的替代方案
虽然“全放头文件”最常用，但C++标准其实允许其它做法，只是有明显限制：
立即学习“C++免费学习笔记（深入）”；
-
显式实例化（Explicit Instantiation）：在模板定义所在的.cpp里，手动写出template class MyVector
; 和template class MyVector<:string>;。这样编译器就会为这两个类型生成代码并导出符号。但你得提前知道所有要用的类型，且无法支持用户自定义类型（比如MyVector） -
外部模板声明（extern template）：在头文件中写extern template class MyVector
; ，告诉编译器“别在这儿实例化，去别处找”。配合显式实例化使用，可减少重复编译开销，但同样牺牲泛型灵活性
头文件里怎么组织更合理？
不是所有模板代码都得挤在.h里。现代实践常采用以下结构：
- 主头文件（myvector.h）只放模板声明 + #include "myvector.tpp"（或.inl）
- 实现细节单独放在myvector.tpp（非标准后缀，但约定俗成表示“template implementation”），并在末尾加#endif保护
- 这样逻辑清晰、避免头文件过长，且仍满足“定义可见”要求——因为#include会让预处理器把tpp内容原样插入到每个使用它的编译单元中
为什么C++20模块没立刻解决这个问题？
模块（Modules）确实能更好地封装模板，允许导出模板声明+定义而不暴露全部细节。但关键点在于：模块导入时，仍需让编译器获得模板定义以进行实例化。所以即使用了模块，模板定义依然要随模块接口一同提供（比如写在export module myvector;后面），本质上还是“可见定义”，只是不再依赖文本包含机制。它改善了依赖管理和编译速度，但没改变模板必须可见这一根本约束。
