C++ 引用的本质_c++中引用的作用是什么

C++ 引用的本质_c++中引用的作用是什么引用是C++引入的重要机制,它使原来在C中必须用指针实现的功能有了另一种实现的选择,在书写形式上更为简洁。那么引用的本质是什么,它与指针又有什么关系呢?

大家好,又见面了,我是你们的朋友全栈君。如果您正在找激活码,请点击查看最新教程,关注关注公众号 “全栈程序员社区” 获取激活教程,可能之前旧版本教程已经失效.最新Idea2022.1教程亲测有效,一键激活。

Jetbrains全家桶1年46,售后保障稳定

代码运行环境:Windows7 32bits+VS2017+Win32。

引用是 C++ 引入的重要特性,它使原来在 C 中必须用指针实现的功能有了另一种实现的选择,在书写形式上更为简洁。那么引用的本质是什么,它与指针又有什么关系呢?

1.引用的底层实现方式

引用被称为变量的别名,它不能脱离被引用对象独立存在,这是在高级语言层面的概念和理解,并未揭示引用的实现方式。常见错误说法是“引用“自身不是一个变量,甚至编译器可以不为引用分配空间。

实际上,引用本身是一个变量,只不过这个变量的定义和使用与普通变量有显著的不同。为了解引用变量底层实现机制,考查如下代码:

int i = 5;
int &ri = i;
ri = 8;

Jetbrains全家桶1年46,售后保障稳定

在Visual Studio 2017环境的debug模式调试代码,反汇编查看源码对应的汇编代码的步骤是:调试->窗口->反汇编,即可得到如下原码对应的汇编代码:

int i=5;
00A013DE  mov        dword ptr [i],5    	//将文字常量5送入变量i
int &ri=i;
00A013E5  lea        eax,[i]  	 	    	//将变量i的地址送入寄存器eax
00A013E8  mov        dword ptr [ri],eax  	//将寄存器的内容(也就是变量i的地址)送入变量ri
ri=8;
00A013EB  mov        eax,dword ptr [ri]  	//将变量ri的值送入寄存器eax
00A013EE  mov        dword ptr [eax],8   	//将数值8送入以eax的内容为地址的单元中
return 0;
00A013F4  xor        eax,eax

在汇编代码中,ri 的数据类型为 dword。也就是说,ri 要在内存中占据 4 个字节的位置。所以,ri 的确是一个变量,它存放的是被引用对象的地址。

通常情况下,地址是由指针变量存放的,那么指针变量和引用变量有什么区别呢?

使用指针常量实现上面的代码功能。考查如下代码:

int i = 5;
int* const pi = &i;
*pi = 8;

按照相同的方式,在 VS2017 中得到如下汇编代码:

int i=5;
011F13DE  mov         dword ptr [i],5  
int * const pi=&i;
011F13E5  lea         eax,[i]  
011F13E8  mov         dword ptr [pi],eax  
*pi=8;
011F13EB  mov         eax,dword ptr [pi]  
011F13EE  mov         dword ptr [eax],8  

观察以上代码可以看出:
(1)只要将pi换成ri,所得汇编代码与第一段所对应的汇编代码完全一样。所以,引用变量在功能上等于一个指针常量,即一旦指向某一个单元就不能在指向别处。
(2)在底层,引用变量由指针按照指针常量的方式实现。

2.高级语言层面引用与指针常量的关系

(1)在内存中都是占用4个字节(32bits系统中)的存储空间,存放的都是被引用对象的地址,都必须在定义的同时进行初始化。

(2)指针常量本身(以p为例)允许寻址,即&p返回指针常量(常变量)本身的地址,被引用对象用*p表示;引用变量本身(以r为例)不允许寻址,&r返回的是被引用对象的地址,而不是变量r的地址(r的地址由编译器掌握,程序员无法直接对它进行存取),被引用对象直接用r表示。

(3)凡是使用了引用变量的代码,都可以转换成使用指针常量的对应形式的代码,只不过书写形式上要繁琐一些。反过来,由于对引用变量使用方式上的限制,使用指针常量能够实现的功能,却不一定能够用引用来实现。

例如,下面的代码是合法的:

int i=5, j=6;
int* const array[]={ 
   &i,&j};

而如下代码是非法的:

int i=5, j=6;
int& array[]={ 
   i,j};

也就是说,数组元素允许是指针常量,却不允许是引用。C++语言机制如此规定,原因是避免C++语法变得过于晦涩。假如定义一个“引用的数组”,那么array[0]=8;这条语句该如何理解?是将数组元素array[0]本身的值变成8呢,还是将array[0]所引用的对象的值变成8呢?对于程序员来说,这种解释上的二义性对正确编程是一种严重的威胁,毕竟程序员在编写程序的时候,不可能每次使用数组时都要回过头去检查数组的原始定义。

3.改变引用指别的对象

C++ 规定,引用变量在定义的时候就必须初始化,也即是将引用变量与被引用对象进行绑定。而这种引用关系一旦确定就不允许改变,直到引用变量结束其生命期。这种规定是在高级语言的层面上,由 C++ 编译器所做的检查来保障实施的。在特定的环境下,利用特殊的手段,还是可以在运行时动态地改变一个引用变量与被引用对象的对应关系,使引用变量指向一个别的对象。

#include <iostream>
using namespace std;

int main(int argc,char* argv[]) { 
   
	int i=5,j=6;
	int &r=i;
	void *pi,*pj;
	int* addr;
	int dis;

	pi=&i;    //取整型变量i的地址
	pj=&j;    //取整型变量j的地址
	dis=(int)pj-(int)pi;//计算连续两个整型变量的内存地址之间距离
	addr=(int*)((int)pj+dis);//计算引用变量r在内存中的地址

	cout<<"&i:"<<pi<<endl;
	cout<<"&j:"<<pj<<endl;
	cout<<"&pi:"<<&pi<<endl;
	cout<<"&pj:"<<&pj<<endl;
	cout<<"&addr:"<<&addr<<endl;
	cout<<"&dis:"<<&dis<<endl;
	cout<<"distance:"<<dis<<endl;
	
	(*addr)=(int)&j;    //将j的地址赋给引用r(此处把r看作指针)
	
	cout<<"addr:"<<addr<<endl;
	r=100;
	cout<<i<<" "<<j<<endl;
	return 0;
}

这个程序在 Debug 模式下输出结果如下:

&i:0038FC1C
&j:0038FC10
&pi:0038FBF8
&pj:0038FBEC
&addr:0038FBE0
&dis:0038FBD4
distance:-12
addr:0038FC04
5 100

仔细观察代码和输出结果可以得出如下结论:

(1)Win32(Windows 32bits)平台下,int 型变量和指针变量都占用 4 个字节,但是 &i-&j=-12 并非想象中的 4。
一是局部变量存储在栈空间,栈在主存中的生长方向是从高地址到低地址,因此i和j的地址差为负数;
二是 Debug 模式下,int 变量前后均添加 4 个字节的调试信息,故一个 int 占用了 12 字节。模式设为 Release,就会发现栈上连续定义的 int 变量,地址相差 4 个字节。

(2)指针变量 pi 与 int 变量 j 地址间相差了 24 字节,按照推理,如果引用r不占用内存空间,那么地址差应该为 12 字节,这也说明了引用变量在内存占用空间。

(3)将引用变量r理解成指针,间接的获取r的地址并修改 r 的值,使r指向变量 j。从引用的角度理解就是将引用 r 与 j 绑定。对 r 赋值,结果显示 j 的值被修改。

以上代码较为诡异,实际编程绝不提倡大家模仿。利用以上程序可以看出“引用“本身的确是一个变量,它存放被引用对象的地址。并且,利用特殊手段能够找到这个引用变量的地址并修改其自身在内存中的值,从而实现与其他对象的绑定。

这个程序在 VS 环境下的 Release 模式编译不通过,会出现内存访问冲突,无法通过引用变量 r 修改 j 的值,可能与 Release 模式下编译器对引用的优化有关。与此同时,该程序可移植性很差,在 64bits 平台上,由指针转换为 int 可能会发生截断从而丢失数据。其次,如果引用变量前的变量不是 int 型,考虑到内存对齐等因素,要准确计算引用变量的地址不是一件容易的事,很可能跟具体的编译器和运行环境相关。因此,研究此程序的目的是为了对引用变量的底层实现机制有所了解。在实际使用中,还是要遵循 C++ 语言对引用制定的规范。


参考文献

陈刚.C++高级进阶教程[M].武汉:武汉大学出版社,2008.
vs栈上连续定义的int变量,地址为什么相差12个字节

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/226870.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)


相关推荐

  • SAP_FICO常用BAPI

    SAP_FICO常用BAPI1、检查创建凭证所需数据是否正确BAPI_ACC_DOCUMENT_CHECK;   2、创建凭证BAPI_ACC_DOCUMENT_POST。

  • WebSocket介绍和Socket的区别

    WebSocket介绍和Socket的区别  WebSocket介绍与原理WebSocketprotocol是HTML5一种新的协议。它实现了浏览器与服务器全双工通信(full-duplex)。一开始的握手需要借助HTTP请求完成。——百度百科目的:即时通讯,替代轮询网站上的即时通讯是很常见的,比如网页的QQ,聊天系统等。按照以往的技术能力通常是采用轮询、Comet技术解决。HTTP协议是非持久化的,单向的网…

  • 代理设计模式详解(java版本)

    代理设计模式详解(java版本)

  • 判断同构数 c语言程序(java人脸识别算法)

    给定的两个邻接矩阵,判断其三个必要非充分条件:①结点数目相同②变数相同③度数相同的结点数相同以①②③为前提进行矩阵变换,看给定的两个矩阵中,其中的一个矩阵是否能变换为另一个矩阵;实现代码和说明:#include<iostream>#include<stdlib.h>#defineMAX100usingnamespacestd;structAdjacencyMatrix{//邻接矩阵intpoints;/

  • 示波器的存储深度[通俗易懂]

    示波器的存储深度[通俗易懂]采集时间窗口=存储深度/采样率安捷伦的9000系列示波器在界面左上角上有显示采样率和存储深度,单位为MSa/s或者GSa/s已经Mpts,Mpts代表存储深度,pts是points的缩写,Mpts是指M个点。在每通道的存储深度为1Mpts的设置下,示波器可以10GSa/s采样率捕获1ms的波形。同一示波器,但每通道的存储深度是100Mpts的设置,那么在采样率相同的条件下可以捕获10ms…

  • 如何零基础开始自学Python编程「建议收藏」

    如何零基础开始自学Python编程「建议收藏」转载——原作者:赛门喵链接:https://www.zhihu.com/question/29138020/answer/1411702420.明确目标我是真正零基础开始学Python的,从一

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号