左值引用和右值引用 左值与右值: 左值:在内存中占有确定位置的对象,即左值占有内存。换句话来说,就是有地址,有值。 右值:不占内存(科学地讲是临时寄存器),仅有值,为
左值引用和右值引用
左值与右值:
左值:在内存中占有确定位置的对象,即左值占有内存。换句话来说,就是有地址,有值。
右值:不占内存(科学地讲是临时寄存器),仅有值,为临时变量。
左右值的切换:
右值->左值:用*符号。
int a=10;int* b=&a;// b为右值。
*b=20;// b为右值,*b为左值。
左值->右值:用&符号。
int a = 10;&a = 40; //错误:赋值操作要求一个左值
int* b = &(a + 1); //错误:‘&’运算符要求一个左值,a为左值,但a+1为右值。
int* c = &a; //正确:var是左值
左值引用:将左值绑定在引用上。
第一种情况,函数返回右值。
int global = 10;int test()
{
return global;// 返回右值
}
int main()
{
test() = 20;// error,右值不可赋值!
cout << "test为:"<<test();
return 0;
}
第二种情况,函数返回左值。
int global = 10;int& test()
{
return global;// 返回左值
}
int main()
{
test() = 20;// 左值可赋值
cout << "test为:"<<test();
return 0;
}
测试:
说明了左值引用让函数调用可以赋值成为可能。
常量左值引用和非常量左值引用:
int a1=20; //非常量左值const int a2=20; //常量左值
const int a3=20; //常量左值
//非常量左值引用
int &b1=a1; //正确,a1是一个非常量左值,可以被非常量左值引用绑定
int &b2=a2; //错误,a2是一个常量左值,不可以被非常量左值引用绑定
int &b3=20; //错误,10是一个非常量右值,不可以被非常量左值引用绑定
int &b4=a2+a3; //错误,(a2+a3)是一个常量右值,不可以被非常量左值引用绑定
//常量左值引用
const int &c1=a1; //正确,a1是一个非常量左值,可以被非常量右值引用绑定
const int &c2=a2; //正确,a2是一个常量左值,可以被非常量右值引用绑定
const int &c3=a1+a2; //正确,(a1+a2)是一个非常量右值,可以被常量右值引用绑定
const int &c4=a2+a3; //正确,(a2+a3)是一个常量右值,可以被非常量右值引用绑定
总结:
1.非常量左值引用只能绑定到非常量左值上;
2.常量左值引用可以绑定到非常量左值、常量左值、非常量右值、常量右值等所有类型。
(大->小,小引用绑大左值,常量左值范围更小嘛)
右值引用:将右值绑定在引用上。
常量右值引用和非常量右值引用:
总结:
1.非常量右值引用只能绑定到非常量右值上;
2.常量右值引用可以绑定到非常量右值、常量右值上。
移动构造函数:
小狗狗类:
Dog(int age,string name) :m_age(new int(age)), m_name(name){}Dog(Dog& d):m_age(d.m_age),m_name(d.m_name)
{
cout << "我是拷贝构造函数······" << endl;
}
Dog(Dog&& d) :m_age(d.m_age), m_name(d.m_name)
{
d.m_age = nullptr;
cout << "我是移动构造函数······" << endl;
}
int* m_age;
string m_name;#include<string>
#include<iostream>
using namespace std;
class Dog
{
public:
Dog(){};
Dog(int age,string name) :m_age(new int(age)), m_name(name){}
Dog(Dog& d):m_age(d.m_age),m_name(d.m_name)
{
cout << "我是拷贝构造函数······" << endl;
}
Dog(Dog&& d) :m_age(d.m_age), m_name(d.m_name)
{
d.m_age = nullptr;
cout << "我是移动构造函数······" << endl;
}
int* m_age;
string m_name;
};
客户端类:
#include"construct.h"int main()
{
int age = 19;
string name = "小狗狗";
Dog d1(age, name);
cout << "d1:" <<* d1.m_age << d1.m_name << endl;
Dog d2(move(d1));
bool is = d1.m_age == nullptr;
cout << is << endl;
cout << "d2.age:" << *d2.m_age <<endl<< "d2.name:" <<d2.m_name << endl;
return 0;
}
测试:
说明了移动构造运行成功,d1销毁了,d2获取到了d1的内存。
赋值和移动赋值函数:
赋值函数类:
#include<String>using namespace std;
class Cat
{
public:
Cat(){}
Cat(int age ,string name):age(age),name(name) {}
Cat& operator=(Cat& c)
{
if (this!= &c)
{
age = c.age;
name = c.name;
}
return *this;
}
int age;
string name;
};
移动赋值函数类:
#include"assign.h"class Dog
{
public:
Dog() {}
Dog(int age, string name) :age(new int(age)), name(name) {}
Dog& operator=(Dog&& c)
{
age = c.age;
name = c.name;
c.age = nullptr;
return *this;
}
int* age;
string name;
};
客户端类:
#include<iostream>#include"moveAssign.h"
int main()
{
cout << "赋值函数" << endl;
Cat c1(18, "小猫咪");
Cat c2 ;
c2 = c1;
cout << "c1.age:" << c1.age << endl << "c1.name" << c1.name << endl;
cout << "c2.age:" << c2.age << endl << "c2.name" << c2.name << endl<<endl;;
cout << "移动赋值函数" << endl;
Dog d1(19,"小狗狗");
cout << "d1.age:" << *d1.age << endl << "d1.name" << d1.name << endl << endl;
Dog d2;
d2 = move(d1);
bool is = (d1.age == nullptr);
cout << "d1是否为空:" << is << endl;
cout << "d2.age:" << *d2.age << endl << "d2.name" << d2.name << endl;
return 0;
}
测试: