引用折叠和完美转发

如下来分析使用右值引用 + 新增的引用折叠推导规则，如何来达成完美转发

进行转发的函数模板定义如下

其中 WrapFunc 函数模板将参数转发给 InnerFunc 函数

template<class A>

void WrapFunc(A &&a)

{

InnerFunc(static_cast<A &&>(a));

}

先给出转发结果，后面分析原因

转发结果

non-const左值
---> non-const左值

const左值
--->
const左值

non-const右值
---> non-const右值

const右值
---> const右值

疑问点1：函数模板的函数形参为右值引用形式，他能正确的转发左值吗？

函数模板的函数形参为右值引用形式，并不是说该函数模板实例的函数形参为右值引用

我们使用的是函数模板实例化后的模板函数，而不是该函数模板

因此，要看进行了进行实参推演后得到的函数模板实例的函数形参类型，才能决定他能接受什么值类型的参数

引用折叠

由疑问点1，我们知道，要判断该函数模板是否能完美转，要看在使用该函数模板进行实参推演时

推演得到的模板函数的函数形参是什么。因此是否能正确的推演出合理的类型，是该函数模板是否

能完美转发的关键，而引用折叠正是C++11新增的，在进行实参推演时使用的一个规则

设 T 为模板形参，A 为一个已经定义的类型

如下分析引用折叠的规则

若函数模板的函数形参为 T&

若 T 被推演成 A，函数形参 A& 无需引用折叠，得到目标类型为 A&

若 T 被推演成 A&，函数形参 A& & 进行引用折叠后，得到目标类型为 A&

若 T 被推演成 A&&，函数形参 A&& &进行引用折叠后，得到目标类型为 A&

若函数模板的函数形参为 T&&

若 T 被推演成 A，函数形参 A&& 无需引用折叠，得到目标类型为 A&&

若 T 被推演成 A&，函数形参 A& && 进行引用折叠后，得到目标类型为 A&

若 T 被推演成 A&&，函数形参 A&& && 进行引用折叠后，得到目标类型为 A&&

完美转发的原因分析

若实参为 A类型的 non-const左值

匹配类型：A&

根据实参推演规则，函数模板的函数形参为 非 cv 限定的右值引用形式，且实参为左值

则匹配类型为实参类型的引用类型，因此匹配类型为 A&

参数化类型：T

根据实参推演规则，函数模板的函数形参为引用形式，则参数化类型为 T

目标类型：A&

实参推演后，T 被推演成 A&

目标类型为 A& &&，进行引用折叠后为 A&

转发效果

转发给 InnerFunc 的是 形参 A &a，还是 non-const 左值

若实参为 A类型的 const左值

匹配类型：const A&

根据实参推演规则，函数模板的函数形参为 非 cv 限定的右值引用形式，且实参为左值

则匹配类型为实参类型的引用类型 且 保留 cv 限定符，因此匹配类型为 const A&

参数化类型：T

根据实参推演规则，函数模板的函数形参为引用形式，则参数化类型为 T

目标类型：const A&

实参推演后，T 被推演成 const A&

目标类型为 const A& &&，进行引用折叠后为 const A&

转发效果

转发给 InnerFunc 的是 形参 const A&，还是 const 左值

若实参为 A类型的 non-const 右值

匹配类型：A

虽然函数形参为右值引用，但实参为右值，因此匹配类型就是该实参的类型，即为 A

参数化类型：T

根据实参推演规则，函数模板的函数形参为引用形式，则参数化类型为 T

目标类型：A&&

实参推演时，由于实参为 A类型的右值，被推演成 A&&

目标类型为 A&& &&，进行引用折叠后为 A&&

转发效果

具名的右值引用形参 A &&a 为左值，但经过 static_cast<A &&> 转换后变成了右值

因此转发给 InnerFunc 的，还是 non-const 右值

若实参为 A类型的 const 右值

匹配类型：const A

函数形参为引用形式，因此匹配类型为保留 cv 限定符

虽然函数形参为右值引用，但实参为右值，因此匹配类型就是该实参的类型，即为 const A

参数化类型：T

根据实参推演规则，函数模板的函数形参为引用形式，则参数化类型为 T

目标类型：const A&&

实参推演时，由于实参为 const A类型的右值，被推演成 const A&&

目标类型为 const A&& &&，进行引用折叠后为 const A&&

转发效果

具名的右值引用形参 const A&&a 为const左值，但经过 static_cast<const A&&> 转换后变成了const右值

因此转发给 InnerFunc 的，还是 const 右值