C++的左值、右值、左值引用和右值引用

目录

  • 左值和右值
  • 左值引用
  • 右值引用

参考《现代C++语言核心特性解析》

以下加粗文字都是摘自本书。

左值和右值

左值和右值得概念在C++98就出现了,根据字面意思理解就是:左值是表达式等号左边的值,右值是表达式等号右边的值。

int x = 1;
int y = 3;
int z = x + y;

其中,x、y和z是左值,1、3、x + y的值是右值。

但是用这种方式去判断太过简单,而且不准确,例如:

int b = a;

其中a是左值不是右值。

摘自《现代C++语言核心特性解析》:在C++中所谓的左值一般是指一个指向特定内存的具有名称的值(具名对象),它有一个相对稳定的内存地址,并且有一段较长的生命周期。而右值则是不指向稳定内存地址的匿名值(不具名对象),它的生命周期很短,通常是暂时性的。基于这一特征,我们可以用取地址符&来判断左值和右值,能取到内存地址的值为左值,否则为右值。还是以上面的代码为例,因为&a和&b都是符合语法规则的,所以a和b都是左值,而&1在GCC中会给出“lvalue required as unary ‘&’ operand”错误信息以提示程序员&运算符需要的是一个左值。

总结:能取到内存地址的值是左值,否则为右值。

但有时候通过直觉去判断是不准确的,比如:

int x = 1;int get_val()
{return x;
}void set_val(int val)
{x = val;
}int main() 
{x++;++x;int y = get_val();set_val(6);
}

在上面的代码中,x++是一个右值,++x是一个左值。因为对于后置++,编译器会生成一份x的临时复制,然后才对x自增,返回临时复制的内容,所以后置++是右值。

int a = &x++; // 编译失败
int a = &++x; // 编译成功

对于get_val函数,x作为全局变量是一个左值,但在返回x值时编译器会产生一份x的临时复制,还是右值。

int a = &get_val(); // 编译失败

对于set_val函数,set_val(6)中的6是一个右值,但是进入函数之后val变成一个左值,所以可以对val取地址。

void set_val(int val)
{int a = &val; // 编译成功x = val;
}

还需要强调一点,通常字面常量都是右值,但是字符串常量除外。

int x = &1; // 编译失败
auto p = &"hello world" // 编译成功

毕竟&"hello world"的语法也很少看到。但是这段代码是可以编译成功的,其实原因仔细想来也很简单,编译器会将字符串字面量存储到程序的数据段中,程序加载的时候也会为其开辟内存空间,所以我们可以使用取地址符&来获取字符串字面量的内存地址。

左值引用

左值引用的出现使C++编程脱离了使用指针的危险,当我们需要将一个对象作为函数的参数时,会使用左值引用,这种方式会免去创建临时对象的操作。

左值引用细分可以分为非常量左值引用常量左值引用

非常量左值只能引用左值,不能引用右值。
常量左值可以引用左值,也可以引用右值。

	int &a = 1; // 编译失败int x = 1;const int& b = 1;	// 常量左值引用右值const int& c = x;	// 常量左值引用左值

请注意,虽然在结果上const int &x =11和const int x = 11是一样的,但是从语法上来说,前者是被引用了,所以语句结束后11的生命周期被延长,而后者当语句结束后右值11应该被销毁。虽然常量左值引用可以引用右值的这个特性在赋值表达式中看不出什么实用价值,但是在函数形参列表中却有着巨大的作用。一个典型的例子就是复制构造函数和复制赋值运算符函数,通常情况下我们实现的这两个函数的形参都是一个常量左值引用,例如:

#include <iostream>class MyClass
{
public:MyClass(){}MyClass(const MyClass&){}MyClass& operator=(const MyClass&){return *this;}
};MyClass MakeMyClass()
{return MyClass();
}int main()
{MyClass x1;MyClass x2(x1);MyClass x3(MakeMyClass());x3 = MakeMyClass();system("pause");return 0;
}

以上代码可以通过编译,但是如果把拷贝构造函数和赋值构造函数形参的常量性去掉,就编译不过了。因为非常量左值无法引用MakeMyClass()返回的右值,所以常量左值引用右值是一条非常棒的特性,但是也有弊端。一旦使用了常量左值,就不能在函数里去修改对象的内容(强制类型转换除外),所以在这种情况下诞生了右值引用。

右值引用

右值引用是一种引用右值且只能引用右值的方法。

左值引用是在类型后面加&,右值引用是在类型后面加&&。

	int x = 1;int& a = x;		// 左值引用int&& k = 2;	// 右值引用

右值引用最大的特点是延长了右值的生命周期。

举例:

#include <iostream>class BigMemoryPool
{
public:BigMemoryPool(){std::cout << "普通构造函数" << std::endl;}~BigMemoryPool(){std::cout << "析构函数" << std::endl;}BigMemoryPool(const BigMemoryPool &other){std::cout << "拷贝构造函数" << std::endl;}void show(){std::cout << "调用函数" << std::endl;}
};BigMemoryPool Make()
{BigMemoryPool resultA;return resultA;
}int main()
{BigMemoryPool &&my_pool = Make();my_pool.show();return 0;
}

请注意,用GCC编译以上代码需要加上命令行参数-fno-elide-constructors用于关闭函数返回值优化(RVO)。因为GCC的RVO优化会减少复制构造函数的调用,不利于语言特性实验。

但是我用G++编译,命令行是

g++ -std=c++11 -fno-elide-constructors main.cpp -o main

以上代码会调用三次构造函数,注释中的1、2、3会各调用一次构造函数。

输出结果:

PS C:\Users\zh'n\Desktop\新建文件夹> g++ -std=c++11 -fno-elide-constructors main.cpp -o main
PS C:\Users\zh'n\Desktop\新建文件夹> ./main
普通构造函数
拷贝构造函数
析构函数
拷贝构造函数
析构函数
调用函数
析构函数

如果我们将"3“改为

BigMemoryPool &&my_pool = Make();

会调用两次构造函数,第一次是Make函数中resultA的默认构造,第二次是return resultA引发的复制构造。不同的是,由于x2是一个右值引用,引用的对象是函数Make返回的临时对象,因此该临时对象的生命周期得到延长,所以我们可以在BigMemoryPool &&my_pool = Make();语句结束后继续调用show函数而不会发生任何问题。

输出结果

PS C:\Users\zh'n\Desktop\新建文件夹> g++ -std=c++11 -fno-elide-constructors main.cpp -o main
PS C:\Users\zh'n\Desktop\新建文件夹> ./main
普通构造函数
拷贝构造函数
析构函数
调用函数
析构函数

对性能敏感的读者应该注意到了,延长临时对象生命周期并不是这里右值引用的最终目标,其真实目标应该是减少对象复制,提升程序性能。

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

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

相关文章

《天天爱科学》期刊国家级知网投稿

《天天爱科学》国家级期刊知网收录&#xff0c;投稿方向&#xff1a;幼儿教育、基础教育文章&#xff0c;不收案例分析、教学设计、图表讲解、例题分析。 刊名&#xff1a;天天爱科学 主管单位&#xff1a;中国出版传媒股份有限公司 主办单位&#xff1a;人民文学出版社有限…

记录 | 报错:libssl-dev : 依赖: libssl3 (= 3.0.8-1ubuntu1.1) 但是 3.0.8-1ubuntu1.2 正要被安装

ubuntu 上安装 libssl-dev 失败的报错解决 报错&#xff1a; 下列软件包有未满足的依赖关系&#xff1a; libssl-dev : 依赖: libssl3 ( 3.0.8-1ubuntu1.1) 但是 3.0.8-1ubuntu1.2 正要被安装 E: 无法修正错误&#xff0c;因为您要求某些软件包保持现状&#xff0c;就是它们破…

jmeter接口测试之登录测试

注册登录_登陆接口文档 1.登录 请求地址&#xff1a; POST xxxxxx/Home/Login 请求参数&#xff1a; args{LoginName:"mtest", // 登录名&#xff0c;可以为用户名或邮箱Password:"123456" // 密码" }响应数据&#xff1a; 成功 {"S…

docker 资源控制

Docker的资源控制 对容器使用宿主机的资源进行限制&#xff0c;如cpu&#xff0c;内存&#xff0c;磁盘I/O Docker使用linux自带的功能cgroup(control grouos)是linux内核系统提供的一种可以限制&#xff0c;记录&#xff0c;隔离进程组使用的物理资源 Docker借助这个机制&…

ARM:作业3

按键中断代码编写 代码: key_it.h #ifndef __KEY_IT_H__ #define __KEY_IT_H__#include "stm32mp1xx_gpio.h" #include "stm32mp1xx_exti.h" #include "stm32mp1xx_rcc.h" #include "stm32mp1xx_gic.h"void key1_it_config(); voi…

Chat-Gpt 提示攻略

Chat-Gpt 提示攻略 本篇文章的内容皆来自《ChatGPT 提示的艺术: 制作清晰有效的提示的指南》&#xff0c;本文章根据阅读以后总结出来 提示的关键原则 语言表达清晰&#xff0c;切忌模拟两可明确的目的&#xff0c;切忌话题脱轨及话题散漫相关性&#xff0c;切忌不掺杂与目的…

记录每日LeetCode 72.编辑距离 Java实现

题目描述&#xff1a; 给你两个单词 word1 和 word2&#xff0c; 请返回将 word1 转换成 word2 所使用的最少操作数 。 你可以对一个单词进行如下三种操作&#xff1a; 插入一个字符删除一个字符替换一个字符 初始代码&#xff1a; class Solution {public int minDistan…

WPF的WebBrowser控件

在 WPF 中显示网页&#xff0c;你可以使用 WebBrowser 控件来实现。WebBrowser 控件是一个嵌入式的浏览器控件&#xff0c;可以加载和显示网页内容。 以下是在 WPF 中显示网页的示例代码&#xff1a; <Window x:Class"WpfApp.MainWindow"xmlns"http://sche…

基于 ESP32-S3 的 Walter 开发板

Walter 是一款基于 ESP32-S3 且拥有 5G LTE 连接功能的新型开源开发套件。 近日&#xff0c;比利时公司 DPTechnics BV 推出了一款基于乐鑫 ESP32-S3 且拥有 5G LTE 连接功能的新型开源开发套件。该套件即将在 Crowd Supply 平台上发布&#xff0c;您可以点击此处了解详情。 无…

class068 更多的动态规划【算法】

class068 更多的动态规划【算法】 算法讲解068【必备】见识更多二维动态规划题目 code1 115. 不同的子序列 // 不同的子序列 // 给你两个字符串 s 和 t &#xff0c;统计并返回在 s 的 子序列 中 t 出现的个数 // 测试链接 : https://leetcode.cn/problems/distinct-subseque…

Mac如何设置control+space切换上一中输入法

#设置方法# *搜索输入法 系统设置-搜索&#xff1a;输入法&#xff0c;并点击键盘快捷键 *点击输入法&#xff0c;勾选&#xff1a;选择上一个输入法&#xff0c;点击完成。

漂亮的WPF界面 流行的一个界面,向上悬浮的窗口,终于试成功了

目前随便打开个APP&#xff0c;就可以看到一个悬浮的窗口 今天测试一下目前流行的一个界面&#xff0c;向上悬浮的窗口&#xff0c;终于试成功了。看着还不错的。

AcWing刷题(循环语句)------C语言版

1.&#xff08;708&#xff09;偶数&#xff1a; 编写一个程序&#xff0c;输出 11 到 100100 之间&#xff08;包括 11 和 100100&#xff09;的全部偶数。 输入格式 无输入。 输出格式 输出全部偶数&#xff0c;每个偶数占一行。 输入样例 No input 输出样例 2 4 6 ...…

详解FreeRTOS:事件标志组(高级篇—5)

目录 1、事件运作机制 2、事件标志组数据类型 3、创建事件标志组 4、设置事件位

.net core提示The xx field is required,One or more validation errors occurred

访问接口时缺少model中的参数时&#xff0c;会提示&#xff1a; The xx field is required One or more validation errors occurred原因是.net core webapi默认参数为不可空&#xff0c;因此会验证并报错。 解决方案&#xff1a; 在项目的.csproj中&#xff0c;修改Nullable…

php面试题

面试题1: 反转字符串 编写一个PHP函数&#xff0c;接受一个字符串参数&#xff0c;并返回该字符串的反转版本。 <?php function reverseString($str) {return strrev($str); }// 测试示例 $string "Hello, World!"; $reversedString reverseString($string);…

Leetcode—2960.统计已测试设备【简单】

2023每日刷题&#xff08;五十六&#xff09; Leetcode—2960.统计已测试设备 实现代码 int countTestedDevices(int* batteryPercentages, int batteryPercentagesSize) {int cnt 0;int ans 0;for(int i 0; i < batteryPercentagesSize; i) {int t batteryPercentage…

Linux软件管理:rpm软件包与yum管理工具

linux 软件 大家有想过平时我们使用的软件原本的样子都是什么嘛&#xff0c;像.exe 运行程序还有 linux 上的可执行文件&#xff0c;其实按照我的理解都是文件&#xff0c;使用想要规范的文本编写&#xff0c;然后经过编译的一个符合不同平台规范的可执行程序&#xff0c;本质就…

​logging --- Python 的日志记录工具​

源代码&#xff1a; Lib/logging/__init__.py Important 此页面仅包含 API 参考信息。教程信息和更多高级用法的讨论&#xff0c;请参阅 基础教程 进阶教程 日志记录操作手册 这个模块为应用与库实现了灵活的事件日志系统的函数与类。 使用标准库提供的 logging API 最主…

FIO jobs参数在Linux IO路径的解读

并发进程&#xff1a; fio工具可以创建多个并行运行的工作负载&#xff08;jobs&#xff09;&#xff0c;每个job代表一个独立的I/O线程。jobs参数决定了同时运行的job数量&#xff0c;这将直接影响到系统的资源分配和管理。 内核调度器&#xff1a; 在Linux内核中&#xff0c…