C++右值引用和移动语义

avatar
作者
筋斗云
阅读量:1

目录

概念:

左值引用和右值引用

概念:

注意:

左值引用的意义

作函数参数

函数引用返回

右值引用的意义

诞生背景

移动构造

移动赋值

其他应用

万能引用和完美转发

默认的移动构造和移动赋值


概念:

左值:顾名思义,可以在等号左边出现的被叫做左值,左值可以取地址。

右值:只能在等号右边出现的值为右值,且右值不能取地址。

例如

//左值 int a = 2; string s="hello"; const int b=3; int* pa=&a; //右值 3;//字面常量 a + 2;//表达式 add(2, 3);//函数返回值

左值引用和右值引用

概念:

左值引用是用来引用左值的,给左值起别名:

int a = 2;//左值 int& ra = a;//左值引用

右值引用是用来引用右值的,给右值起别名:

int&& rc = 5;//右值引用

注意:

左值引用只能引用左值,因为如果引用右值会导致权限的放大:

int& ra = 2;//权限放大,编译错误

但是左值引用加上const就可以引用右值:

const int& ra = 2;

右值引用只能引用右值,但是可以引用move后的左值

int a = 2;//左值 int&& ra = move(a);

左值引用的意义

作函数参数

C++引用底层是C语言的指针,所以在作为函数参数时可以减少拷贝或者作为输出型参数使用。

void func(const string& s)//输入型参数,const&既可以减少拷贝又可以防止改变引用的实体 { 	cout << s << endl; } void add(int& a)//作为输出型参数 {     a=2; }

函数引用返回

出了函数栈帧,返回变量不会销毁的就可以用引用返回,减少拷贝。否则会导致内存越界。

string ss="hello"; const string& func() { 	return ss;//ss是全局变量,出函数栈帧不会销毁,用引用返回就不会生成临时变量 }

右值引用的意义

诞生背景

普通函数传值返回时,由于函数栈帧出作用域会销毁,其内定义的变量会被释放,所以会返回一个临时对象,这个临时对象是要返回对象的拷贝

此时,我们会想:既然局部变量s马上就要销毁了,那么我们是否可以将它的资源交换给临时变量呢,这样临时变量的创建就不需要耗费拷贝的代价了

C++把这种即将要销毁的自定义对象称为将亡值,在拷贝将亡值的时,可以利用右值引用在拷贝构造和赋值运算符重载函数中接收将亡值,并实现资源的置换,进而减少无意义的拷贝。

移动构造

在拷贝构造的实现中,实现一份形参使用右值引用接收的拷贝构造(即移动构造),当使用将亡值拷贝构造时,编译器会自动匹配移动构造,在移动构造内实现资源的互换

移动赋值

在赋值运算符重载的实现中,实现一份形参使用右值引用接收的赋值运算符重载(即移动赋值),当使用将亡值赋值时,编译器会自动匹配移动赋值,在移动赋值内实现资源的互换

C++11后,基本所有的STL容器都新增了移动构造和移动赋值,以此来提高需要深拷贝的容器是将亡值时的拷贝效率。

其他应用

除此之外,右值引用在其他接口中也大放异彩:

STL容器插入数据的接口:当插入需要深拷贝对象的右值时,减少拷贝

std::swap交换函数:

万能引用和完美转发

当函数模板和右值引用组合:万能引用既可以引用左值,又可以引用右值

万能引用又叫做引用折叠,即传入右值时&&,传入左值时折叠&。


右值引用的作用就是限制了接收变量只能是右值,但是右值引用本身会退化为左值:

template<class T> void func(T&& val)//万能引用 { 	cout << val << endl;//就算原本接收的是右值,右值引用val退化为左值 } int main() { 	func(10); 	return 0; }

完美转发:保留对象原生类型属性,即保持它的左值或者右值的属性

template<class T> void func(T&& val)//万能引用 { 	cout << std::forward<T>(val) << endl;//这里使用完美转发保留传入之前的属性 } int main() { 	func(10); 	return 0; }

默认的移动构造和移动赋值

默认移动构造:

如果你没有自己实现移动构造函数,且没有实现析构函数 、拷贝构造、拷贝赋值重载中的任
意一个
。那么编译器会自动生成一个默认移动构造。默认生成的移动构造函数,对于内置类
型成员会执行逐成员按字节拷贝,自定义类型成员,则需要看这个成员是否实现移动构造,
如果实现了就调用移动构造,没有实现就调用拷贝构造

解释:

分析上述定义,默认移动构造就是在析构函数 、拷贝构造、赋值重载都没有写,且移动构造也没有显式实现的情况下,编译器会默认生成。

当析构函数,拷贝构造、赋值重载都没有写的时候,且默认C++程序员没有犯错,那么这个类本身一定只含有内置类型成员或"自控"的自定义类型成员,没有需要手动释放的资源。

此时编译器就要做事了,默认生成一份移动构造,当别人调用默认移动构造,来将自定义类型中可以移动构造的对象自动调用移动构造,增加效率,非常合理。

反着思考:如果一个类内有资源需要手动释放,那么析构函数 、拷贝构造、赋值重载一定都要手动写,此时就算我们不手动写移动构造,编译器也不会默认生成,因为编译器不会知道哪些资源需要转移。

默认移动赋值完全类似。

广告一刻

为您即时展示最新活动产品广告消息,让您随时掌握产品活动新动态!