知识回顾,详解引用
简单概括,引用就是给已存在对象取别名,引用变量与其引用实体共用同一块内存空间
左右值区分
注意:不一定=左边的都是左值,=右边的都是右值
=左边的也可能是右值,等号右边的也可能是左值
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;//b+1会调用编译器自己的operator+这个函数,然后返回结果会返回一个临时对象return 0;
}
C++11对右值进行了严格的区分:
1.C语言中的纯右值,比如:a+b, 100,a+b返回的是一个临时对象,不能对该对象取地址,所以为右值
2.将亡值。比如:表达式的中间结果、函数按照值的方式进行返回。
3.const修饰的常量,不可修改,只读类型的,理论应该按照右值对待,但因为其可以取地址(如果只是 const类型常量的定义,编译器不给其开辟空间,如果对该常量取地址时,编译器才为其开辟空间), C++11认为其是左值。
右值引用
int main()
{//reference引用ra=reference_aint a = 1;int& ra1 = a;//=不表达赋值,仅表示将a变量所代表的空间重新起了一个ra的别名//cout << &1 << endl;//错误--提示表达式必须为左值//cout << &a << endl;//正确--区分&1,a是将1的值赋值给a,a已经开辟了空间,a为左值//1为右值(纯右值),不能对1取地址,简单理解为。//int& ra2 = 1;//没有地址就没有可操作空间没有空间就不能对该空间起别名//右值引用--&&//由于右值都没有具体空间,根据引用特性,对同一块空间取别名//我们必须创造一个空间,并将右值传递到该空间,才能使用右值引用int&& r1 = 1;//1赋值给一个临时空间,r1实际是对该临时空间的引用r1 = 2;//有了空间后就能修改cout << r1 << endl;//int&& r2 = a;//报错--无法将右值引用绑定到左值(右值引用不能引用左值)return 0;
}
const引用
int main()
{int a = 1;//const左值引用const int& ra1 = a;//const右值引用const int&& ra2 = 1;return 0;
}
const可以对右值引用也可以对左值引用
右值引用作用
C++11中右值引用主要有以下作用:
1. 实现移动语义(移动构造与移动赋值)
移动构造:
string& operator=(string&& s)
{swap(s);//对象里的变量和s(临时对象)内容交换后,将老版本内容随着s的生命周期的消失而deletereturn *this//返回对象
}
移动赋值:
String(String&& s): _str(s._str)
{s._str = nullptr;
}
2. 给中间临时变量取别名(提高效率节省资源,对于开空间的自定义类)
左右值引用后修改值
int main()
{int a = 1;cout << "引用前a的值" << a << endl;//左值引用int& ra1 = a;ra1 = 2;cout << "引用修改后a的值" << ra1 << endl;//右值引用int&& ra2 = 1;cout << "引用前a的值" << ra2 << endl;ra2 = 3;cout << "引用修改后a的值" << ra2 << endl;//这里表明:右值(1)被右值引用(ra2)后的属性是左值ra2 = 3return 0;
}
为什么右值被右值引用后引用变量的属性是左值?
答:在被右值引用后会为右值创建一个临时变量≈创建了一个实际的存储空间。所以最后引用变量的属性是左值。
右值引用后引用变量的属性是左值
class String
{
public://有参构造String(const 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 copy(const String& s){_str = new char[strlen(s._str) + 1];strcpy(_str, s._str);cout << "传递来的str_left_value为左值" << endl;return *this;}void class_copy(String&& str_left_value)//str_left_value记为str1{copy(str_left_value);//str_left_value记为str2}//移动语义-移动构造String(String&& s): _str(s._str){s._str = nullptr;}~String(){if (_str) delete[] _str;}
private:char* _str;
};int main()
{String str;str.class_copy("abc");return 0;
}
图解:
因为此时还是对数组类型进行操作,不断的复制已有内容会造成资源的浪费,我们依旧还想用右值引用来减少浪费
class String
{
public://有参构造String(const 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);}//仅测试void copy(String& s){cout << "传递来的str_left_value为左值" << endl;}void copy(String&& s){cout << "传递来的str_left_value为右值" << endl;}//右值引用后继续使用右值void class_copy(String&& str_left_value){copy(move(str_left_value));}//移动语义-移动构造String(String&& s): _str(s._str){s._str = nullptr;}~String(){if (_str) delete[] _str;}
private:char* _str;
};int main()
{String str;str.class_copy("abc");return 0;
}
此时只要我们将右值引用后引用变量的属性是左值让其move后转变成右值就可以继续使用右值引用
注意:为了避免const修饰右值引用导致资源无法转移,在以后使用右值引用转移资源时应避免或禁止使用const