新标准的一个最主要的特性是可以移动而非拷贝对象的能力。在很多情况下都会发生对象拷贝。在其中某些情况下,对象拷贝后就立即被销毁了。在这些情况下,移动而非拷贝对象会大幅度提升性能。
在重新分配内存的过程中,从旧内存将元素拷贝到新内存是不必要的,更好的方式是移动元素。使用移动而不是拷贝的另一个原因源于IO类或unique_ptr这样的类。这些类都包含不能被共享的资源(如指针或IO缓冲)。因此,这些类型的对象不能拷贝但可以移动。
在旧C++标准中,没有直接的方法移动对象。因此,即使不必拷贝对象的情况下,我们也不得不拷贝。如果对象较大,或者是对象本身要求分配内存空间(如string),进行不必要的拷贝代价非常高。类似的,在旧版本的标准库中,容器中保存的类必须是可拷贝的。但是在新标准中,我们可以用容器保存不可拷贝的类型,只要它们能被移动即可。
标准库容器、string和shared_ptr类既支持移动也支持拷贝。IO类和unique_ptr类可以移动但不能拷贝。
右值引用
所设右值引用就是必须绑定到右值的引用。右值引用有一个重要的性质——只能绑定到一个将要销毁的对象。
一般而言,一个左值表达式表示的是一个对象的身份,而一个右值表达式表示的是对象的值。
左值引用不能将其绑定到要求转换的表达式、字面常量或是返回右值的表达式。右值引用有着完全相反的绑定特性:可以将一个右值引用绑定到这类表达式上,但不能将一个右值引用直接绑定到一个左值上:
int i = 42;
int& r = i; // 正确
int&& rr = i; // 错误:不能将一个右值引用绑定到一个左值上
int& r2 = i*42; // 错误:i*42是一个右值
const int& r3 = i*42; // 正确:可以将一个const的引用绑定到一个右值上
int&& rr2 = i*42; // 正确:将rr2绑定到乘法结果上
左值有持久的状态,而右值要么是字面常量,要么是在表达式求值过程中创建的临时对象。右值只能绑定到临时对象。
变量是左值
变量是左值,因此我们不能将一个右值引用直接绑定到一个变量上,即使这个变量是右值引用类型也不行。
虽然不能将一个右值引用直接绑定到一个左值上,但我们可以显式地将一个左值转换为对应的右值引用类型。还可以通过调用一个名为move的新标准库函数来获得绑定到左值上的右值引用。
int&& rr3 = std::move(rr); // ok
使用std::move而不是move,可以避免潜在的名字冲突。