C++模板函数类型推导基于实参自动确定T；2. 普通形参忽略const，引用形参保留const；3. 数组名传参可保留完整类型；4. 可显式指定模板参数以控制推导。
在C++中，模板函数的类型推导是编译器根据调用时传入的实参自动确定模板参数类型的过程。理解这一机制对正确使用泛型编程至关重要。
基本类型推导规则
当调用一个函数模板时，编译器会分析函数参数的类型与对应实参之间的关系，尝试匹配并推导出模板参数的具体类型。例如：
templatevoid foo(T param); int x = 42; foo(x); // T 被推导为 int，param 类型也是 int
这里的T由实参x的类型int直接决定。如果传入的是const对象或引用，推导行为会有不同，具体取决于形参是否包含引用或指针。
引用和const的处理方式
模板类型推导对顶层const和引用有特殊处理：
立即学习“C++免费学习笔记（深入）”；
- 若形参是普通类型T（非引用、非指针），则实参的const会被忽略
- 若形参是T&，则const属性会被保留
- 若实参是左值引用，T将被推导为该类型的左值引用
const int cx = 100; foo(cx); // T 是 int，顶层const被忽略 templatevoid bar(T& param); bar(cx); // T 是 const int，param 类型为 const int&
数组和函数名作为实参的情况
数组名作为实参传递给模板函数时，不会退化为指针（除非形参明确是指针或引用）：
templatevoid func(T& arr) { cout << sizeof(arr); // 得到整个数组大小 } int data[10]; func(data); // T 被推导为 int[10]
同样，函数名也可以用于推导出其具体函数类型，而不仅仅是函数指针。
显式指定模板参数
当自动推导无法满足需求时，可以手动指定模板参数：
templatevoid goo(const T& param); goo (42); // 明确告诉编译器 T 是 int
这在重载解析失败或需要强制类型转换时特别有用。
基本上就这些常见情况。掌握这些规则有助于避免因类型不匹配导致的编译错误，也能更好地设计通用接口。
