模板函数需确保参数类型可显式推导，避免字面量或隐式转换导致推导失败；应将完整定义置于头文件，合理使用constexpr/consteval，并理解重载优先级与实例化时机。
模板函数怎么写才不报错：参数类型必须显式可推导
写 template<typename t></typename> 不等于万事大吉。编译器不是靠猜，而是靠函数调用时的实参来推导 T。如果调用时传的是字面量（比如 42）、nullptr、或者有隐式转换，就容易卡在类型推导上。
- 错误现象：
error: no matching function for call to 'max(...)'，尤其出现在自定义类型或混合类型比较时 - 常见场景：想写一个通用
max，但传入int和double就失败——因为两个参数类型不同，T无法统一推导 - 解决办法：要么强制指定类型，如
max<double>(a, b)</double>；要么用两个模板参数，如template<typename t typename u> auto max(T a, U b) -> decltype(a > b ? a : b)</typename> - 注意：C++17 起支持
auto返回类型推导，但 C++11/14 需配合decltype或尾置返回类型
模板函数和普通重载混用时，谁赢？
模板函数不会自动“覆盖”普通函数；相反，普通重载优先级更高。这是为了保证已有代码行为不被模板意外改变。
- 错误现象：你写了
template<typename t> void print(T x)</typename>，又加了个void print(int x)，结果传int总是调用后者，而不是你期待的“泛化版本” - 使用场景：想为内置类型做优化（比如
int用位运算），又保留通用逻辑——必须明确靠重载 + 模板偏特化（或 C++17 的if constexpr）来分流 - 关键点：函数匹配分三步：精确匹配 → 类型提升 → 标准转换 → 用户定义转换；模板实例化只参与前两步，且不考虑用户转换
- 小技巧：用
std::enable_if或 C++20requires把某些重载“藏起来”，避免冲突
模板函数定义放哪？头文件里不能只写声明
模板函数的定义（不只是声明）必须对所有使用它的编译单元可见，否则链接时报 undefined reference to 'xxx'——这不是 bug，是 C++ 模板实例化机制决定的。
- 错误现象：
main.cpp调用swap<int></int>，但swap的定义在utils.cpp里，编译通过，链接失败 - 原因：编译器在
main.cpp看到调用时，需要当场生成swap<int></int>的代码，但它没看到函数体 - 正确做法：把模板函数整个定义（包括函数体）放在头文件中；或用显式实例化（
template void swap<int>(int&, int&);</int>）在 .cpp 里强制生成，但会失去泛化能力 - 兼容性影响：头文件变大，编译时间略增；但这是标准做法，所有主流库（STL、Boost）都这么干
什么时候该用 constexpr 或 consteval 修饰模板函数？
不是所有模板函数都适合标成 constexpr，只有真正能在编译期求值、且参数满足常量表达式约束的，才值得加。
立即学习“C++免费学习笔记（深入）”；
- 错误现象：给一个含
std::cout 或动态内存分配的模板函数加 <code>constexpr，编译直接拒掉 - 使用场景：计算阶乘、字符串长度、类型特征判断（比如
is_pointer_v<t></t>）这类纯编译期逻辑 - 参数差异：
constexpr允许运行时调用（降级为普通函数），consteval（C++20）则强制只能编译期求值，传非常量参数立刻报错 - 性能影响：合理使用能消除运行时开销，但过度追求
constexpr可能让模板膨胀、编译变慢，尤其嵌套深时
g++ -fdump-template-instantiations 或看下 clang 的 SFINAE 错误信息——不然光背规则，照样踩坑。 
