【C++】C++ 右值 相关常见问题

news2024/12/23 17:18:14

【C++】C++ 右值 相关常见问题

文章目录

  • 【C++】C++ 右值 相关常见问题
  • 1.介绍一下左值引用和右值引用
    • 1.1左值和左值引用
    • 1.2右值和右值引用
  • 2.左值引用与右值引用比较
  • 3.左值引用的使用场景
  • 4. move语义
  • 5.完美转发

C++ 11 关于右值相关概念：

在 C++ 中，右值是指仅作为表达式的值使用的变量或表达式。

右值有两种类型：纯右值（prvalue）和将亡值（xvalue）。

  • 纯右值是指不含有任何附加信息的表达式。例如，1+2 这个表达式的结果是一个整数常量，它是一个纯右值。

  • 将亡值是指表达式的值虽然是右值，但它是即将被销毁或已经失去身份的对象。常见的例子是 std::move 返回的对象。

右值引用是将亡值的重要应用之一。使用右值引用可以将将亡值的所有权转移给函数，在函数执行后将对象销毁。

C++11 还引入了移动语义，它允许在复制对象时使用右值引用，这可以避免不必要的内存分配和复制操作，提高程序性能。

1.介绍一下左值引用和右值引用

传统的C++语法中就有引用 & 的用法，而C++11中新增了右值引用语法特性，所以我们之前学习的引用都叫做左值引用。无论左值引用还是右值引用，都是给对象取别名。

1.1左值和左值引用

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

**左值引用**就是给左值的引用，给左值取别名。

int main()
{
	/*常见不同类型的左值*/
	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;
}

1.2右值和右值引用

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

**右值引用**就是对右值的引用，给右值取别名。

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

	return 0;
}

说明一下：左操作数必须为左值

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

int main()
{
	double x = 1.1, y = 2.2;
	int&& rr1 = 10;
	const double&& rr2 = x + y;

	rr1 = 20;
	rr2 = 5.5;//会报错 因为rr2是const修饰的
	return 0;
}

2.左值引用与右值引用比较

左值引用总结:

  1. 左值引用只能引用左值，不能引用右值。
  2. 但是const左值引用既可以引用左值，也可以引用右值

右值引用总结:

  1. 右值引用只能引用右值，不能引用左值
  2. 但是右值引用可以引用move以后的左值

3.左值引用的使用场景

做参数和做返回值都可以提高效率。

void func1(std::string s)
{}

void func2(const std::string& s)
{}

int main()
{
	string s1("hello world");
	// func1和func2的调用我们可以看到左值引用做参数减少了拷贝，提高效率的使用场景和价值

	func1(s1);
	func2(s1);
	// string operator+=(char ch) 传值返回存在深拷贝

	// string& operator+=(char ch) 传左值引用没有拷贝提高了效率

	s1 += '!';
	return 0;
}

左值引用的短板

但是当函数返回对象是一个局部变量，出了函数作用域就不存在了，就不能使用左值引用返回， 只能传值返回。例如：string to_string(int value)函数中可以看到，这里只能使用传值返回， 传值返回会导致至少1次拷贝构造(如果是一些旧一点的编译器可能是两次拷贝构造)。
在这里插入图片描述
在这里插入图片描述

namespace bit
{
	lxy::string to_string(int value)
	{
		bool flag = true;
		if (value < 0)
		{
			flag = false;
			value = 0 - value;
		}
		lxy::string str;
		while (value > 0)
		{
			int x = value % 10;
			value /= 10;
			str += ('0' + x);
		}
		if (flag == false)
		{
			str += '-';
		}
		std::reverse(str.begin(), str.end());
		return str;
	}
}

int main()
{
	// 在bit::string to_string(int value)函数中可以看到，这里

	// 只能使用传值返回，传值返回会导致至少1次拷贝构造(如果是一些旧一点的编译器可能是两次拷贝构造)。

	lxy::string ret1 = bit::to_string(1234);
	lxy::string ret2 = bit::to_string(-1234);
	return 0;
}

说明一下：我模拟实现的 string模拟实现

在这里插入图片描述

右值引用和移动语义解决上述问题：

在lxy::string中增加移动构造，移动构造本质是将参数右值的资源窃取过来，占位已有，那么就不 用做深拷贝了，所以它叫做移动构造，就是窃取别人的资源来构造自己。

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

现在在运行这行代码：我们会发现，这里没有调用深拷贝的拷贝构造，而是调用了移动构造，移动构造中没有新开空间，拷贝数据，所以效率提高了。

int main()
{
 	lxy::string ret2 = bit::to_string(-1234);
 	return 0;
}


在这里插入图片描述

不仅仅有移动构造，还有移动赋值

在lxy::string类中增加移动赋值函数，再去调用bit::to_string(1234)，不过这次是将bit::to_string(1234)返回的右值对象赋值给ret1对象，这时调用的是移动构造。

让我们运行这行代码：

int main()
{
	lxy::string ret1;
	ret1 = bit::to_string(1234);
	return 0;
}
// 运行结果：
// string(string&& s) -- 移动语义
// string& operator=(string&& s) -- 移动语义

这里运行后，我们看到调用了一次移动构造和一次移动赋值。因为如果是用一个已经存在的对象 接收，编译器就没办法优化了。bit::to_string函数中会先用str生成构造生成一个临时对象，但是 我们可以看到，编译器很聪明的在这里把str识别成了右值，调用了移动构造。然后在把这个临时 对象做为bit::to_string函数调用的返回值赋值给ret1，这里调用的移动赋值。

**STL中的容器都是增加了移动构造和移动赋值: **

string : http://www.cplusplus.com/reference/string/string/string/

string (string&& str) noexcept;

vector : cplusplus.com/reference/vector/vector/vector/

vector (vector&& x);vector (vector&& x, const allocator_type& alloc);

4. move语义

move 本意为 “移动”，但该函数并不能移动任何数据，它的功能很简单，就是将某个左值强制转化为右值。基于 move() 函数特殊的功能，其常用于实现移动语义。move() 函数的用法也很简单，其语法格式如下：

move( arg ) //其中，arg 表示指定的左值对象。该函数会返回 arg 对象的右值形式。

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

int main()
{
	lxy::string s1("hello");
	lxy::string s2(s1);
	lxy::string s3(std::move(s1)); // string(string&& s) -- 资源转移
	return 0;
}

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

list: push_back() www.cplusplus.com/reference/list/list/push_back/

vector push_back() cplusplus.com/reference/vector/vector/push_back/

5.完美转发

模板中的 && 万能引用

  1. 模板中的 &&不代表右值引用，而是万能引用，其既能接受左值又能接受右值。
  2. 模板的万能引用只是提供了能够同时接受左值引用和右值引用的能力。
  3. 但是引用类型的唯一作用就是限制了接受的类型，后续使用中都退化成了左值
  4. 因此我们希望能够在传递过程中保持它的左值或者右值的属性，就需要我们使用完美转发

下面这段代码就是模板的万能引用导致参数退化成左值：

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

在这里插入图片描述

输出结果均为：左值

至此：我们验证了模板的参数中万能引用会导致参数类型退化成左值

解决：使用完美转发。 为了保持原有的属性，我们在传入参数的地方调用std::forward()函数

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

我们再把上述代码Fun(t)修改为Fun(std::forward<T>(t));

在这里插入图片描述

问题得以解决。

完美转发实际中的使用场景：

STL引入完美转发，解决插入右值退化成左值的问题。

此处以list为例,写一个小demo:

template<class T>
struct ListNode
{
	ListNode* _next = nullptr;
	ListNode* _prev = nullptr;
	T _data;
};

template<class T>
class List
{
	typedef ListNode<T> Node;

public:
	List()
	{
		_head = new Node;
		_head->_next = _head;
		_head->_prev = _head;
	}
	void PushBack(T&& x)
	{
		//Insert(_head, x);

		Insert(_head, std::forward<T>(x));
	}
	void PushFront(T&& x)
	{
		//Insert(_head->_next, x);

		Insert(_head->_next, std::forward<T>(x));
	}
	void Insert(Node* pos, T&& x)
	{
		Node* prev = pos->_prev;
		Node* newnode = new Node;
		newnode->_data = std::forward<T>(x); // 关键位置

		// prev newnode pos

		prev->_next = newnode;
		newnode->_prev = prev;
		newnode->_next = pos;
		pos->_prev = newnode;
	}
	void Insert(Node* pos, const T& x)
	{
		Node* prev = pos->_prev;
		Node* newnode = new Node;
		newnode->_data = x; // 关键位置

		// prev newnode pos

		prev->_next = newnode;
		newnode->_prev = prev;
		newnode->_next = pos;
		pos->_prev = newnode;
	}

private:
	Node* _head;
};

int main()
{
	List<lxy::string> lt;
	lt.PushBack("1111");
	lt.PushFront("2222");
	return 0;
}

(本篇完)

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

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

相关文章

【3DsMAX】从零开始建房（3）

【3DsMAX】从零开始建房（3）

目录 步骤 1. 统一材质 2. 制作椅子 3. 制作货物盒 步骤 1. 统一材质 选中所有的模型&#xff0c;按下M键打开材质编辑器 选择精简材质编辑器 选择64示例窗 可以随便选中一个材质球&#xff0c;然后将材质指定给选定对象 然后可以修改线框颜色为黑色 2. 制作椅子 激活…
阅读更多...
【力扣周赛】第348场周赛

【力扣周赛】第348场周赛

【力扣周赛】第348场周赛 2716. 最小化字符串长度题目描述解题思路 2717. 半有序排列题目描述解题思路 2718. 查询后矩阵的和题目描述解题思路 2719. 统计整数数目题目描述解题思路 2716. 最小化字符串长度 题目描述 描述&#xff1a;给你一个下标从 0 开始的字符串 s &#…
阅读更多...
30个接口自动化测试面试题，看过的已经在上班了

30个接口自动化测试面试题，看过的已经在上班了

1. 什么是接口自动化测试&#xff1f; 答&#xff1a;接口自动化测试是指使用自动化工具对接口进行测试&#xff0c;验证接口的正确性、稳定性和性能等方面的指标。2. 为什么要进行接口自动化测试&#xff1f; 答&#xff1a;接口自动化测试可以提高测试效率&#xff0c;减少人…
阅读更多...
STM32 实现简单定时任务调度器，动态创建任务，两种思路实现跑马灯

STM32 实现简单定时任务调度器，动态创建任务，两种思路实现跑马灯

代码实现和硬件没关系&#xff0c;所以并不限于STM32&#xff0c;Arduino 之类的其他地方也能用&#xff0c;只要有一个能获取时间的函数就行&#xff0c;或者说&#xff0c;只要有一个会随着时间自动增加的变量就行&#xff0c;时间单位无所谓&#xff0c;所以确实想的话&…
阅读更多...
地图实火！断货加印，限时折扣抢购通道开启

地图实火！断货加印，限时折扣抢购通道开启

&#xff08;关注公众号点击图片三折购买《社交泛娱乐出海作战地图》&#xff09; 实火&#xff01; 融云自制《社交泛娱乐出海作战地图》 “WICC 泛娱乐出海嘉年华”最热单品 关注【融云全球互联网通信云】了解更多 《出海作战地图》线下首发立刻引爆现场&#xff0c;“如…
阅读更多...
分布式数据库-事务一致性

分布式数据库-事务一致性

version: v-2023060601 author: 路__ 一、什么是“强一致性” 分布式数据库的“强一致性”应该包含两个方面&#xff1a;serializability&#xff08;串行&#xff09; and linearizability&#xff08;线性一致&#xff09;&#xff0c;上述图为“Highly Available Transact…
阅读更多...
Tomcat优化与动静分离

Tomcat优化与动静分离

Tomcat优化 一、Tomcat配置文件参数优化二、负载均衡&#xff0c;动静分离七层代理配置四层代理配置 Tomcat 默认安装下的缺省配置并不适合生产环境&#xff0c;它会频繁出现假死现象需要重启&#xff0c;只有通过不断压测优化才能让它最高效率稳定的运行。优化主要包括三方面&…
阅读更多...
二、tienchin健身系统技术点复现-注解限流

二、tienchin健身系统技术点复现-注解限流

二、tienchin健身系统技术点复现-注解限流 在上一章节写到编写 lua 脚本。基本的配置类都已经创建&#xff0c;下面创建一个 请求获取IP的工具类和全局异常处理即可。 1、创建工具类IpUtils package com.yangjiapo.rate_limiter.utils;import javax.servlet.http.HttpServlet…
阅读更多...
Spark RDD实现分组排行榜

Spark RDD实现分组排行榜

文章目录 一&#xff0c;提出任务二&#xff0c;实现思路三&#xff0c;准备工作1、在本地创建成绩文件2、将成绩文件上传到HDFS上指定目录 四&#xff0c;完成任务1、在Spark Shell里完成任务&#xff08;1&#xff09;读取成绩文件得到RDD&#xff08;2&#xff09;利用映射算…
阅读更多...
kafka系统的架构

kafka系统的架构

系统的架构 主题topic和分区partition topic Kafka中存储数据的逻辑分类&#xff1b;你可以理解为数据库中“表”的概念&#xff1b; 比如&#xff0c;将app端日志、微信小程序端日志、业务库订单表数据分别放入不同的topic partition分区&#xff08;提升kafka吞吐量&#…
阅读更多...
有以下类定义，写出该类的构造函数，析构函数，拷贝构造函数，要求，所有类对象的空间都是用new动态申请。

有以下类定义，写出该类的构造函数，析构函数，拷贝构造函数，要求，所有类对象的空间都是用new动态申请。

有以下类定义&#xff0c;写出该类的构造函数&#xff0c;析构函数&#xff0c;拷贝构造函数&#xff0c;要求&#xff0c;所有类对象的空间都是用new动态申请。 class Stu {string name;int age;int score;int *high; }; #include <iostream> using namespace std; clas…
阅读更多...
XSS-labs靶场通关

XSS-labs靶场通关

目录 level 1 ​level 2 level 3 level 4 level 5 level 6 level 7 level 8 level 9 level 10 level 11 level 12 level 13 level 14 level 15 level 16 level 17 level 18 今天就要开始打xss-labs靶场了&#xff0c;点击图片开始吧 level 1 查看源码发现没…
阅读更多...
Android系统的Ashmem匿名共享内存子系统分析（3）- Ashmem子系统的 C/C++访问接口

Android系统的Ashmem匿名共享内存子系统分析（3）- Ashmem子系统的 C/C++访问接口

声明 其实对于Android系统的Ashmem匿名共享内存系统早就有分析的想法&#xff0c;记得2019年6、7月份Mr.Deng离职期间约定一起对其进行研究的&#xff0c;但因为我个人问题没能实施这个计划&#xff0c;留下些许遗憾…文中参考了很多书籍及博客内容&#xff0c;可能涉及的比较…
阅读更多...
基于深度学习的高精度人体摔倒行为检测识别系统（PyTorch+Pyside6+YOLOv5模型）

基于深度学习的高精度人体摔倒行为检测识别系统（PyTorch+Pyside6+YOLOv5模型）

摘要&#xff1a;基于深度学习的高精度人体摔倒行为检测识别系统可用于日常生活中或野外来检测与定位人体摔倒行为目标&#xff0c;利用深度学习算法可实现图片、视频、摄像头等方式的人体摔倒行为目标检测识别&#xff0c;另外支持结果可视化与图片或视频检测结果的导出。本系…
阅读更多...
前端学习--Vue3.0(1)

前端学习--Vue3.0(1)

1使用create-vue搭建Vue3项目 1.1 认识create-vue create-vue是Vue官方新的脚手架工具&#xff0c;底层切换到了 vite&#xff08;下一代前端工具链&#xff09;&#xff0c;为开发提供极速响应 create-vue基于vite vue-cli基于webpack 1.2 创建项目 需要16.0及以上的node.j…
阅读更多...
机器学习笔记：深度学习模型复杂度

机器学习笔记：深度学习模型复杂度

1 时间复杂度&#xff08;模型运算次数&#xff09; 决定了模型的训练/预测时间用FLOPs指代 机器学习笔记&#xff1a;FLOPs_flop 机器学习_UQI-LIUWJ的博客-CSDN博客 2 空间复杂度&#xff08;模型参数数量&#xff09; 决定了模型的参数数量 2.1 全连接层参数量 包含bias…
阅读更多...
EBU6304 Software Engineering 知识点总结_6 项目管理_下 Design Patterns

EBU6304 Software Engineering 知识点总结_6 项目管理_下 Design Patterns

Design Patterns Decorator Design pattern 用于扩展系统功能的装饰模式。 比如我们有一个鸭子类&#xff0c;可以调用其鸭子叫的方法。我们初始化了一个鸭子对象&#xff0c;如何统计这个对象叫了几次&#xff0c;也就是其鸭子叫方法被调用了几次&#xff1f;记住OCP原则不…
阅读更多...
mysql 在 linux下的安装 和 配置

mysql 在 linux下的安装 和 配置

文章目录 1. linux 安装mysql1. 源码安装1.找到源码包2&#xff1a; 进行配置3&#xff1a;初始化数据目录官方说明 自用4&#xff1a;启动数据库5:写入环境变量 2&#xff1a;使用yum安装1. 直接配置mysql仓库 或者下载MySQL Yum Repository2&#xff1a;安装启动进入mysql 3&…
阅读更多...
整理推荐 6 个超好用的平面设计网站！

整理推荐 6 个超好用的平面设计网站！

本文将为大家介绍了 6 个最佳学习平面设计的网站&#xff0c;包括即时设计、Behance、Awwwards、Dribbble、Designinspiration 和 Pinterest。选择学习平面设计网站需要考虑匹配自己的设计风格、是否具有局限性等&#xff0c;可以试用几个网站后选择最合适的。 1、即时设计 即…
阅读更多...
我们投出去的简历为什么已读不回？来看面试官如何筛选简历、挑选求职者？

我们投出去的简历为什么已读不回？来看面试官如何筛选简历、挑选求职者？

目录 前言&#xff1a; 应届生 1、看学历 2、看实习经历 3、看专业 职场人士 面试官喜欢问什么问题 总结 前言&#xff1a; 金三银四&#xff0c;是求职者蠢蠢欲动的季节&#xff0c;亦是企业摩拳擦掌的季节。 因为作为企业的一名金牌面试官&#xff0c;我收到的内推…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023