函数模板必须显式声明template，参数需在函数参数列表中出现以支持推导，返回类型单独含t需显式指定；auto参数是模板简写但不支持特化或sfinae；推导受数组退化、const保留等规则影响；inline/constexpr/noexcept位置须严格符合语法。
函数模板怎么写，才不会编译失败
模板定义不加 template<typename t></typename> 或者用错关键字（比如写成 class T 却在调用时传 int* 导致推导失败），是最常见的硬性报错原因。c++ 不允许“隐式模板”，必须显式声明模板参数。
-
template<typename t></typename>和template<class t></class>完全等价，选一个保持统一就行；但别混用，尤其在多人协作时容易引发理解偏差 - 模板参数不能出现在返回类型前面却不在参数列表中——比如
T func()而参数全是int，编译器无法推导T，必须显式指定func<double>()</double> - 函数体里如果用了只对部分类型有效的操作（如
T::value），而没做约束，错误会延迟到实例化时才爆出来，且报错位置远离定义处，难定位
什么时候该用 auto 参数，什么时候必须写 template
C++20 的 auto 参数看起来更简洁，但它本质是“简写的函数模板”，底层仍是模板机制。区别在于：是否需要访问类型信息、是否要重载或特化、是否涉及 SFINAE 或概念约束。
- 纯数值计算、简单转发、快速原型：用
void func(auto x, auto y)更轻量，编译器自动推导并生成对应实例 - 需要
static_assert检查T是否有begin()、或想为std::vector<int></int>单独写特化版本：必须用template<typename t> void func(T x)</typename>，auto不支持特化 -
auto参数不能用于可变参数模板的“包展开”上下文，例如template<typename... args> void f(Args... args)</typename...>无法被auto...替代
模板函数的实参推导为什么经常“不按你想的来”
推导规则优先匹配最具体的类型，但数组、顶层 const、函数类型这些会被静默降级，导致实际推导出的 T 和你预期不符。
- 传入
const int& x，T推导为const int，不是int；若函数参数是T&，则const会被保留；若是T（值传递），const会被丢掉 - 传入数组
int arr[5]，默认推导为int*（退化），除非参数写成T (&arr)[N]并额外加size_t N模板参数 - 函数指针传进去，
T可能推成int(int)这种函数类型，而非int(*)(int)指针类型，容易触发非法调用
inline、constexpr、noexcept 放哪儿才真正起作用
这些说明符的位置影响语义和优化机会，放错地方就等于没写。
立即学习“C++免费学习笔记（深入）”；
-
inline必须放在模板定义前（即inline template<typename t> ...</typename>），否则每个翻译单元都可能生成一份定义，链接时报重复定义 -
constexpr要放在返回类型前、函数名后，如template<typename t> constexpr T max(T a, T b) { ... }</typename>；如果函数体里有非 constexpr 操作（如new、IO），即使加了也会编译失败 -
noexcept建议写成noexcept(noexcept(expr))形式，比如noexcept(noexcept(std::declval<t>() + std::declval<t>()))</t></t>，否则静态声明为noexcept但实际抛异常，程序直接终止
模板不是语法糖，它是编译期生成代码的机制。所有类型相关的行为——推导、特化、约束、实例化时机——都得按标准来，少一个 、多一个 const、漏一次 typename，都可能让错误藏得更深。写的时候盯着实例化点看，比盯着定义点更有用。