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