C++11新特性之右值引用

news2024/11/18 6:30:35

目录

前文

一,什么是右值引用?

二,左值引用和右值引用比较

 三,右值引用的应用场景以及作用

四, 右值引用左值的场景分析

 五,完美转发

总结


前文

在C++98标准后,C++11标准的更新为C++注入了新活力,C++11新加了140多个新特性,我们这里主要挑一些比较有价值的特性来深入了解一下,本节注意是带大家了解一下C++11新特性之右值引用

一,什么是右值引用?

引用我们并不陌生,那么什么是右值引用呢?不过既然有右值引用那么一定也有左值引用,那么我们先来看看什么是左值引用(其实之前学的都可以叫做左值引用)

 左值是一个表示数据的表达式(如变量名或解引用的指针),我们可以获取它的地址+可以对它赋值,左值可以出现赋值符号的左边,右值不能出现在赋值符号左边。定义时const修饰符后的左值,不能给他赋值,但是可以取它的地址。左值引用就是给左值的引用,给左值取别名。

// 以下的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;

 那么到底什么是右值?什么是右值引用?

右值也是一个表示数据的表达式,如:字面常量、表达式返回值,函数返回值(这个不能是左值引用返回)等等,右值可以出现在赋值符号的右边,但是不能出现出现在赋值符号的左边,右值不能取地址。右值引用就是对右值的引用,给右值取别名

double a=1.1,b=2;
//右值
a+b
10
//右值引用
double&& rr1=a+b;
int&& rr2=10;

 需要注意的是右值是不能取地址的,但是给右值取别名后,会导致右值被存储到特定位置,且可以取到该位置的地址,也就是说例如:不能取字面量10的地址,但是rr1引用后,可以对rr1取地址,也可以修改rr1。如果不想rr1被修改,可以用const int&& rr1 去引用,是不是感觉很神奇,这个了解一下实际中右值引用的使用场景并不在于此,这个特性也不重要。

 

int main()
{
	double a = 1.1;
	int b = 2;
	
	int&& rr1 = 10;
	const double&& rr2 = a + b;
	
	rr1 = 1;//可以修改
	rr2 = 5;//会报错

	return 0;
}

二,左值引用和右值引用比较

左值引用特点:

1.左值引用只能引用左值,不能引用右值

2.但是const修饰的左值引用可以引用右值(原因:右值本质是临时变量,本身具有常属性,不可改变,直接左值引用属于权限放大,因此需要const修饰)

int main()
{
	int a = 10;
	int b = 5;
	int c = a + b;

	int& ll1 = c;
	const int& ll2 = 10;
	const int& ll3 = a;


	return 0;
}

右值引用特点:

1.右值引用只能引用右值,不能引用左值

2.右值引用可以引用被move以后的左值(这里的move可以看作一个函数,以左值为参数调用move后,返回值属于右值)

int main()
{
	int a = 10;

	int&& rr1 = a;//报错
	int&& rr2 = 10;
	int&& rr3 = move(a);

	return 0;
}

 三,右值引用的应用场景以及作用

在上面的比较我们发现,左值引用可以引用左值也可以引用右值,那么为什么还要有右值引用呢?我们可以来看看左值引用的问题,然后再来看看右值引用是如何解决这个问题的

namespace mjw
{
	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)
		//	:_str(nullptr)
		//	, _size(0)
		//	, _capacity(0)
		//{
		//	cout << "string(string&& s) -- 移动语义" << endl;
		//	swap(s);
		//}
		
		~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 ch)
		string& operator+=(char ch)
		{
			push_back(ch);
			return *this;
		}

		string operator+(char ch)
		{
			string tmp(*this);
			tmp += ch;
			return tmp;
		}

		const char* c_str() const
		{
			return _str;
		}
	private:
		char* _str;
		size_t _size;
		size_t _capacity; // 不包含最后做标识的\0
	};
}

如上,这次我们用自己写的string类来做实验,以方便更好的观察,细心的同学想必已经发现了和之前的不同,这里多了移动构造,但是我们先注释掉了,后面在给大家讲

 我们先做一个简单的实验

int main()
{
	mjw::string str1("hello,word");
	
	mjw::string str2 (str1 + '!');


	return 0;
}

 

这里我们调用了两次拷贝构造,那么这是为什么呢

 

 

 如上图所示,首先第一个拷贝构造是在str+'!'时发生的,第二个则是str2的拷贝构造,这里我们需要注意的是

1.str1+‘!'后返回的是临时变量,因此所传拷贝构造参数s也是临时变量,也就是右值

2.当前所用的拷贝构造属于深拷贝,将传的参数的所有内容都重新拷贝了一遍

 

 

 那么我们这里就有一个问题,str2所要拷贝的数据为临时变量(右值),而临时变量马上就要释放不用了,真的有必要对其进行深拷贝吗,能否用现代一些的写法(直接交换)

 

 如上图,既然s作为临时变量马上就要释放不用了,那么为什么还要将其内容全部拷贝呢?我们直接将它的内容换给str2不就行了吗,答案自然是可以,但是这里有一个要求就是被构造函数必须是右值,由于const修饰的左值引用可以引用左值也可以引用右值,那么在传参的时候我们如何将右值和左值区分开来呢?这时右值引用就登场了,先看代码

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

如上所示 ,我们以右值引用为参数重载一个拷贝构造函数,这里我们称为移动构造,移动构造本质是将参数右值的资源窃取过来,占位已有,那么就不用做深拷贝了,所以它叫做移动构造,就是窃取别人的资源来构造自己。这样当我们传的参数是右值时,就会直接调用移动构造,这样就避免了不需要的深拷贝,效率的得到有效提高

 如图已经是原代码,当我们重载移动构造后,由于参数为右值就会直接调用移动构造,避免了无效的深拷贝,提高了效率。

 当然,除了移动构造也有移动赋值,同样是为了处理参数是右值的情况

// 移动赋值
		string& operator=(string&& s)
		{
			cout << "string& operator=(string&& s) -- 移动拷贝" << endl;
			swap(s);
			return *this;
		}

总的来说,在调用拷贝构造函数时,如果被拷贝参数是右值,那么就可以通过函数重载调用移动构造,移动构造中没有新开空间就拷贝了数据,因此效率的得到了提升。

而在C++11后,STL容器也都添加了移动构造和移动赋值 ,这里我们以vector为例查看一下

 

四, 右值引用左值的场景分析

 按照语法,右值引用只能引用右值,但右值引用一定不能引用左值吗?因为:有些场景下,可能真的需要用右值去引用左值实现移动语义。当需要用右值引用引用一个左值时,可以通过move函数将左值转化为右值。C++11中,std::move()函数位于 头文件中,该函数名字具有迷惑性,它并不搬移任何东西,唯一的功能就是将一个左值强制转化为右值引用,然后实现移动语义

int main()
{
	mjw::string str("hello");
	
	mjw::string str1(str);//这里str是左值,调用拷贝构造
	//下面这个str经过move处理后会变成右值
	//但是我们需要注意的是,当成右值就会调用移动构造
	//移动构造实际上是一种资源转移
	//也就是说str的内容转移给了str2,此时str为空
	mjw::string str2(move(str));
	

	return 0;
}

结果如下

STL容器插入的接口函数也增加了右值引用版本

运用如下

int main()
{
	mjw::string s1("hello");

	list<mjw::string> v;
	
	v.push_back(s1);//拷贝构造

	
	v.push_back(move(s1));//移动构造
	
	return 0;

}

原理如下

 五,完美转发

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;
}

我们看上面的代码,首先需要解释的是模板中的&&不代表右值引用,而是万能引用的意思,即既能接收左值也能接收右值,注意这个万能引用只是提供了同时接收左右值的功能。接下来我们先看一下运行结果

 如上图所示,原码中明明1,3,5函数传的都是右值,为什么结果全是左值呢?这是因为右值引用并不是右值,因为当我们给右值取别名后,右值就会被存储在特定空间,此时的右值可以取到地址,已经不再是右值,而是左值了,也就是说当Fun二次调用时,调用的不再是右值而是左值。那么有什么办法可以使参数保持原有左值或者右值的属性呢?这就需要用到完美转发:

std:forward 完美转发在传参过程中保留对象原生类型属性

 

总结

本节内容到此结束,希望大家能够有所收获

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

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

相关文章

chatgpt赋能python:Python如何生成100个随机整数

Python如何生成100个随机整数 在Python中&#xff0c;我们可以使用random库来生成随机整数。在本文中&#xff0c;我们将介绍如何使用Python生成100个随机整数。 什么是随机整数 随机整数是指在一定范围内&#xff0c;产生的整数是随机的且不重复的。这在数据分析、机器学习…

2. CSS的元素显示模式

了解元素的显示模式可以更好的让我们布局页面. 1.什么是元素的显示模式 2.元素显示模式的分类 3.元素显示模式的转换 2.1什么是元素显示模式 作用:网页的标签非常多&#xff0c;在不同地方会用到不同类型的标签&#xff0c;了解他们的特点可以更好的布局我们的网页。 元素显示…

chatgpt赋能python:如何在Python中创建模块:完整指南

如何在Python中创建模块&#xff1a;完整指南 如果你是一位Python开发者&#xff0c;你肯定需要用到模块。模块使得代码更容易组织和管理&#xff0c;并且可以复用许多代码片段&#xff0c; 提高代码的可重用性。在Python中&#xff0c;模块是一组相关函数&#xff0c;方法和变…

[论文笔记]End-to-end Sequence Labeling via Bi-directional LSTM-CNNs-CRF

引言 本文是论文End-to-end Sequence Labeling via Bi-directional LSTM-CNNs-CRF的阅读笔记。 本论文提出了一个受益于单词级(word)和字符级(character)表示的网络架构,通过组合双向LSTM,CNN和CRF。 简介 首先通过CNN编码一个单词的字符级信息到相应的字符表征。然后组合…

【C数据结构】动态顺序表_SeqList

目录 【1】数据结构概述 【1.1】什么是数据结构&#xff1f; 【1.2】数据结构分类 【1.3】数据结构术语 【2】数据结构特点 【2】动态顺序表 【2.1】动态顺序表定义数据结构和接口 【2.1】动态顺序表创建初始化 【2.2】动态顺序表初始化 【2.3】动态顺序表内存释放 【…

【Express.js】处理请求数据

处理请求数据 本节将具体介绍express后端处理请求源携带数据的一些方法和技巧 动态路径 很多时候我们需要处理一些类似但有操作差别或不同对象的业务&#xff0c;我们可以监听一段基本路径&#xff0c;将其中某一个段或者某几段路径作为变量&#xff0c;在接口中根据不同的路…

大学计算机专业实习心得报告13篇

大学计算机专业实习心得报告&#xff08;篇1&#xff09; 通过理论联系实际&#xff0c;巩固所学的知识&#xff0c;提高处理实际问题的能力&#xff0c;为顺利毕业进行做好充分的准备&#xff0c;并为自己能顺利与社会环境接轨做准备。通过这次实习&#xff0c;使我们进一步理…

chatgpt赋能python:如何用Python创建优秀的项目

如何用Python创建优秀的项目 Python是一种功能强大的编程语言&#xff0c;可用于创建各种不同类型的项目。本文将介绍如何使用Python创建优秀的项目&#xff0c;并包括一些有用的技巧和工具。在本文中&#xff0c;我们将着重讨论如何优化我们的Python项目以获得更好的SEO排名。…

Gitlab 服务器搭建

引言 GitLab 是一个用于仓库管理系统的开源项目&#xff0c;使用Git作为代码管理工具&#xff0c;并在此基础上搭建起来的Web服务。安装方法是参考GitLab在GitHub上的Wiki页面。Gitlab是被广泛使用的基于git的开源代码管理平台, 基于Ruby on Rails构建, 主要针对软件开发过程中…

C语言:求输入的两个数的最小公倍数

题目&#xff1a; 求输入的两个数的最小公倍数 思路一&#xff1a;普通方法 &#xff08;思路简单&#xff0c;效率较低&#xff09; 总体思路&#xff1a; &#xff08;一&#xff09;. 输入两个数&#xff1a;a 和 b&#xff0c; 使用 三目表达式 把较大值 取出 &#xff…

[元带你学: eMMC协议详解 17] eMMC 安全方案 之 RPMB(Replay Protected Memory Block 重放保护内存块)

依JEDEC eMMC 5.1及经验辛苦整理&#xff0c;付费内容&#xff0c;禁止转载。 所在专栏 《元带你学: eMMC协议详解》 内容摘要 全文 6300 字&#xff0c; 主要内容有 目录 1 概念 2 容量大小 3 重放保护的原理 4 不同访问类型流程 4.1. 写认证密钥&#xff08;write Au…

coder oss 真正私有化部署的云端开发环境,nas也可以装

先看效果&#xff1a; 主界面&#xff0c;显示了你有那些工作空间 某个工作空间&#xff0c;我这里集成了web版vscode&#xff0c;也可以使用本地的vscode和其他开发IDE 有独立的终端和集成webide 以后就可以一个ipad都可以写代码了&#xff1b; 下面是平台搭建过程&#xff0…

C语言入门基础知识(万字笔记)

一、前言部分 本篇文章&#xff0c;将会主要介绍c语言的基本数据类型、基本运算符、语句&#xff0c;三大结构、数组、指针、宏定义等内容 二、具体部分 1、基本数据类型 1、基本数据类型 在C语言中&#xff0c;承载一系列信息的数字或中字符都属于数据类型&#xff0c;计算…

产品设计.B端产品vsC端产品

一、用户群体 01、B端&#xff1a;一般是多角色群体、多维度&#xff0c;一般是3个维度&#xff0c;决策者&#xff08;老板&#xff09;、管理者&#xff08;财务、业务部门负责人&#xff09;和执行者&#xff08;使用的用户&#xff09;。 02、C端&#xff1a;群体相对单一…

K8s 中 port, targetPort, NodePort的区别

看1个例子&#xff1a; 我们用下面命令去创建1个pod2&#xff0c; 里面运行的是1个nginx kubectl create deployment pod2 --imagenginx当这个POD被创建后&#xff0c; 其实并不能被外部访问&#xff0c; 因为端口映射并没有完成. 我们用下面这个命令去创建1个svc &#xff…

msvcp140.dll是什么?怎么解决电脑提示msvcp140.dll丢失的问题?(分享解决方法)

msvcp140.dll是动态链接库文件&#xff0c;是一种不可执行的二进制程序文件&#xff0c;允许程序共享执行特殊任务所需要的代码和其他资源。程序可根据DLL文件中的指令打开、启用、查询、禁用和关闭驱动程序。 很多小伙伴在使用电脑软件的时候&#xff0c;有一些问题会搞不明白…

C语言之枚举联合

一、枚举 枚举顾名思义就是&#xff1a;列举 。 即把可能的取值一一列举出来 &#xff08;一&#xff09;枚举类型的定义 这里我们直接上代码&#xff1a; //枚举类型 #include <stdio.h>enum Sex//性别 {//枚举的可能取值-常量MALE 2,FEMALE 4,SECRET 8//以上为给…

LAMP架构及搭建LAMP+Discuz论坛

LAMP架构及搭建LAMPDiscuz论坛的流程 1、LAMP架构概述2、LAMP各组件的作用3、LAMP的安装顺序4、LAMP的数据流向5、编译安装Apache5.1 关闭防火墙和slinux&#xff0c;将安装Apache所需软件包传到/opt目录下并解压5.2 安装环境依赖包5.3 选择Apache软件模块5.4 编译和安装5.5 优…

使用 Sa-Token 实现 [记住我] 模式登录、七天免登录

一、需求分析 如图所示&#xff0c;一般网站的登录界面都会有一个 [记住我] 按钮&#xff0c;当你勾选它登录后&#xff0c;即使你关闭浏览器再次打开网站&#xff0c;也依然会处于登录状态&#xff0c;无须重复验证密码&#xff1a; 本文将详细介绍在 Sa-Token中&#xff0c;…

移动机器人底盘-四轮差速模型(四轮独立)

移动机器人底盘-四轮差速模型 文章目录 移动机器人底盘-四轮差速模型1. 四轮差速模型原理2. 工程实践2.1 Python实现2.2 C实现 1. 四轮差速模型原理 四轮差速模型底盘实例如下图所示。对于底盘的前轮和后轮来说&#xff0c;其速度是同步的&#xff0c;那么在理想条件下&#x…