C++11——神奇的右值引用与移动构造

news2024/11/15 17:55:03

文章目录

  • 前言
  • 左值引用和右值引用
  • 右值引用的使用场景和意义
  • 右值引用引用左值
  • 万能引用
  • 右值引用的属性
  • 完美转发
  • 新的默认构造函数
    • 强制和禁止生成默认函数
  • 总结

前言

本篇博客将主要讲述c++11中新添的新特性——右值引用和移动构造等,从浅到深的了解这个新特性的用法,以及它的意义是什么,并且最后深入探究了一些右值引用的细节问题, 并且从中引出了什么是万能引用和完美转发以及其的一些意义,会通过一些例子帮助大家更好的理解这一语法。

左值引用和右值引用

我们直到,传统的c++语法中就有引用的语法,而C++11中新增了右值引用的语法特性,所以从现在开始我们之前学习的引用都叫做右值引用,但首先要说明的一个点就是:无论是右值引用还是左值引用,都是在给对象取别名。

那么,如果想要了解右值引用到底有什么用,我们就需要知道什么是右值?右值和左值有什么区别?

左值: 一个表示数据的表达式(如变量名或者解引用的指针),我们可以获取它的地址,并且可以对它赋值。左值可以出现在赋值符号的左边,右值一般不可以出现在右值符号的左边。const修饰后的左值虽然不能赋值,但是可以取它的地址
如下是一些左值的例子:

int main() 
{
	// 以下的p、b、c、*p都是左值 
	int* p = new int(0); 
	int b = 1; 
	const int c = 2;
	// 以下几个是对上面左值的左值引用 
	int*& rp = p; 
	int& rb = b; 
	const int& rc = c; 
	int& pvalue = *p;
	return 0;
}

右值:一个表示数据的表达式,如:字面常量,表达式返回值,函数返回值(除左值引用返回)等,一般来说,右值可以出现在赋值符号的右边,但不能出现在赋值符号左边,并且不能取地址!
内置类型的右值又叫做纯右值,而考虑自定义类型,我们知道对于自定义类型来说是没有字面常量的,也没有表达式返回值(对于运算符重载其本质也是函数调用的返回值),只有函数返回值,所以自定义类型的右值也被叫做将亡值

int main() 
{
	double x = 1.1, y = 2.2;
	// 以下几个都是常见的右值 10; 
	x + y;
	fmin(x, y);
	// 以下几个都是对右值的右值引用 
	int&& rr1 = 10; 
	double&& rr2 = x + y; 
	double&& rr3 = fmin(x, y);
	//通过使用标准库中的move函数可以将左值转化成右值
	double&& rr4 = std::move(x);
	// 下面编译会报错:error C2106: “=”: 左操作数必须为左值 
	//10 = 1; 
	//x + y = 1; 
	//fmin(x, y) = 1;
	return 0;
}

通过以上定义我们就可以发现,一般区分左值和右值是通过是否能取地址来分辨的。

一个常量字符串(例“aabbcc”是左值还是右值呢?)
右值!虽然我们可以取得它的地址,但其并不是整个字符串的地址,而是字符串首元素的地址,并且它也不能放在赋值符号左边。

那么,了解了左值和右值的区别了之后,我们很容易发现,**const左值引用也是可以引用右值的!**既然如此,为什么又要创造右值引用这个新特性呢?如果想要解决这个问题,我们就要首先了解以下左值引用的缺陷并且引出右值引用的使用场景和意义了!


右值引用的使用场景和意义

为了更好的观察右值引用的意义所在,博主自己造了一个模仿c++string的简易轮子,这个模拟的string在进行构造和深拷贝的时候会打印信息,另外在这里还给出了移动拷贝和赋值的代码,进行移动拷贝和赋值也会打印信息(对于移动拷贝和赋值是什么后续会给出解答)

namespace lzz
{
	class string {
	public:
		typedef char* iterator;
		iterator begin()
		{
			return _str;
		}
		iterator end()
		{
			return _str + _size;
		}
		string(const char* str = "") :_size(strlen(str)), _capacity(_size)
		{ //
			cout << "string(char* str)" << endl;
			_str = new char[_capacity + 1]; strcpy(_str, str);
		}
		// s1.swap(s2) 
		void swap(string& s)
		{
			::swap(_str, s._str);
			::swap(_size, s._size);
			::swap(_capacity, s._capacity);
		}
		// 拷贝构造 
		string(const string& s) :
			_str(nullptr)
		{
			cout << "string(const string& s) -- 深拷贝" << endl;
			string tmp(s._str);
			swap(tmp);
		}
		// 赋值重载 
		string& operator=(const string& s)
		{
			cout << "string& operator=(string s) -- 深拷贝" << endl;
			string tmp(s);
			swap(tmp);
			return *this;
		}
		// 移动构造 
		string(string&& s) noexcept
			:_str(nullptr), _size(0), _capacity(0)
		{
			cout << "string(string&& s) -- 移动语义" << endl;
			swap(s);
		}
		// 移动赋值 
		string& operator=(string&& s) noexcept
		{
			cout << "string& operator=(string&& s) -- 移动语义" << endl;
			swap(s);
			return *this;
		}
		~string()
		{
			delete[] _str;
			_str = nullptr;
		}
		char& operator[](size_t pos)
		{
			assert(pos < _size);
			return _str[pos];
		}
		void reserve(size_t n)
		{
			if (n > _capacity)
			{
				char* tmp = new char[n + 1];
				strcpy(tmp, _str);
				delete[] _str;
				_str = tmp;
				_capacity = n;
			}
		}
		void push_back(char ch)
		{
			if (_size >= _capacity)
			{
				size_t newcapacity = _capacity == 0 ? 4 : _capacity * 2;
				reserve(newcapacity);
			}
			_str[_size] = ch; ++_size;
			_str[_size] = '\0';
		}
		//string operator+=(char)
		string& operator+=(char ch)
		{
			push_back(ch);
			return *this;
		}
		const char* c_str() const
		{
			return _str;
		}
	private:
		char* _str;
		size_t _size;
		size_t _capacity;

	};
};

首先,我们知道左值引用的诞生其实是为了提高程序运行的效率,做参数和做返回值是都可以提高效率!

void func1(lzz::string s) {}
void func2(const lzz::string& s) ()
int main()
{
	lzz::string s1("hello world");
	func1(s1);
	func2(s1);
	return 0;
}

在这里插入图片描述

注意,由于在模拟实现时深拷贝中调用了常量字符串构造函数,所以每次深拷贝时都会打印两次。
这极大的提高了大对象调用函数的效率。

左值引用的短板:
我们来想想左值引用还有什么短板,考虑当函数返回对象时一个局部变量时,当函数调用结束后,该变量就被销毁了,所以此时我们不能用左值引用返回,只能用传值引用返回。这样对性能是有比较大的损失的。

对于传值返回,较旧的编译器会进行两次拷贝构造,较新的编译器会进行优化,但也需要一次拷贝构造。

在这里插入图片描述


那么,此时右值引用就派生用场了。
右值引用和移动语义解决上述问题:
移动构造的本质是利用右值引用,将参数右值的资源窃取过来,占为己有,这样就不用做深拷贝了,就是窃取别人的资源来构造自己,移动赋值同理。

		// 移动构造 
		string(string&& s) 
			:_str(nullptr), _size(0), _capacity(0)
		{
			cout << "string(string&& s) -- 移动语义" << endl;
			swap(s);
		}

移动构造和移动赋值内部其实完成的是数据的交换工作,因为我们知道右值中的数据是会销毁的,如果不进行交换,就会导致在销毁时将需要保留的数据直接销毁,另外在进行移动赋值的时候还有可能导致原来的数据无法找到,造成内存泄漏

加上移动构造后上述代码的打印结果:

在这里插入图片描述

右值引用引用左值

按照语法,右值引用可以引用右值,但是右值引用可以引用左值吗?正常情况下是不可以的,但是标准库中为我们提供了一个函数move()可以做到这件事,传入左值之后,将会返回右值。

int main()
{
	lzz::string s1("xxx");
	//调用拷贝构造
	lzz::string s2(s1);
	//调用移动构造
	lzz::string s3(move(s1));
}

这里需要注意的是,虽然move()函数返回的是该对象的右值,但是仍然会修改该对象的数据,如下:
在这里插入图片描述

万能引用

右值引用出现的同时,c++还退出了一个模板的万能引用规则,语法如下:

template<typename T>
void func(T&& t)
{
	//...
}

也就是说模板中的&&并不是代表左值引用,而是万能引用,也就是说其既可以接受左值也可以接受右值!另外,如果传输的是对应const类型的引用,其也会自动推导成对应的const类型。

那么,在知道了万能引用之后,我们通过下面这些代码再次引出关于右值引用的一些问题。

void Fun(int& x) { cout << "左值引用" << endl; } 
void Fun(const int& x) { cout << "const 左值引用" << endl; }
void Fun(int&& x) { cout << "右值引用" << endl; } 
void Fun(const int&& x) { cout << "const 右值引用" << endl; }

template<typename T> 
void PerfectForward(T&& t) { Fun(t); }
int main() 
{
	PerfectForward(10); 
	int a; 
	PerfectForward(a);            // 左值 
	PerfectForward(std::move(a)); // 右值
	const int b = 8; 
	PerfectForward(b);            // const 左值
	PerfectForward(std::move(b)); // const 右值 
	return 0;
}

可能有些人觉得,既然有万能引用,那肯定是穿什么类型调用什么类型的函数啊!这还不简单。

可是真有这么简单吗,我们先看结论,后解释结果。
在这里插入图片描述

结果既然是全是调用左值引用版本的func()!!这是为什么呢,难道是万能引用并不能引用右值吗?但是实际情况是万能引用确实可以引用左值,这里可以通过监视窗口进行查看:
在这里插入图片描述
这里我们传入10这个右值,可以发现此时t的类型是int&&,是右值引用,说明万能引用没有问题!那为什么会出现这种情况呢,这其实跟右值引用的属性有关,接下来我们就来深入探讨一下这一问题!

右值引用的属性

要探究这个问题,首先我们对PerfectForward(T&& t) 做一个修改,让其能够打印变量所在的地址

template<typename T> 
void PerfectForward(T&& t) 
{ 
	cout << &t << endl;
	Fun(t); 
}

我们知道右值是不能打印地址的,所以这样子做正常来说应该会报错,但是呢结果如下:
在这里插入图片描述
没错,程序成功运行!并且打印出了所有地址!

这就说明了一个性质:右值引用的属性是左值!!!

其实,之所以这么搞,是为了右值引用更好的使用,想象一下,如果右值引用的属性是右值,那么我们就无法修改其中的内容,那么对于上面的移动构造和移动赋值,就无法进行swap()函数交换内容,也就无法提高效率,因此右值引用在这种场景下不能是右值。
const &&禁止了对其的修改权限

其实对于右值引用来说,对于将亡值而言可以理解为当其作为返回值返回时先暂时保留这快空间中的内容,并且能够修改这块空间,在使用结束后才真正销毁。

那么,有没有办法能够让参数保持当前的属性继续向下传递呢?答案是有的,c++考虑到了这个问题,所以设计了完美转发功能

完美转发

std::forward在传参的过程中保留对象原生类型属性

使用方法如下:

template<typename T> 
void PerfectForward(T&& t) 
{ 
	Fun(std::forward<T>(t)); 
}

上面的代码加上完美转发之后,就可以属性原生属性的保持,打印结果如下:
在这里插入图片描述
完美转发的使用场景:

例如list<lzz::string> ls中,如果我们想要插入一个通过隐式类型转换的临时string,如ls.push_back("hello world"),我们想在push_back()内部调用string的移动构造函数,就必须使用完美转发,如下:
在这里插入图片描述

新的默认构造函数

原来的c++中,有6个默认成员函数

  1. 构造函数
  2. 析构函数
  3. 拷贝构造函数
  4. 拷贝赋值函数
  5. 取地址重载
  6. const取地址重载
    C++11新增两个:默认移动构造函数默认移动赋值函数

但这两个函数的生成条件是有限制的:

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

强制和禁止生成默认函数

C++11中还添加了一个强制生成默认函数的关键字default和禁止默认生成函数的关键字delete

如下:

class A
{
private:
	int _a;
public:
	~A() {}
	//提供了析构函数,不满足默认生成移动构造的性质
	A(A&& a) = default //强制自动生成
	//没有提供拷贝构造,禁止自动生成
	A(const A& a) = delete;
}

总结

以上就是关于C++11中右值引用的具体内容了,这段内容可以说是比较容易搞混,大家一定要自己去敲代码自己实验一下这些特性加深理解!另外,如果博主哪里写的有问题或者有疑惑的,欢迎评论区提出!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1061719.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

创意填充文本悬停效果

效果展示 CSS 知识点 text-shadow 属性实现 3D 文字clip-path 属性的运用 实现页面基础结构布局 <div class"container"><!-- 使用多个h2标签来实现不同颜色的3D文字 --><h2>Text</h2><h2>Text</h2><h2>Text</h2>…

好奇喵 | Tor浏览器——如何拥有一颗洋葱并使用

前言 在之前的博客中&#xff1a; 1.Surface Web —&#xff1e; Deep Web —&#xff1e; Dark Web&#xff0c;我们解释了表层网络、深层网络等的相关概念&#xff1b; 2.Tor浏览器——层层剥开洋葱&#xff0c;我们阐述了Tor的历史和基本工作原理&#xff1b; 本篇博客介…

笔记--总线舵机YB-SD15M--stm32

文章目录 前言一、官方文档的理解1.发送格式2.命令地址 二、控制文件1.c2.h 文件 前言 使用stm32控制这个总线舵机。 舵机为总线舵机。一定要配合控制板一起用&#xff0c;不然只使用stm32无法控制。 一、官方文档的理解 1.发送格式 发送格式如下&#xff0c;其中的指令类型…

2023版 STM32实战6 输出比较(PWM)包含F407/F103方式

输出比较简介和特性 -1-只有通用/高级定时器才能输出PWM -2-占空比就是高电平所占的比例 -3-输出比较就是输出不同占空比的信号 工作方式说明 -1-1- PWM工作模式 -1-2- 有效/无效电平 有效电平可以设置为高或低电平&#xff0c;是自己配置的 周期选择与计算 周期重…

成都建筑模板批发市场在哪?

成都作为中国西南地区的重要城市&#xff0c;建筑业蓬勃发展&#xff0c;建筑模板作为建筑施工的重要材料之一&#xff0c;在成都也有着广泛的需求。如果您正在寻找成都的建筑模板批发市场&#xff0c;广西贵港市能强优品木业有限公司是一家值得关注的供应商。广西贵港市能强优…

首饰饰品经营商城小程序的作用是什么

首饰如耳钉、戒指、手镯等除了高价值产品外&#xff0c;还有很多低价产品&#xff0c;市场需求客户众多&#xff0c;在实际经营中&#xff0c;商家们也会面临一些痛点。 私域话题越来越多加之线上线下同行竞争、流量匮乏等&#xff0c;更对商家选择自建商城经营平台。 通过【…

mybatise-plus的id过长问题

一、问题情景 笔者在做mp插入数据库(id已设置为自增)操作时&#xff0c;发现新增数据的id过长&#xff0c;结果导致前端JS拿到的数据出现了精度丢失问题&#xff0c;原因是后端id的类型是Long。在网上查了一下&#xff0c;只要在该属性上加上如下注解就可以 TableId(value &q…

酷炫的文字悬停效果

效果展示 CSS 知识点 text-transform 属性中 uppercase 的值运用 实现页面基础结构 <h2 class"text">Vanilla JavaScript</h2>使用 JS 把标题拆分成单个 Span 标签 let text document.querySelector(".text"); text.innerHTML text.inne…

基于SpringBoot的高考志愿填报系统

功能需求&#xff1a; 1.用户可以根据自己的院校类型、办学类型、层次类型、地域等因素筛选高校。 2.用户可以查询到所选高校的基本信息&#xff0c;包括学校的概况、历史沿革、办学特色、学院设置、师资力量、科研实力等。 3.用户可以查询到所选高校的高校开设专业&#xff0c…

学习记忆——方法篇——联想法+记忆宫殿+数字编码

左右脑在记忆当中的不同特点&#xff1a; 左脑是我们的理性脑。主要功能是处理逻辑内容、以及数字、文字等信息&#xff0c;擅长对知识的分析、理解、归纳、整合。缺点是处理信息速度慢、效率低&#xff0c;死记硬背就是用左脑记忆。 右脑是我们的感性脑。主要功能是处理节奏、…

初识Java 12-3 流

目录 终结操作 将流转换为一个数组&#xff08;toArray&#xff09; 在每个流元素上应用某个终结操作&#xff08;forEach&#xff09; 收集操作&#xff08;collect&#xff09; 组合所有的流元素&#xff08;reduce&#xff09; 匹配&#xff08;*Match&#xff09; 选…

Java 8新特性:DateTime、Lambda、Stream的强大功能解析

&#x1f60a; 作者&#xff1a; 一恍过去 &#x1f496; 主页&#xff1a; https://blog.csdn.net/zhuocailing3390 &#x1f38a; 社区&#xff1a; Java技术栈交流 &#x1f389; 主题&#xff1a; Java 8新特性&#xff1a;DateTime、Lambda、Stream的强大功能解析 ⏱️…

案例题--Web应用考点

案例题--Web应用考点 负载均衡技术微服务XML和JSON无状态和有状态真题 在选择题中没有考察过web的相关知识&#xff0c;主要就是在案例分析题中考察 负载均衡技术 应用层负载均衡技术 传输层负载均衡技术 就近的找到距离最近的服务器&#xff0c;并进行分发 使用户就近获取…

超市便利店批发零售小程序商城的作用是什么

超市便利店甚至是商场&#xff0c;所售卖的产品广而多&#xff0c;其线上线下商家数量也非常庞大&#xff0c;对传统超市便利店来说&#xff0c;往往会优先发力线下经营&#xff0c;然而随着互联网电商冲击&#xff0c;传统线下经营也面临&#xff1a;拓客引流难、产品销售难、…

数组篇 第一题:删除排序数组中的重复项

更多精彩内容请关注微信公众号&#xff1a;听潮庭。 第一题&#xff1a;删除排序数组中的重复项 给你一个 非严格递增排列 的数组 nums &#xff0c;请你 原地 删除重复出现的元素&#xff0c;使每个元素 只出现一次 &#xff0c;返回删除后数组的新长度。元素的 相对顺序 应…

算法:最近公共祖先(LCA)

有根树中&#xff0c;每一个点都有好几个祖先&#xff08;在往根节点走的过程中遇到的都是它的祖先&#xff09;&#xff0c;一般化&#xff0c;把本身也称为它的祖先 对于两个点&#xff0c;离它们最近的一个公共祖先被称为最近公共祖先 法一&#xff1a;向上标记法&#xf…

6轮面试阿里Android开发offer,薪资却从21k降到17k,在逗我?

一小伙工作快3年了&#xff0c;拿到了阿里云Android开发岗位P6的offer&#xff0c;算HR面一起&#xff0c;加起来有6轮面试了&#xff0c;将近3个月的时间&#xff0c;1轮同级 1轮Android用人部门leader 1轮Android 组leader 1轮项目CTO 1轮HR 1轮HRBP。 一路上各种事件分…

图示矩阵分解

特征值与特征向量 设 A A A 是 n 阶矩阵&#xff0c;如果存在数 λ \lambda λ 和 n 维非零列向量 x x x&#xff0c;满足关系式&#xff1a; A x λ x ( 1 ) Ax \lambda x\quad\quad(1) Axλx(1) 则数 λ \lambda λ 称为矩阵 A A A 的特征值&#xff0c;非零向量 x…

基于阴阳对优化的BP神经网络(分类应用) - 附代码

基于阴阳对优化的BP神经网络&#xff08;分类应用&#xff09; - 附代码 文章目录 基于阴阳对优化的BP神经网络&#xff08;分类应用&#xff09; - 附代码1.鸢尾花iris数据介绍2.数据集整理3.阴阳对优化BP神经网络3.1 BP神经网络参数设置3.2 阴阳对算法应用 4.测试结果&#x…

学习记忆——宫殿篇——记忆宫殿——数字编码——扑克牌记忆

扑克牌我们可以通过以下3点进行识记&#xff1a; 1、先把扑克牌进行编码转换 2、确定要进行记忆的记忆宫殿 3、把扑克牌与记忆宫殿一一对应 首先54张扑克牌除去大小王后剩下52张&#xff0c;因为世界赛不需要记忆大小王。52张扑克牌都有对应的编码&#xff0c;每2张扑克牌对应…