c++11-解析移动语义和完美转发

写这篇博客的起因是有学弟问我,使用swap需要使用move语义吗?会不会更加的高效,我会在这篇博客中记录一下我对于move 的理解

一.什么是移动语义和完美转发

移动语义让编译器使用移动操作来替代赋值操作,同时也让创建只移类型称为可能,这些类型包括std::unique_ptr和std::future 和std::thread成为可能

完美转发让人们可以接受任意实参的函数模板,目标函数会接受到完全相同的形参

那么这个如何实现?右值引用让他们可以实现

在这里首先要提出一点-所有的函数形参都是左值,就算它是一个右值引用,这个问题会在以后的博客里进行解答.

二.std::move和std::forward都做了什么

首先我在这里可以很负责任的告诉大家,std::move()和std::forward()什么都没有做,move并没有任何的移动措施,forward也不会进行任何的转发,这两个在运行程序的期间,什么事情都没有干,什么一行可执行代码都没有生成.很神奇吧?

  • std::move只是无条件的将实参转化为右值
  • 首先我们来看一看c++11中的std::move的范例实现
template<typename T>
  typename remove_reference<T>::type&&
  move(T&& param)
  { 
      using ReturnType = typename remove_reference<T>::type&&;
      return static_cast<ReturnType>(param);                                                         
  }

其中使用了remove_reference应用于T,保证返回的是一个右值,而右值在通常情况下是可以移动的,那我们拿string来举一个栗子
如果我们给一个函数传递进来是一个const string的左值,那么它经过move之后,变成了一个const string的右值,常量被保留下来了

但是当编译器决定调用哪个函数的时候,会面临这样的场景

class string{
public:
	---
	string(const string& rhs);
	string(string&& rhs);
	}

这段代码的结果是什么,没错,虽然你调用了移动语义,而且程序也完美的运行起来,一切都如想象中的那么美好,但是可悲的是并没有调用移动构造,而是复制构造为调用,因为有const 的右值引用通常会被绑定给有const 的左值引用

借此我们可以学到一些知识:

  • 如果想要调用移动语义,不要将声明为const 变量
  • 其次move仅仅只是让你确定结果会是一个右值,并不一定保证会以移动语义来进行构造

std::forward都做了什么?

和move类似,forward只会在特定条件下实施强制类型转换,最常见的就是,某个函数模板取用了万能引用类型为形参,随后传递给另外一个函数

  • forward只是将你传递进去的右值实参转化为右值,其余什么都不干而已
  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值