模板函数应将声明和定义全放在头文件中，因模板实例化发生在使用点，若定义在.cpp中会导致链接时undefined reference错误。
模板函数怎么写才不会编译报错
最常见的情况是：写了 template<typename T>，但调用时传了数组或字面量，结果连 operator<< 都找不到。根本原因不是语法错，而是模板推导失败或类型不匹配。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 避免直接对数组类型做模板推导，改用
std::array或显式指定模板参数，比如print<int>(x) - 如果函数要支持字符串字面量（如
"hello"），别用const char*当模板参数，改用const std::string&或完美转发：template<typename T> void f(T&& x) - 函数内用到的操作（比如
+、<<）必须对所有可能推导出的T有效；否则编译器不会“静默跳过”，而是直接报错
什么时候该用 auto 返回类型而不是显式写 T
当你不确定返回值类型是否和参数类型一致，或者涉及表达式模板（比如 a + b 的返回类型可能是 std::complex<double> 而非 double），硬写 T 会出错。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 算术运算类模板函数（加减乘除）优先用
auto：template<typename T, typename U> auto add(T a, U b) { return a + b; } - 想保留原始引用语义（比如返回容器元素），用
decltype(auto)，否则auto会丢掉引用 - 注意 C++14 才支持函数体内的
auto返回类型推导；C++11 只能靠尾置返回类型：-> decltype(a + b)
std::enable_if 不是万能开关，乱用反而让错误更难读
很多人一看到“只对整数生效”就立刻套 std::enable_if<std::is_integral<T>::value>，结果编译报错信息变成几百行 SFINAE 展开，根本看不出哪错了。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 先用
static_assert做清晰拦截：static_assert(std::is_integral_v<T>, "T must be integral")，错误信息直指问题 - 只有需要重载分离时（比如一个函数处理浮点、另一个处理整数），才用
std::enable_if控制重载可见性 - C++20 起，直接用
requires约束更干净：template<typename T> requires std::is_integral_v<T>
模板函数定义放头文件里，不是因为“习惯”，是链接器真不认识它
把模板函数声明放 .h，定义放 .cpp，编译能过，但链接时报 undefined reference to 'xxx' —— 因为模板实例化发生在使用点，编译器在 .cpp 里没看到调用，根本不会生成具体函数代码。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 模板函数的声明和定义必须在同一个翻译单元可见，99% 场景就是全写进头文件
- 如果非要拆（比如实现太长），可以用
extern template显式实例化，但得在每个用到它的.cpp里声明，并在某个.cpp里定义，维护成本高 - 注意头文件里重复包含问题，
#pragma once或卫哨宏仍需保留
模板函数看着简单，真正麻烦的是类型推导边界、SFINAE 行为、以及跨编译单元的实例化时机——这些地方不出错则已，一错就是编译器甩给你一屏看不懂的符号名。
