12. 模板参数推导中，T&&何时是左值引用，何时是右值引用？

这个问题，说白了就是C++11引入右值引用后，模板推导里最让人头疼的一个点。我记得刚接触那会儿，看到T&&就以为是右值引用，结果写出来的代码各种编译不过。后来才明白，模板里的T&&和普通函数里的T&&，根本是两码事。

核心规则：引用折叠

模板参数推导中，T&&的行为由引用折叠规则决定。这个规则其实很简单，就四条：

• T& & 折叠为 T&
• T& && 折叠为 T&
• T&& & 折叠为 T&
• T&& && 折叠为 T&&

你想想看，只要有一个左值引用，结果就是左值引用。只有两个都是右值引用，结果才是右值引用。这个规律我到现在都记得很牢。

推导过程详解

来看一个具体的模板函数：

template<typename T>
void func(T&& param);

当调用func(x)时，如果x是左值，T会被推导为T&。然后T& &&折叠为T&，所以param是左值引用。

当调用func(std::move(x))时，如果x是右值，T会被推导为T（非引用）。然后T&&就是右值引用，param是右值引用。

我在项目中遇到过这样一个场景：写一个通用的包装函数，想同时支持左值和右值参数。一开始我用了两个重载版本，代码冗余不说，维护起来也麻烦。后来改用T&&，配合std::forward，一行代码搞定。

表格总结：T&&的推导结果

实参类型	T推导结果	param类型	引用类别
左值（int&）	int&	int& && → int&	左值引用
左值（const int&）	const int&	const int& && → const int&	左值引用
右值（int&&）	int	int&&	右值引用
右值（const int&&）	const int	const int&&	右值引用

特殊情况：auto&&

同样的规则也适用于auto&&。比如：

int x = 42;
auto&& a = x;        // a是int&
auto&& b = std::move(x); // b是int&&

这个特性在范围for循环里特别有用：

std::vector<std::string> vec;
for (auto&& elem : vec) {
    // elem可以绑定到左值或右值
}

嗯，这里要注意：auto&&不是万能引用，它只是推导规则和T&&一样。我个人习惯在泛型代码里用T&&，在非泛型代码里用auto&&。

避坑指南：const的影响

我曾经踩过一个坑：给模板参数加了const，结果T&&的行为变了。

template<typename T>
void func(const T&& param); // 注意：这里加了const

这种情况下，param永远是const右值引用，不会发生引用折叠。因为const T&&不是万能引用，它就是一个普通的右值引用。所以这个函数只能接受右值参数，左值传不进来。

实际应用：完美转发的基石

理解了T&&的推导规则，完美转发就水到渠成了。std::forward的实现原理就是利用引用折叠：

template<typename T>
T&& forward(typename std::remove_reference<T>::type& param) {
    return static_cast<T&&>(param);
}

当T是左值引用时，返回左值引用；当T是非引用时，返回右值引用。这个设计非常巧妙，我每次看到这段代码都觉得C++模板元编程真是门艺术。

知识体系图

这张图把整个推导流程串起来了。从左到右看，实参类型决定T的推导结果，然后引用折叠决定最终类型。我建议你把这个图记在脑子里，写模板代码时随时对照。

说实话，这个规则刚接触时确实绕。但一旦理解了引用折叠的本质，T&&的行为就变得非常清晰。我个人习惯在写模板时，先想清楚实参是左值还是右值，然后套用引用折叠规则，基本不会出错。