模板函数需显式声明参数类型，避免类型推导失败；引用/指针/字面量传参易冲突；万能引用配合forward实现完美转发；嵌套类型前加typename；调用时注意无隐式转换；定义必须在头文件；c++20概念替代sfinae提升可读性。
模板函数怎么写才不会编译失败
模板函数写错最常见原因是类型推导失败或缺少显式实例化，尤其当参数涉及引用、指针或字面量时。auto 不能替代模板参数声明，编译器不会从函数体反推 template<typename t></typename>。
实操建议：
- 所有模板参数必须在函数签名中显式出现在参数列表或返回类型里，比如
T func(T a)可以推导，T func()不行（除非用decltype辅助） - 避免对
int和int&混用同一模板参数——传入变量会推成int&，传入字面量（如42）只能推成int，导致重载冲突 - 需要转发语义时，优先用万能引用：
template<typename t> void f(T&& x)</typename>，配合std::forward<t>(x)</t> - 如果函数体里用了
T::value_type这类嵌套类型，记得加typename前缀，否则编译报错：typename T::value_type
调用模板函数时为什么找不到匹配版本
不是所有看起来“能用”的调用都会成功。C++ 模板匹配不考虑隐式转换，只做有限的退化（如数组到指针、函数到函数指针），也不支持基于返回类型的重载解析。
常见错误现象：
立即学习“C++免费学习笔记（深入）”；
- 传
const char*给期望std::string的模板函数，编译失败——模板不自动构造std::string - 调用
max(a, b)，其中一个是long long、另一个是int，推导出两个不同T，匹配失败 - 函数模板和非模板函数同名，非模板版本优先，可能意外屏蔽了你想要的模板实例
解决办法：
- 显式指定模板实参：
func<double>(3)</double>强制走double版本 - 用
static_cast统一输入类型，比如func(static_cast<double>(x), y)</double> - 检查是否误删了
<utility></utility>（std::move/std::forward所需）或<type_traits></type_traits>（SFINAE 场景）
模板定义放头文件里是硬性要求吗
是。除非你明确做了显式实例化（template void func<int>(int);</int>），否则模板定义必须和声明一起放在头文件中，否则链接时报 undefined reference。
原因很简单：模板不是真实函数，只是编译器的“生成规则”，只有在看到完整定义 + 实际调用点后，才能生成对应机器码。分离到 .cpp 里，其他翻译单元根本看不到定义。
注意点：
- 别在头文件里写
static template<typename t> void f() {...}</typename>——static会让每个 TU 生成一份副本，浪费空间且可能违反 ODR - 如果真想隐藏实现，可用“extern template” + 显式实例化组合，但仅适用于你完全掌控哪些类型会被使用的场景
- C++20 模块（
export module）可缓解这问题，但目前主流项目仍依赖头文件惯式
什么时候该用概念（concepts）而不是传统 SFINAE
当你开始写 enable_if 套三层、错误信息全是 no type named 'type' in struct std::enable_if<false void></false> 时，就是该换 concepts 的信号。
对比示例：
template<typename T>
auto add(T a, T b) -> decltype(a + b) { return a + b; } // 老式 SFINAE 风格，难读难调
换成 concepts 更清晰：
template<typename T>
requires std::is_arithmetic_v<T>
T add(T a, T b) { return a + b; }
关键差异：
- concepts 把约束逻辑从函数签名里剥离出来，错误提示直接说 “
Tdoes not satisfyarithmetic”，而不是一长串模板展开失败堆栈 - concepts 支持组合（
And/Or）、重用（自定义 concept）、以及更早的诊断时机 - 但注意：C++20 concepts 不等价于运行时检查，它仍是编译期约束；若需动态分发，还是得靠
if constexpr或虚函数
模板最难的从来不是语法，而是想清楚“哪些类型该被接受、哪些不该，以及拒绝时用户能不能看懂”。这点上，concepts 是目前最接近人话的解法。
