Effective Modern C++（中文版）

右值引用

、

移动语义和完美转发

｜

161

要点速记

•

如果函数模板形参具备

T&&

型别，并且

T

的型别系推导而来，或如果对象

使用

auto&&

声明其型别，则该形参或对象就是个万能引用。

•

如果型别声明并不精确地具备

type&&

的形式，或者型别推导并未发生，则

type&&

就代表右值引用。

•

若采用右值来初始化万能引用，就会得到一个右值引用。若采用左值来初

始化万能引用，就会得到一个左值引用。

条款

25

：针对右值引用实施

std::move

，针对万

能引用实施

std::forward

右值引用仅会绑定到那些可供移动的对象上。如果形参型别为右值引用，则应该清楚

地了解，它绑定的对象可供移动：

class Widget {

Widget(

Widget&&

rhs);

// rhs

确定无疑地会绑定到

…

//

可以合于移动目的的对象

};

既然如此，你可能会希望把这些对象传递给其他函数时，使用一种允许该函数利用该

对象的右值性的方式。手法就是，把绑定到了这些对象的形参转换为右值。正如条款

23

介绍的那样，这不仅仅是

std::move

能胜任的工作，这更是它被发明出来的动机：

class Widget {

public:

Widget(Widget&& rhs)

// rhs

是个右值引用

: name(

std::move(rhs.name)

),

p(

std::move(rhs.p)

)

{

…

}

…

private:

std::string name;

std::shared_ptr<SomeDataStructure> ...