1、左值右值都是引用
2、万能引用只是符合两条规则的右值引用:①首先它能识别出T应该是左值还是右值②它能够把识别出的T的左右值符号和已有的符号进行合成
3、forward接受的一直都是一个左值,不过它往往在模板中和万能引用搭配使用。万能引用在初始化时,会记录实参为左值还是右值,(万能指针也没什么特别的)
如果是右值,则模板参数T就识别为T,进一步的:
这是一个简化版本的forward
template<typename T>
T&& forward(typename remove_reference<T>::type¶m)
{
return static_cast<T&&>(param);
}
接着说,如果forward接受一个右值(Widget&&),则T为Widget,则实例化后的forward为:
Widget&& forward(Widget¶m)
{
return static_cast<Widget&&>(param);
}
但如果forward接受一个左值(Widget&),则T为Widget&,则实例化后的forward为:
Widget& forward(Widget¶m)
{
return static_cast<Widget&>(param);
}
也就是全程什么都不做。
上面的过程用到了折叠规则,很简单,就是如果两个引用撞到一起了,那么只要有一个为左引用,那么合成结果为左引用;否则为右引用