一文讲透c++中std::move

C++11中的std::move函数

C++11引入了右值引用和移动语义，为了提高性能和避免不必要的拷贝。右值引用是一种特殊的引用，它可以绑定到一个临时对象或者将要销毁的对象，从而可以将其资源转移给另一个对象。移动语义是一种利用右值引用实现的编程技巧，它可以让一个对象从另一个对象“窃取”资源，而不是进行深拷贝。

为了支持移动语义，C++11提供了一个名为std::move的函数模板，它可以将一个左值转换为一个右值引用，从而可以触发移动构造函数或者移动赋值运算符。std::move并不会真正地移动任何东西，它只是返回一个右值引用，告诉编译器这个对象可以被移动。

std::move的使用场景

我们来看一些使用std::move的例子：

1. 在返回局部对象时使用std::move

当我们在函数中返回一个局部对象时，通常会发生返回值优化（RVO），即编译器会直接在调用处构造这个对象，而不会产生拷贝或者移动。但是如果我们在返回时加上了条件判断或者其他逻辑，可能会导致RVO失效。例如：

```cpp
class Foo {
public:
  Foo() { std::cout << "Foo()\n"; }
  Foo(const Foo&) { std::cout << "Foo(const Foo&)\n"; }
  Foo(Foo&&) { std::cout << "Foo(Foo&&)\n"; }
};

Foo f() {
  Foo x;
  if (some_condition) {
    return x; // RVO may be applied
  } else {
    return Foo(); // RVO will be applied
  }
}

int main() {
  Foo y = f(); // may call copy constructor or move constructor
}

在这个例子中，如果some_condition为真，则返回x时可能会调用拷贝构造函数或者移动构造函数（取决于编译器是否进行了RVO）。如果some_condition为假，则返回Foo()时一定会进行RVO。为了保证无论如何都不会产生额外的拷贝或者移动，我们可以在返回x时使用std::move：

Foo f(){
  Foo x;
  if (some_condition) {
    return std::move(x); // force move constructor
  } else {
    returnFoo(); // RVO will be applied
  }
}

这样就可以确保总是调用移动构造函数来初始化y。

需要注意的是，在返回局部对象时，并不总是需要使用std::move。事实上，在大多数情况下，直接返回局部对象就可以触发RVO或者NRVO（命名返回值优化），而使用std::move反而可能会阻止优化发生。因此，在返回局部对象时，只有当我们确定RVO或者NRVO无法进行时，才应该考虑使用std::move。

2. 在向容器中插入元素时使用std::move

当我们向容器中插入元素时，默认情况下会调用元素类型的拷贝构造函数来创建副本。但是如果我们知道这个元素在插入后就不再需要了，那么我们就可以使用std::move来避免拷贝，提高效率。例如：

#include<vector>
#include<string>
int main(){
  std::vector<std::string> v;
  
  std::string s1 = "hello";
 v.push_back(s1); // call copy constructor of std::string
  std::cout << s1 << "\n"; // s1 is still valid
  
  std::string s2 = "world";
  v.push_back(std::move(s2)); // call move constructor of std::string
  std::cout << s2 << "\n"; // s2 is empty
}

在这个例子中，我们向一个字符串向量中插入两个字符串。第一个字符串s1是用拷贝构造函数插入的，所以s1本身不会受到影响。第二个字符串s2是用std::move转换为右值引用后插入的，所以s2本身会被移动，变成空字符串。

使用std::move可以节省内存和时间，但是也要注意不要再使用已经被移动的对象，除非它们已经被重新赋值或者重置。

3. 在交换两个对象时使用std::move

当我们需要交换两个对象的内容时，通常会使用一个临时变量来保存其中一个对象的副本，然后将另一个对象赋值给它，再将副本赋值回去。例如：

voidswap(Foo& x, Foo& y){
  Foo tmp = x; // call copy constructor
  x = y; // call copy assignment operator
  y = tmp; // call copy assignment operator
}

这种方法需要调用三次拷贝构造函数或者拷贝赋值运算符，可能会很耗费资源。如果我们使用std::move来转换左值为右值引用，就可以调用移动构造函数或者移动赋值运算符来代替拷贝操作。例如：

voidswap(Foo& x, Foo& y){
  Foo tmp = std::move(x); // call move constructor
  x = std::move(y); // call move assignment operator
  y = std::move(tmp); // call move assignment operator
}

这种方法只需要调用三次移动构造函数或者移动赋值运算符，通常会比拷贝操作更高效。

当然，在实际编程中，我们可以直接使用标准库提供的std::swap函数来交换两个对象，它会根据对象类型自动选择合适的方式进行交换。

总结

std::move是C++11提供的一个函数模板，它可以将一个左值转换为一个右值引用，从而可以触发移动语义。使用std::move可以提高性能和避免不必要的拷贝。但是也要注意不要滥用std::move，因为它可能会导致一些问题：

• 使用std::move后的对象可能会处于一种未定义或者无效的状态，不能再进行正常的操作。

• 使用std::move可能会阻止编译器进行一些优化，比如返回值优化。

• 使用std::move可能会破坏类的封装性和异常安全性。

因此，在使用std::move时要谨慎，并且遵循一些原则：

• 只有当我们确定一个对象不再需要时才使用std::move。

• 只有当我们确定RVO或者NRVO无法进行时才在返回局部对象时使用std::move