C++语法|引用的本质、左值引用、右值引用

2024-05-11 15:44

本文主要是介绍C++语法|引用的本质、左值引用、右值引用,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

推荐一篇博客,讲的非常详细,本文主要从汇编角度分析了他们到底是个啥
详解 C++ 左值、右值、左值引用以及右值引用

文章目录

  • 引用的基本概念
  • CPU 眼里的引用和指针
  • 左值和右值
    • 1.左值
    • 2.右值
    • 总结
  • 左值引用
    • const左值引用的本质
  • 右值引用
    • 右值引用的使用
    • 汇编角度理解右值引用

引用的基本概念

在最基本的理解中,引用是某块内存的别名,并且下面代码也体现了如何使用引用变量来引用数组

int a = 10;
int &b = a;//定义引用变量来引用数组
int array[5] = { }; //占用空间20
int *p = array; //占用空间4
int (&refArr)[5] = array //占用20 sizeof(q)

指向10的这块内存,既可以叫a,也可以叫b。对于数组array而言,refArr就是它的别名,所以访问refArr也就是访问array。

CPU 眼里的引用和指针

引用是一种更加安全的指针,引用是必须初始化的,而指针可以不初始化,所以我们在使用引用时,是大概率安全,但是指针有可能是一个野指针,也有可能是一个null指针,需要开发者自己来保证它的正确性。

但其实,从汇编的角度来看,引用和指针做的事情是一模一样的

int a = 10;
int *p = &a;// lea eax, [a]取a地址	mov dword ptr[p], eax将a的地址放到p的内存中
int &b = a;// lea eax, [a]取a地址	mov dword ptr[b], eax将a的地址放到b的内存中*p = 20; //mov eax.dword ptr [p]	mov dword ptr [eax], 14h
b = 30; //mov eax.dword ptr [p]	    mov dword ptr [eax], 1Eh

从本质上来说,引用和指针没有任何区别,唯一的区别就是语法规则层面:
(1)引用非常简洁,特别是在读、写的时候,不需要向指针那样加上*操作
(2)指针可以被赋为NULL: int* p = NULL,但是引用不行: int &r = NULL是错误的
(3)指针可以随时改变它所指向的变量,而引用不能随意改变它所引用的变量,否则,会被视为重新定义了一个已经存在的引用变量
(4)指针存在“指针的指针”,而引用不存在“引用的引用”

综上所述,引用最最本质的,其实就是“指针常量”,例如:int* const p = &a;

左值和右值

首先要有一个简单的概念(继承自C):左值可以位于赋值语句的左侧,右值则不能。

在C++中,二者的区别:当一个对象被用作右值的时候,用的是对象的值(内容);当对象被用作左值的时候,用的是对象的身份(在内存中的位置)

1.左值

这里介绍几种常见的左值:

  • 赋值运算符得到的结果是左值
  • 解引用运算符、下标运算符、迭代器解引用运算符等等求值结果都是左值;
// 以下的a、p、*p、b都是左值
int a = 3;
int* p = &a;
*p;
const int b = 2;

2.右值

右值也是一个表示数据的表达式,比如:字面常量、表达式返回值,传值返回函数的返回值(是传值返回,而非传引用返回),最典型的取地址符作用于一个左值运算对象,返回一个指向该运算对象的指针,这个指针是右值。

double x = 1.3, y = 3.8 
10;		//字面量
x + y;	//表达式返回值
fmin(x, y)	//传值返回函数的返回值
&x;	//解引用运算符
&y;	//解引用运算符

总结

左值是表达式的持久对象,它有明确的存储位置,而右值是临时的,通常不具有可识别的存储位置,主要用于立即操作或赋值。区分左值和右值,终究还是要看能否取地址

左值引用

左值引用就是对左值的引用,理解为给左值取别名,这里不加论述。

还需要关注的是:

  1. 左值引用只能引用左值,不能直接引用右值。
  2. 但是const左值引用既可以引用左值,也可以引用右值
// 1.左值引用只能引用左值
int t = 8;
int& rt1 = t;//int& rt2 = 8;  // 编译报错,因为10是右值,不能直接引用右值// 2.但是const左值引用既可以引用左值
const int& rt3 = t;/*
int temp = 20;
temp -> rt4
*/
const int& rt4 = 8;  // 也可以引用右值
const double& r1 = x + y;
const double& r2 = fmin(x, y);

const左值引用的本质

对于该段代码来说

const int& rt4 = 20;  

从汇编上看其实就是:

mov dword ptr [ebp-48h], 14h//创建一个临时变量(在栈上),把20移动到哪个临时变量中
lea eax, [ebp-48h]			//将临时变量的值放入寄存器中
mov dword ptr [rt4], eax		//最后把寄存器中的值赋给变量c

跟右值引用没有任何区别:汇编角度理解右值引用。但是由于语法上的限制,const左值引用是不能再修改变量值的。

右值引用

右值引用有一个重要的性质——只能绑定到一个将要销毁的对象。因此,我们可以自由地将一个右值引用的资源“移动”到另一个对象中。“移动”是相对于拷贝的概念,很多时候都会发生对象拷贝,但是其中某些情况这些对象拷贝立即就被销毁了,所以我们需要移动而非拷贝对象来大幅度提升性能。

右值引用的使用

// 以下几个是对上面右值的右值引用
int&& rr1 = 10;
double&& rr2 = x + y;
double&& rr3 = fmin(x, y);

右值引用引用右值,会使右值被存储到特定的位置
也就是说,右值引用变量其实是左值,可以对它取地址和赋值(const右值引用变量可以取地址但不可以赋值,因为 const 在起作用)。
当然,取地址是指取变量空间的地址(右值是不能取地址的)

double&& rr2 = x + y;
&rr2;
rr2 = 9.4;const double&& rr4 = x + y;
&rr4;

汇编角度理解右值引用

int &&c = 20;

在汇编中就是

mov dword ptr [ebp-20h], 14h//创建一个临时变量(在栈上),把20移动到哪个临时变量中
lea eax, [ebp-30h]			//将临时变量的值放入寄存器中
mov dword ptr [c], eax		//最后把寄存器中的值赋给变量c

这篇关于C++语法|引用的本质、左值引用、右值引用的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/979962

相关文章

Python正则表达式语法及re模块中的常用函数详解

《Python正则表达式语法及re模块中的常用函数详解》这篇文章主要给大家介绍了关于Python正则表达式语法及re模块中常用函数的相关资料,正则表达式是一种强大的字符串处理工具,可以用于匹配、切分、... 目录概念、作用和步骤语法re模块中的常用函数总结 概念、作用和步骤概念: 本身也是一个字符串,其中

C++如何通过Qt反射机制实现数据类序列化

《C++如何通过Qt反射机制实现数据类序列化》在C++工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作,所以本文就来聊聊C++如何通过Qt反射机制实现数据类序列化吧... 目录设计预期设计思路代码实现使用方法在 C++ 工程中经常需要使用数据类,并对数据类进行存储、打印、调试等操作。由于数据类

Mysql用户授权(GRANT)语法及示例解读

《Mysql用户授权(GRANT)语法及示例解读》:本文主要介绍Mysql用户授权(GRANT)语法及示例,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录mysql用户授权(GRANT)语法授予用户权限语法GRANT语句中的<权限类型>的使用WITH GRANT

HTML5表格语法格式详解

《HTML5表格语法格式详解》在HTML语法中,表格主要通过table、tr和td3个标签构成,本文通过实例代码讲解HTML5表格语法格式,感兴趣的朋友一起看看吧... 目录一、表格1.表格语法格式2.表格属性 3.例子二、不规则表格1.跨行2.跨列3.例子一、表格在html语法中,表格主要通过< tab

Linux下如何使用C++获取硬件信息

《Linux下如何使用C++获取硬件信息》这篇文章主要为大家详细介绍了如何使用C++实现获取CPU,主板,磁盘,BIOS信息等硬件信息,文中的示例代码讲解详细,感兴趣的小伙伴可以了解下... 目录方法获取CPU信息:读取"/proc/cpuinfo"文件获取磁盘信息:读取"/proc/diskstats"文

Java使用ANTLR4对Lua脚本语法校验详解

《Java使用ANTLR4对Lua脚本语法校验详解》ANTLR是一个强大的解析器生成器,用于读取、处理、执行或翻译结构化文本或二进制文件,下面就跟随小编一起看看Java如何使用ANTLR4对Lua脚本... 目录什么是ANTLR?第一个例子ANTLR4 的工作流程Lua脚本语法校验准备一个Lua Gramm

Java字符串操作技巧之语法、示例与应用场景分析

《Java字符串操作技巧之语法、示例与应用场景分析》在Java算法题和日常开发中,字符串处理是必备的核心技能,本文全面梳理Java中字符串的常用操作语法,结合代码示例、应用场景和避坑指南,可快速掌握字... 目录引言1. 基础操作1.1 创建字符串1.2 获取长度1.3 访问字符2. 字符串处理2.1 子字

C++使用printf语句实现进制转换的示例代码

《C++使用printf语句实现进制转换的示例代码》在C语言中,printf函数可以直接实现部分进制转换功能,通过格式说明符(formatspecifier)快速输出不同进制的数值,下面给大家分享C+... 目录一、printf 原生支持的进制转换1. 十进制、八进制、十六进制转换2. 显示进制前缀3. 指

C++中初始化二维数组的几种常见方法

《C++中初始化二维数组的几种常见方法》本文详细介绍了在C++中初始化二维数组的不同方式,包括静态初始化、循环、全部为零、部分初始化、std::array和std::vector,以及std::vec... 目录1. 静态初始化2. 使用循环初始化3. 全部初始化为零4. 部分初始化5. 使用 std::a

C++ vector的常见用法超详细讲解

《C++vector的常见用法超详细讲解》:本文主要介绍C++vector的常见用法,包括C++中vector容器的定义、初始化方法、访问元素、常用函数及其时间复杂度,通过代码介绍的非常详细,... 目录1、vector的定义2、vector常用初始化方法1、使编程用花括号直接赋值2、使用圆括号赋值3、ve