模板函数是C++编译期多态核心机制，类型检查与实例化全在编译期完成；template中typename语义更准，嵌套依赖类型必须用typename；函数模板参数推导失败时需显式指定或用std::common_type_t统一类型。
模板函数不是“泛型的另一种写法”，而是 C++ 实现编译期多态的核心机制；它不生成运行时类型擦除代码，也不依赖虚函数表——所有类型检查和实例化都在编译期完成。
template 和 template 有区别吗
没有实质区别，二者完全可互换。标准中 class 是历史遗留关键字（早期只支持类类型），typename 更准确表达“此处为类型占位符”。但注意：当声明嵌套依赖类型时，必须用 typename，例如 typename T::value_type，否则编译器会误判为静态成员变量。
- 日常定义模板参数首选
typename，语义更清晰 - STL 头文件里混用两者，纯属风格习惯，不影响功能
- 不能写
template或template（后者是 C++20 概念约束语法，非类型参数）
函数模板怎么写才不会报错 “no matching function”
常见原因是模板参数无法被自动推导，或推导出冲突类型。比如 max(3, 4.5) 中，T 无法同时是 int 和 double。
- 显式指定类型：
max（截断浮点数，需谨慎）(3, 4.5) - 用非类型参数 + 类型约束分离逻辑：
templateauto max(T a, U b) -> decltype(a > b ? a : b) - 更稳妥的是用
std::common_type_t统一类型：templateauto max(T a, U b) -> std::common_type_t - 避免对参数做隐式转换后再推导——编译器只看实参原始类型
什么时候该用函数模板，而不是重载或 auto
函数模板适合“行为一致、仅类型变化”的场景；重载适合不同类型的逻辑分支差异大；auto 参数（如 lambda 形参）仅用于局部、无需导出接口的场合。
立即学习“C++免费学习笔记（深入）”；
- 要导出给其他翻译单元调用？必须用模板（
auto无法生成符号） - 参数类型组合爆炸（如
int/long/float/double两两组合）？模板比手写 16 个重载更可持续 - 需要 SFINAE 或
requires做编译期约束？只能走模板路径 -
auto函数参数本质是模板语法糖，但受限于不能在类外声明，也不能特化
真正容易被忽略的是模板的链接模型：函数模板定义必须放在头文件里，否则链接时报 undefined reference——因为实例化发生在每个包含它的 .cpp 中，编译器需要看到完整定义才能生成具体版本。
