C++11移动语义,完美转发

这部分真是相当难理解,我只是简单写写自己学到的东西

std::move

引用不管是引用左值还是引用右值,引用本身都始终是左值,而std::move可以强制把左值转换成右值引用。
简单来讲,std::move就完成了这样一个类型转换:static_cast<T&&> (left_value)

引用折叠

万能引用实现的原理机制就是引用折叠。
引用折叠分为四种情况:

  • 左值-左值:& &
  • 左值-右值:& &&
  • 右值-左值:&& &
  • 右值-右值:&& &&

折叠的规则也很简单:其中只要有一个左值就折叠成左值引用,两个都是右值就折叠成右值引用。
主要的问题是怎么才会出现这种两个引用在一起的情况呢?直接这样写是不合法的。
看看这个例子:

template<typename T>
void f (T&& param)
...
int x=1;
...
f(1);
f(x);

在这段代码中:
f(1);1是右值;T被推导成int&&;实例化后的f:void f(int&& &&param);引用折叠后:void f(int&& param)
f(x);x是左值;T被推导成int&;实例化后的f:void f(int& &&param);引用折叠后:void f(int& param)
引用折叠实现的过程大概就是这样。

移动语义

  • C++11之前,对象的复制过程一般使用copy构造函数,把整个对象从一片内存copy到另外一片内存中,如果产生了 该对象的一个临时对象,就会先创建原对象的一个副本,然后再删除临时对象,对于某些对象来说工作量非常大,做了很多无用功。

  • 而另外一种方法是不把对象copy到另外一个地方,就让它留在原来的地方,只是把该对象的所有权“移动”给新对象。这个方法就是移动语义。

  • 移动语义主要用于对象的移动构造函数和移动赋值运算符中。这两个函数都使用右值,如果要让它们使用左值,直接使用std::move转换即可。

完美转发

  • 万能引用绑定了一个右值后,引用本身却是左值,std::forward可以把它转换成右值,实现完美转发。

  • std::forward<T>(val),原理是在forward函数里面又实现了一次引用折叠

template<typename T>
T&& forward(T &param)
{
...
return static_cast<T&&>(param);
}

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容