6. 类型推导：模板参数推导规则、auto与decltype的推导机制、引用折叠
类型推导，说白了就是让编译器替你猜类型。很多C++开发者用了多年auto，却说不清它到底怎么工作的。我见过不少项目，因为类型推导的细节没搞明白，出了诡异的编译错误，或者运行时行为跟预期完全不一样。
这一节，咱们把模板参数推导、auto、decltype、引用折叠这几个东西串起来讲。你会发现，它们背后的逻辑其实是同一套规则。
6.1 模板参数推导：编译器是怎么猜类型的？
你写了一个函数模板，调用时没指定模板参数。编译器就得根据实参去推导。这个过程，其实有一套固定的模式。
我习惯把推导规则分成三种情况：
- 按值传递：
template<typename T> void f(T param); - 按引用传递：
template<typename T> void f(T& param); - 按万能引用传递：
template<typename T> void f(T&& param);
这三种情况，推导出来的T类型可能完全不同。举个例子：
template<typename T>
void byValue(T param) {}
template<typename T>
void byRef(T& param) {}
int x = 42;
const int cx = x;
const int& rx = x;
byValue(x); // T = int, param = int
byValue(cx); // T = int, const被忽略, param = int
byValue(rx); // T = int, 引用被忽略, param = int
byRef(x); // T = int, param = int&
byRef(cx); // T = const int, param = const int&
byRef(rx); // T = const int, param = const int&
看到了吗？按值传递时，const和引用都会被剥掉。按引用传递时，const会保留。这是很多新手容易踩的坑。
6.2 auto的推导：其实和模板参数推导是一回事
很多人觉得auto很神奇。其实auto的推导规则，跟模板参数推导完全一致。你可以把auto看作一个隐式的模板参数。
举个例子：
auto x = 27; // 相当于 template<typename T> void f(T param); f(27);
const auto cx = x; // 相当于 template<typename T> void f(const T param); f(x);
const auto& rx = x; // 相当于 template<typename T> void f(const T& param); f(x);
auto&& uref = x; // 相当于 template<typename T> void f(T&& param); f(x);
我个人习惯用auto来声明局部变量，尤其是迭代器和lambda表达式。但有一点要注意：auto不会保留引用和顶层const。如果你想要引用语义，必须显式写auto&。
typeid或boost::type_index打印出来看看。我在调试复杂模板代码时经常这么干。
6.3 decltype：精确的类型查询
decltype跟auto不一样。它不会剥掉引用和const，它会原封不动地返回表达式的类型。
int x = 0;
decltype(x) // int
decltype((x)) // int& (因为(x)是一个左值表达式)
const int& rx = x;
decltype(rx) // const int&
这里有个经典陷阱：decltype(x)和decltype((x))结果不同。加一层括号，就把变量名变成了左值表达式，推导结果就变成了引用。
我在项目中遇到过一个问题：用decltype(auto)写返回值时，不小心多写了一层括号，结果返回了一个悬空引用。嗯，调试了整整一个下午。
6.4 引用折叠：为什么T&&有时是左值引用？
引用折叠，说白了就是「引用的引用」怎么处理。C++不允许你直接写int& &，但模板推导时可能会产生这种情况。这时候编译器会应用折叠规则：
| 原始类型 | 折叠结果 |
|---|---|
| T& & | T& |
| T& && | T& |
| T&& & | T& |
| T&& && | T&& |
规则很简单：只要有一个左值引用，结果就是左值引用。只有两个都是右值引用，结果才是右值引用。
这个规则是万能引用的基础。你想想看：
template<typename T>
void forward(T&& param) {
// 如果传入左值，T被推导为int&
// 那么 param 的类型就是 int& &&，折叠为 int&
// 如果传入右值，T被推导为int
// 那么 param 的类型就是 int&&
}
这就是std::forward能工作的底层原理。我曾经在写一个通用工厂函数时，因为没搞懂引用折叠，传参总是丢失引用语义。后来画了个图才彻底想明白。
6.5 知识体系总览
下面这张图，把类型推导的核心逻辑串起来了：
6.6 实战中的避坑指南
讲完了理论，咱们聊聊实际开发中容易踩的坑。
我曾经在代码里写了auto x = getWidget();，结果getWidget()返回的是const Widget&。auto把const和引用都剥掉了，导致后面修改x时产生了不必要的拷贝。后来我改成const auto& x才解决。
前面提到过，decltype((x))和decltype(x)不一样。如果你在函数返回值里用decltype(auto)，一定要小心别多写括号。我见过一个同事因为这个bug，排查了整整两天。
T&&只有在T被推导时才是万能引用。如果你显式指定了T，比如std::vector<int>&&，那就是纯粹的右值引用。这个区别很重要，我在代码审查时经常看到有人搞混。
6.7 小结
类型推导是C++模板编程的基石。你搞懂了模板参数推导，auto和decltype就迎刃而解。引用折叠虽然看起来有点绕，但记住那个表格就够了。
我个人建议，在写模板代码时，多用static_assert和typeid来验证推导结果。别靠猜，让编译器告诉你答案。
公众号:蓝海资料掘金营，微信deep3321