左值右值引用和移动构造

左值与右值

对左值和右值的一个最常见的误解是：等号左边的就是左值，等号右边的就是右值。左值和右值都是针对表达式而言的，**左值是指表达式结束后依然存在的持久对象，右值是指表达式结束时就不再存在的临时对象。**一个区分左值与右值的便捷方法是：看能不能对表达式取地址，如果能，则为左值，否则为右值。下面给出一些例子来进行说明。

左值引用右值引用

C++ 11中用&表示左值引用，用&&表示右值引用（move函数可以把一个）

进行临时对象的拷贝时，可以不用拷贝实际的数据，而只是“窃取”指向实际数据的指针（类似于STL中的auto_ptr，会转移所有权）。C++ 11中引入的右值引用正好可用于标识一个非常量右值。

右值引用就是让返回的右值（临时对象）重获新生，延长生命周期。临时对象析构了，但是右值引用存活。


#include <iostream>

using namespace std;

class CMyString

{

public:

// 构造函数

CMyString(const char *pszSrc = NULL)

{

cout << "CMyString(const char *pszSrc = NULL)" << endl;

if (pszSrc == NULL)

{

m_pData = new char[1];

*m_pData = '\0';

}

else

{

m_pData = new char[strlen(pszSrc) + 1];

strcpy(m_pData, pszSrc);

}

}

// 拷贝构造函数

CMyString(const CMyString &s)

{

cout << "CMyString(const CMyString &s)" << endl;

m_pData = new char[strlen(s.m_pData) + 1];

strcpy(m_pData, s.m_pData);

}

// move构造函数    ----        实质上就是·窃取·临时对象，注意参数的形式

CMyString(CMyString &&s)

{

cout << "CMyString(CMyString &&s)" << endl;

m_pData = s.m_pData;

s.m_pData = NULL;

}

// 析构函数

~CMyString()

{

cout << "~CMyString()" << endl;

delete[] m_pData;

m_pData = NULL;

}

// 拷贝赋值函数

CMyString &operator =(const CMyString &s)

{

cout << "CMyString &operator =(const CMyString &s)" << endl;

if (this != &s)

{

delete[] m_pData;

m_pData = new char[strlen(s.m_pData) + 1];

strcpy(m_pData, s.m_pData);

}

return *this;

}

// move赋值函数

CMyString &operator =(CMyString &&s)

{

cout << "CMyString &operator =(CMyString &&s)" << endl;

if (this != &s)

{

delete[] m_pData;

m_pData = s.m_pData;

s.m_pData = NULL;

}

return *this;

}

char *m_pData;

};

int main() {

CMyString s("aaaa");

CMyString s1 = s;

CMyString ss("abc");

// move函数在std里，会把一个变量变成右值引用类型

// 从而告诉内存我是即将被丢弃得（右值），可以直接偷它的内存

// 给要获取他内容的人，从而减少拷贝，提高性能

CMyString s2 = move(s);    // 调用了move得拷贝构造

//cout << s.m_pData << endl;  // 打印不出来，s空了

CMyString s3(move(s));    // 调用了move得拷贝构造

//cout << s2.m_pData << endl;

//s = move(s2);                // 调用了移动赋值函数

// 非常量右值引用绑定到非常量右值引用

// 变量表达式是一个左值，即使这个变量是一个右值引用类型，s5也是将其看成是左值的。

CMyString &&s5 = move(s2); // 没有调用移动构造和拷贝构造，s2也不会消失，s5和s2指向同一个对象

//CMyString &&s6 = s5;            // 报错是：无法将右值引用绑定到左值，所以s5是个左值

cout << s5.m_pData << endl;

cout << s2.m_pData << endl;

s5 = ss;

cout << s5.m_pData << endl;

cout << s2.m_pData << endl;

}