effective modern c++ 条款28理解

时间:2022-06-09 04:00:14

1、左值右值都是引用

2、万能引用只是符合两条规则的右值引用:①首先它能识别出T应该是左值还是右值②它能够把识别出的T的左右值符号和已有的符号进行合成

3、forward接受的一直都是一个左值,不过它往往在模板中和万能引用搭配使用。万能引用在初始化时,会记录实参为左值还是右值,(万能指针也没什么特别的)

如果是右值,则模板参数T就识别为T,进一步的:

这是一个简化版本的forward

template<typename T>

T&& forward(typename remove_reference<T>::type&param)

{
  return static_cast<T&&>(param);

}

接着说,如果forward接受一个右值(Widget&&),则T为Widget,则实例化后的forward为:

Widget&& forward(Widget&param)

{
  return static_cast<Widget&&>(param);

}

但如果forward接受一个左值(Widget&),则T为Widget&,则实例化后的forward为:

Widget& forward(Widget&param)

{
  return static_cast<Widget&>(param);

}

也就是全程什么都不做。

 

上面的过程用到了折叠规则,很简单,就是如果两个引用撞到一起了,那么只要有一个为左引用,那么合成结果为左引用;否则为右引用