详解—C++右值引用

大家好，欢迎来到IT知识分享网。

目录

一、右值引用概念

二、 左值与右值

三、引用与右值引用比较

四、值的形式返回对象的缺陷

五、移动语义

六、右值引用引用左值

七、完美转发

八、右值引用作用

一、右值引用概念

C++98中提出了引用的概念，引用即别名，引用变量与其引用实体公共同一块内存空间，而引用的底层是通过指针来实现的，因此使用引用，可以提高程序的可读性。

void Swap(int& left, int& right) { int temp = left; left = right; right = temp; } int main() { int a = 10; int b = 20; Swap(a, b); }

为了提高程序运行效率，C++11中引入了右值引用，右值引用也是别名，但其只能对右值引用。
 

int Add(int a, int b) { return a + b; } int main() { const int&& ra = 10; // 引用函数返回值，返回值是一个临时变量，为右值 int&& rRet = Add(10, 20); return 0; }

二、 左值与右值

左值与右值是C语言中的概念，但C标准并没有给出严格的区分方式，一般认为：可以放在=左边的，或者能够取地址的称为左值，只能放在=右边的，或者不能取地址的称为右值，但是也不一定完全正确。

 int g_a = 10; // 函数的返回值结果为引用 int& GetG_A() { return g_a; } int main() { int a = 10; int b = 20; // a和b都是左值，b既可以在=的左侧，也可在右侧， // 说明：左值既可放在=的左侧，也可放在=的右侧 a = b; b = a; const int c = 30; // 编译失败，c为const常量，只读不允许被修改 //c = a; // 因为可以对c取地址，因此c严格来说不算是左值 cout << &c << endl; // 编译失败：因为b+1的结果是一个临时变量，没有具体名称，也不能取地址，因此为右值 //b + 1 = 20; GetG_A() = 100; return 0; }

因此关于左值与右值的区分不是很好区分，一般认为：

总结：

C++11对右值进行了严格的区分：

三、引用与右值引用比较

在C++98中的普通引用与const引用在引用实体上的区别：

int main() { // 普通类型引用只能引用左值，不能引用右值 int a = 10; int& ra1 = a; // ra为a的别名 //int& ra2 = 10; // 编译失败，因为10是右值 const int& ra3 = 10; const int& ra4 = a; return 0; }

注意： 普通引用只能引用左值，不能引用右值，const引用既可引用左值，也可引用右值。
C++11中右值引用：只能引用右值，一般情况不能直接引用左值。

int main() { // 10纯右值，本来只是一个符号，没有具体的空间， // 右值引用变量r1在定义过程中，编译器产生了一个临时变量，r1实际引用的是临时变量 int&& r1 = 10; r1 = 100; int a = 10; int&& r2 = a; // 编译失败：右值引用不能引用左值 return 0; }

四、值的形式返回对象的缺陷

class String { public: String(char* str = "") { if (nullptr == str) str = ""; _str = new char[strlen(str) + 1]; strcpy(_str, str); } String(const String& s) : _str(new char[strlen(s._str) + 1]) { strcpy(_str, s._str); } String& operator=(const String& s) { if (this != &s) { char* pTemp = new char[strlen(s._str) + 1]; strcpy(pTemp, s._str); delete[] _str; _str = pTemp; } return *this; } String operator+(const String& s) { char* pTemp = new char[strlen(_str) + strlen(s._str) + 1]; strcpy(pTemp, _str); strcpy(pTemp + strlen(_str), s._str); String strRet(pTemp); return strRet; } ~String() { if (_str) delete[] _str; } private: char* _str; }; int main() { String s1("hello"); String s2("world"); String s3(s1 + s2); return 0; }

上述代码看起来没有什么问题，但是有一个不太尽人意的地方：

在operator+中：strRet在按照值返回时，必须创建一个临时对象，临时对象创建好之后，strRet就被销毁了，最后使用返回的临时对象构造s3，s3构造好之后，临时对象就被销毁了。仔细观察会发现：strRet、临时对象、s3每个对象创建后，都有自己独立的空间，而空间中存放内容也都相同，相当于创建了三个内容完
全相同的对象，对于空间是一种浪费，程序的效率也会降低，而且临时对象确实作用不是很大
，那能否对该种情况进行优化呢？

五、移动语义

C++11提出了移动语义概念，即：将一个对象中资源移动到另一个对象中的方式，可以有效缓解该问题。

在C++11中如果需要实现移动语义，必须使用右值引用。上述String类增加移动构造：

String(String&& s) : _str(s._str) { s._str = nullptr; }

因为strRet对象的生命周期在创建好临时对象后就结束了，即将亡值，C++11认为其为右值，在用strRet构造临时对象时，就会采用移动构造，即将strRet中资源转移到临时对象中。而临时对象也是右值，因此在用临时对象构造s3时，也采用移动构造，将临时对象中资源转移到s3中，整个过程，只需要创建一块堆内存即可，既省了空间，又大大提高程序运行的效率。

注意：

六、右值引用引用左值

按照语法，右值引用只能引用右值，但右值引用一定不能引用左值吗？因为：有些场景下，可能真的需要用右值去引用左值实现移动语义。当需要用右值引用引用一个左值时，可以通过move函数将左值转化为右值。C++11中，std::move()函数位于 头文件中，该函数名字具有迷惑性，它并不搬移任何东西，唯一的功能就是将一个左值强制转化为右值引用，然后实现移动语义。

template<class _Ty> inline typename remove_reference<_Ty>::type&& move(_Ty&& _Arg) _NOEXCEPT { // forward _Arg as movable return ((typename remove_reference<_Ty>::type&&)_Arg); }

注意：

int main() { String s1("hello world"); String s2(move(s1)); String s3(s2); return 0; }

注意：以上代码是move函数的经典的误用，因为move将s1转化为右值后，在实现s2的拷贝时就会使用移动构造，此时s1的资源就被转移到s2中，s1就成为了无效的字符串。

class Person { public: Person(char* name, char* sex, int age) : _name(name) , _sex(sex) , _age(age) {} Person(const Person& p) : _name(p._name) , _sex(p._sex) , _age(p._age) {} #if 0 Person(Person&& p) : _name(p._name) , _sex(p._sex) , _age(p._age) {} #else Person(Person&& p) : _name(move(p._name)) , _sex(move(p._sex)) , _age(p._age) {} #endif private: String _name; String _sex; int _age; }; Person GetTempPerson() { Person p("prety", "male", 18); return p; } int main() { Person p(GetTempPerson()); return 0; } 

七、完美转发

完美转发是指在函数模板中，完全依照模板的参数的类型，将参数传递给函数模板中调用的另外一个函数。

void Func(int x) { // ...... } template<typename T> void PerfectForward(T t) { Fun(t); }

PerfectForward为转发的模板函数，Func为实际目标函数，但是上述转发还不算完美，完美转发是目标函数总希望将参数按照传递给转发函数的实际类型转给目标函数，而不产生额外的开销，就好像转发者不存在一样。

所谓完美：函数模板在向其他函数传递自身形参时，如果相应实参是左值，它就应该被转发为左值；如果相应实参是右值，它就应该被转发为右值。这样做是为了保留在其他函数针对转发而来的参数的左右值属性进行不同处理（比如参数为左值时实施拷贝语义；参数为右值时实施移动语义）。

C++11通过forward函数来实现完美转发, 比如：

void Fun(int& x) { cout << "lvalue ref" << endl; } void Fun(int&& x) { cout << "rvalue ref" << endl; } void Fun(const int& x) { cout << "const lvalue ref" << endl; } void Fun(const int&& x) { cout << "const rvalue ref" << endl; } template<typename T> void PerfectForward(T&& t) { Fun(std::forward<T>(t)); } int main() { PerfectForward(10); // rvalue ref int a; PerfectForward(a); // lvalue ref PerfectForward(std::move(a)); // rvalue ref const int b = 8; PerfectForward(b); // const lvalue ref PerfectForward(std::move(b)); // const rvalue ref return 0; }

八、右值引用作用

C++11中右值引用主要有以下作用：

int main() { string s1("hello"); string s2(" world"); string s3 = s1 + s2; // s3是用s1和s2拼接完成之后的结果拷贝构造的新对象 stirng&& s4 = s1 + s2; // s4就是s1和s2拼接完成之后结果的别名 return 0; }

3. 实现完美转发