模板定义和使用必须在同一个编译单元里，否则链接时报 undefined reference；解决方法是将完整定义放入头文件或显式实例化，禁用-frepo等非主流选项，推荐用.tcc分离声明与实现，并注意显式特化须在命名空间作用域。
模板定义和使用必须在同一个编译单元里
这是最常踩的坑：把模板声明放在 .h，实现却丢进 .cpp，然后 g++ 编译时报 undefined reference to `MyClass<int>::foo()`</int>。原因很简单——模板函数/类的实例化发生在编译期，而 g++ 在编译 .cpp 时不知道哪些具体类型会被用到，不会生成对应的目标代码；链接时自然找不到符号。
解决办法只有两个：
- 把模板完整定义（声明 + 实现）全写进头文件，比如
utils.h里直接写template<typename t> T max(T a, T b) { return a > b ? a : b; }</typename> - 显式实例化：在
.cpp文件末尾加template int max<int>(int, int);</int>，告诉编译器“请为int特化生成代码”
用 -frepo 或 -fno-implicit-instantiation？别碰
这两个 GCC 选项理论上能缓解模板重复实例化问题，但实际几乎没人用。原因很现实：
-
-frepo依赖外部.rpo文件管理，Makefile 很难可靠跟踪依赖，clean 一下就全崩 -
-fno-implicit-instantiation强制所有模板都得手动实例化，项目一过百个模板，维护成本爆炸 - 现代 GCC（11+）对头文件内模板的编译缓存已足够好，
-O2下重复包含开销极小
多文件项目里怎么组织模板代码
如果你非得拆开（比如模板逻辑太长），推荐这个结构：
-
include/containers/vector.h：放模板声明 +#include "vector.tcc" -
include/containers/vector.tcc：放所有实现（注意不是.cpp，后缀只是约定） -
src/main.cpp只 include"containers/vector.h"，不碰.tcc
这样既保持头文件干净，又避免链接失败。关键是 .tcc 不参与 Makefile 的 $(SRCS) 列表，它只被头文件拉进来编译，不会单独生成 .o。
遇到 error: explicit specialization in non-namespace scope
这是你在类内部写了特化，比如：
class Container {
template<typename t> void process();
template void process<int>() { ... } // ❌ 错误！
};</int></typename>
GCC 要求显式特化必须在命名空间作用域，不能在类里。改法只有两种：
- 把特化提到类外：
template void Container::process<int>() { ... }</int> - 改用重载或
if constexpr（C++17 起）替代特化，更安全也更易读
模板的麻烦不在语法，而在编译模型本身——它不生成代码，直到你真正用上某个类型。这点和普通函数完全不同，也是所有报错的根源。盯住 “哪个文件知道哪个特化” 这条线，基本就不会迷路。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
