完美转发中的引用折叠规则

先来看一段代码

#include <utility>

template <typename T>
void wrapper(T&& arg) {
    // 在这里使用 std::forward 来实现完美转发
    underlying_function(std::forward<T>(arg));
}

void underlying_function(int& i) {
    // 处理左值引用
}

void underlying_function(int&& i) {
    // 处理右值引用
}

int main() {
    int value = 42;
    wrapper(value);   // 传递左值
    wrapper(123);     // 传递右值
    return 0;
}

在主函数中，int value 为一个左值(左值代表了类似可以取地址的变量)；123：代表了右值。wraper函数的参数为T&&，为一个固定格式。当调用wrapper函数时，模板T会自动推导类型，在其内部调用underlying_function函数，通过调用传参类型不同，分别处理左值和右值。

一个疑惑：

当
wrapper(value); // 传递左值
wrapper(123); // 传递右值
时，T分别是什么类型？？？

解答：

当传递int value时，由于是左值，所以T为int&，为一个左值引用。当传递123时，由于为右值，所以T为int&&类型。这是根据传参的类型模板自动推断的。

一个问题：

既然，在传递左值时，T为int &，那么void wrapper(T&& arg)中arg的类型难道是：int & &&吗？？？
传递右值时，T为int&&，那么void wrapper(T&& arg)中arg的类型难道是：int&& &&吗？？？

如果是，这又是什么类型，如果不是，那arg是什么类型？？？

解答：

答案时显而易见的---------是

当我们分别传递左值和右值时，arg的类型分别是：int& &&以及int && &&。但这又是什么？？

引用折叠规则：

如果 T 被推导为 int&，那么 T&& 实际上将变成 int& &&，这在 C++ 中引起了引用折叠。引用折叠规则会将这个表达式折叠为 int&。这是因为在模板类型推导过程中，引用折叠确保最终的引用类型不会包含多个引用修饰符。

因此，即使 T 被推导为左值引用 int&，T&& 最终被折叠为 int&，而不是 int&&。

这就是为什么在完美转发中，T&& 仍然可以用来正确处理左值引用的原因，而不会导致多层引用。

引用折叠规则如下：

当左值引用和左值引用相遇时，结果是一个左值引用。

例如：T& & 被折叠为 T&。

当右值引用和右值引用相遇时，结果是一个右值引用。

例如：T&& && 被折叠为 T&&。

当左值引用和右值引用相遇时，结果是一个左值引用。

例如：T& && 被折叠为 T&。

引用折叠的主要应用场景是在模板类型推导和完美转发中。例如，当使用 std::forward 进行完美转发时，引用折叠确保正确地保留传递参数的引用性质，无论是左值还是右值。