关于右值引用:
(1)右值引用通过&&来获得右值引用,一个重要的性质:只能绑定到一个将要被销毁的对象上,因此我们可以自由的将一个右值引用的资源“移动”到另一个对象中。
(2)不能将一个右值引用直接绑定到一个左值上。
(3)左值持久,右值短暂:
考察左值和右值表达式列表,两者区别就很明显了:左值有持久的状态,而右值要么是字面常量,要么是在表达式求值过程中创建的临时对象。
由于右值只能绑定到临时对象,我们得知:
这两个性质意味着,使用右值引用的代码可以自由的接管所引用对象的资源
- 所引用的对象将要被销毁
- 该对象没有其他用户
(4)对象移动
(5)虽然不能将一个右值引用直接绑定到一个左值上,但是我们可以显示的将一个左值转换为对应的右值引用类型。名为move的标准库函数来获得绑定到左值上引用。如新标准一个重要的特性就是可以移动而非拷贝对象的能力。在其中某些情况下,对象拷贝后就立即被销毁了,在这些情况下,移动而非拷贝对象会大幅度提升性能。比如说常用的序列式容器vector数组,是一种典型的不必要拷贝的例子。在重新分配内存的过程中,从旧内存将元素拷贝到新内存是不必要的。更好的方式是移动元素。使用移动而不是拷贝的另一个原因源于IO类或unique_ptr这样的类。这些类都包含不能被共享的资源(如指针或IO缓冲),因此这些类的对象不能拷贝但可以移动。如果对象比较大,进行拷贝的代价比较大。注:标准库容器、string和shared_ptr类既支持移动也支持拷贝。IO类和unique_ptr类可以移动但不能拷贝。
int &&rr3 = std::move(rr1); //ok
这样的话,就等于告诉编译器,我们有一个左值,但我们希望像一个右值一样处理它。我们必须认识到,调用move就意味着除了对rr1赋值或销毁意外,将不能再使用它。调用move之后,不能对移动后源对象做任何假设。
(6)当用于一个指向模板实参类型的右值引用函数参数(T&&)时,std::forward会保持实参类型的所有细节
关于移动构造函数:
(1)对象移动
新标准一个重要的特性就是可以移动而非拷贝对象的能力。在其中某些情况下,对象拷贝后就立即被销毁了,在这些情况下,移动而非拷贝对象会大幅度提升性能。
比如说常用的序列式容器vector数组,是一种典型的不必要拷贝的例子。在重新分配内存的过程中,从旧内存将元素拷贝到新内存是不必要的。更好的方式是移动元素。使用移动而不是拷贝的另一个原因源于IO类或unique_ptr这样的类。这些类都包含不能被共享的资源(如指针或IO缓冲),因此这些类的对象不能拷贝但可以移动。如果对象比较大,进行拷贝的代价比较大。
注:标准库容器、string和shared_ptr类既支持移动也支持拷贝。IO类和unique_ptr类可以移动但不能拷贝。
int &&rr3 = std::move(rr1); //ok
这样的话,就等于告诉编译器,我们有一个左值,但我们希望像一个右值一样处理它。我们必须认识到,调用move就意味着除了对rr1赋值或销毁意外,将不能再使用它。调用move之后,不能对移动后源对象做任何假设。
(3)除了完成资源移动,移动构造函数(移动赋值运算符)还必须确保移后源对象应该处于可析构状态,因为一旦资源完成移动,源对象将不再指向被移动的资源,这些资源的归属权已经属于新创建的对象。由于移动操作是“窃取”资源,它通常不分配任何资源,因此移动操作不会抛出异常。当编写一个不抛出异常的移动操作时,我们应该将此事通知给标准库,除非标准库知道我们的移动操作不抛出任何异常,否则她会认为移动我们的源对象时可能会抛出异常,并且会为了处理这种异常而坐一些额外性的工作。
(4)只有当类没有定义任何自己版本的拷贝控制成员且它的所有非static数据成员都能移动构造和移动赋值的时候编译器才为其合成移动构造函数或移动赋值运算符。
std::move工作原理:
(1)用std::move可以获得一个绑定到左值上的右值引用。由于move本质上可以接受任何类型的实参,因此他是一个模板。
(2)标准库是这样定义std::move的:
//remove_reference是为了萃取类型的类型转化模板template <typename T>tylename remove_reference<T>::type && move(T&& t) {
return std::static_cast<typename remove_reference<T>::type&&>(t);
}通过引用折叠,此参数可以与任何类型的实参匹配,既可以传递给move一个左值引用也可以传右值引用,如:string s1("hi"), s2;s2 = std::move(string("bye1!"));//正确,从一个右值移动数据s2 = std::move(s1);//正确,但赋值之后,s1的值是不确定的。
1)针对std::move(string("bye1!")); 传入的已经是右值引用
因此等价于:
- 函数模板推断出T的类型为string
- 因此,remove_reference用string进行实例化
- remove_reference<string>的 type成员是string
- move的返回类型是string&&move的函数参数t的类型是string&&
函数体返回static_cast<string&&>(t),由于t的类型已经是右值引用,因此无需进行任何转化。string&& move(string&& t);
2)针对std::move(s1); 传入的就是一个左值
因此等价于:
- 函数模板推断出T的类型是string&(因为string& &&才能折叠为string&)
- 因此,remove_reference用string&进行实例化
- remove_reference<string>的 type成员是string
- move的返回类型是string&&
- move的函数参数t的类型是string& &&,会折叠为string&
string&& move(string& t);
函数体返回static_cast<string&&>(t),这里t的类型是string&,通过static_cast将其转化为string&&