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

左手的ㄟ右手 2023-06-26 08:12 45阅读 0赞

写这篇博客的起因是有学弟问我,使用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只是将你传递进去的右值实参转化为右值，其余什么都不干而已