编译器通过实参类型严格推导函数模板参数，不进行隐式转换，要求所有实参一致推出同一类型；引用形参保留cv限定，数组/函数类型退化为指针，初始化列表需显式类型。
函数模板参数怎么被自动推出来的
编译器不是靠猜，而是按一套明确的匹配规则从实参类型反向算出模板参数。关键在于：它只看调用时传进去的表达式类型（不含隐式转换），且每个模板参数必须能被所有对应实参一致地推导出来。
比如 template<typename t> void f(T x, T y)</typename>，调用 f(3, 4.5) 就会失败——3 推出 T=int，4.5 推出 T=double，冲突；而 f(3, 5) 或 f(3.14, 2.71) 都能成功。
- 推导只发生在“非引用/非指针”的形参上：若形参是
T&，则T会保留实参的 cv 限定和引用性（如传const int&，T就是const int） - 数组、函数类型会退化：传入
int[5]给T，T推导为int*；除非形参是T(&)[N]这种引用形式才能保尺寸 - 初始化列表
{...}无法单独触发推导：f({1,2,3})编译不过，因为没有类型信息；得写成f(std::vector<int>{1,2,3})</int>或显式指定f<:vector>>({1,2,3})</:vector>
为什么 const char* 和 string 字面量推导结果不同
字符串字面量（如 "hello"）类型是 const char[6]，传给 template<typename t> void g(T)</typename> 时，T 被推为 const char*（数组退化）；但传给 template<typename t> void g(const T&)</typename>，T 就是 char[6]（引用不退化）。
而 std::string 对象本身是具体类型，不会触发退化。所以 g(std::string{"hi"}) 总是推 T = std::string。
- 常见陷阱：写
template<typename t> void h(T*)</typename>，传&x（x 是 int）能推T=int；但传nullptr就失败——因为nullptr类型是std::nullptr_t，不匹配T* - 解决办法之一是加一个重载：
void h(std::nullptr_t)，或改用template<typename t> void h(T)</typename>+std::is_pointer_v<t></t>在函数体内判断
什么时候推导会静默失败，反而调用非模板函数
模板推导失败（deduction failure）不是编译错误，而是让该模板从重载候选集中直接剔除。如果此时还有非模板函数或其它可行重载，编译器就选那个——这常导致“明明写了模板却没进模板”的困惑。
例如：
void foo(int) { std::cout void foo(T*) { std::cout
- 用
static_assert或std::enable_if主动拦截无效推导，比依赖重载静默剔除更可控 - 启用
-fno-elide-constructors或查看编译器-ftemplate-backtrace-limit=0输出，能暴露更多推导中间态 - Clang 的
-Xclang -ast-dump可看到实际参与重载决议的候选函数列表，包括哪些模板被剔除了
auto 和模板推导是一回事吗
基本规则一致，但 auto 是简化版：它不支持部分推导（比如不能只指定一个模板参数），也不参与重载决议。更重要的是，auto 对初始化列表有特殊处理——auto x = {1,2,3}; 推出 std::initializer_list<int></int>，而模板函数里 f({1,2,3}) 直接报错。
-
auto&和const auto&会保留初始化表达式的值类别和 cv 属性，和模板中T&/const T&行为一致 - 用
decltype(auto)可以获得更精确的类型（比如保持引用、保持返回值的值类别），而普通auto总是去掉引用和 cv - 别指望
auto能替代复杂模板推导逻辑——它没能力解包包展开、没办法约束 SFINAE 条件、也不能做偏特化
实际写模板时，最易被忽略的是数组退化和字符串字面量的双重身份：同一个 "abc"，在不同形参签名下可能推导出 const char*、const char[4] 或甚至 std::string_view（如果用了 std::string_view 构造函数重载）。这种差异往往只在调试时才浮出水面。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
