【C++学习】C++中按引用传递与按值传递的具体原理

C++中按引用传递与按值传递的具体原理

一、测试代码

cpp 复制代码
void Test(int& a) 
{
	a = 10;
}

void TestA(int a) {
	a = 5;
}


int main()
{

	int a = 10;
	int* b = &a;
	int& c = a;

	a = 5;

	Test(a);

	TestA(a);

	*b = 3;
	c = 6;
	std::cout << a << std::endl;

	std::cin.get();
}

二、分析参数传递的区别

1.调用处反汇编

csharp 复制代码
	Test(a);
00007FF7549F1FDB  lea         rcx,[a]  
00007FF7549F1FDF  call        Test (07FF7549F1465h)  

	TestA(a);
00007FF7549F1FE4  mov         ecx,dword ptr [a]  
00007FF7549F1FE7  call        TestA (07FF7549F146Ah)  

解读:可以看到按引用传递的话,是用lea指令将变量a的地址,放到rcx寄存器中,按值传递用mov指令,将变量a地址所在的值,放到ecx寄存器重。

2.被调用处反汇编

1.Test引用传递方式汇编代码如下(示例):

c 复制代码
void Test(int& a) 
{
00007FF7549F1960  mov         qword ptr [rsp+8],rcx  
00007FF7549F1965  push        rbp  
00007FF7549F1966  push        rdi  
00007FF7549F1967  sub         rsp,0E8h  
00007FF7549F196E  lea         rbp,[rsp+20h]  
00007FF7549F1973  lea         rcx,[__AEDBAAFC_Math@cpp (07FF754A03067h)]  
00007FF7549F197A  call        __CheckForDebuggerJustMyCode (07FF7549F13FCh)  
	a = 10;
00007FF7549F197F  mov         rax,qword ptr [a]  
00007FF7549F1986  mov         dword ptr [rax],0Ah  

可以看到**mov qword ptr [rsp+8],rcx **将rcx的值(调用处main函数中变量a的地址)放到rsp+8表示的地址内(即Test函数中的本地变量a中),此时本地变量Test函数a中的值,其实是一个地址(指向main函数中的变量a的地址)。后续a = 10的汇编,可以看到是由两条指令完成:
mov rax,qword ptr [a]
mov dword ptr [rax],0Ah

可以看到完全将对本地变量a的操作当成指针来操作了,先取a地址内的值(main函数中a地址)复制到rax寄存器中,然后将0Ah(数值10)复制到rax值表示的地址(即main函数a地址)中。

2.TestA函数按值传递汇编如下:

cpp 复制代码
00007FF7549F1A10  mov         dword ptr [rsp+8],ecx  
00007FF7549F1A14  push        rbp  
00007FF7549F1A15  push        rdi  
00007FF7549F1A16  sub         rsp,0E8h  
00007FF7549F1A1D  lea         rbp,[rsp+20h]  
00007FF7549F1A22  lea         rcx,[__AEDBAAFC_Math@cpp (07FF754A03067h)]  
00007FF7549F1A29  call        __CheckForDebuggerJustMyCode (07FF7549F13FCh)  
	a = 5;
00007FF7549F1A2E  mov         dword ptr [a],5 

同样的,mov dword ptr [rsp+8],ecx 可以看到将ecx寄存器中值放到rsp+8表示的地址内(即TestA函数中的本地变量a中)

最后a =10;的汇编与上面完全不同,只有一条mov指令,将数值5直接复制到本地变量a表示的地址。

总结

可以看出C++中按引用传递,与按值传递,编译器给生成两种不同的指令。按引用传递,传递的是变量的地址,有点类似指针传递(但是指针传递,需要新建指针变量,以按值的方式传递指针值,相当于间接引用),按引用传递比按指针传递更加简化了。

最后可以看看,引用变量相关的汇编,也可以看出引用其实内部都是按地址处理的。

cpp 复制代码
	int* b = &a;
00007FF7549F1FC4  lea         rax,[a]  
00007FF7549F1FC8  mov         qword ptr [b],rax  
	int& c = a;
00007FF7549F1FCC  lea         rax,[a]  
00007FF7549F1FD0  mov         qword ptr [c],rax  
cpp 复制代码
	*b = 3;
00007FF7549F1FEC  mov         rax,qword ptr [b]  
00007FF7549F1FF0  mov         dword ptr [rax],3  
	c = 6;
00007FF7549F1FF6  mov         rax,qword ptr [c]  
00007FF7549F1FFA  mov         dword ptr [rax],6 
相关推荐
Theodore_10221 小时前
4 设计模式原则之接口隔离原则
java·开发语言·设计模式·java-ee·接口隔离原则·javaee
‘’林花谢了春红‘’3 小时前
C++ list (链表)容器
c++·链表·list
----云烟----3 小时前
QT中QString类的各种使用
开发语言·qt
lsx2024063 小时前
SQL SELECT 语句:基础与进阶应用
开发语言
开心工作室_kaic4 小时前
ssm161基于web的资源共享平台的共享与开发+jsp(论文+源码)_kaic
java·开发语言·前端
向宇it4 小时前
【unity小技巧】unity 什么是反射?反射的作用?反射的使用场景?反射的缺点?常用的反射操作?反射常见示例
开发语言·游戏·unity·c#·游戏引擎
武子康4 小时前
Java-06 深入浅出 MyBatis - 一对一模型 SqlMapConfig 与 Mapper 详细讲解测试
java·开发语言·数据仓库·sql·mybatis·springboot·springcloud
转世成为计算机大神4 小时前
易考八股文之Java中的设计模式?
java·开发语言·设计模式
机器视觉知识推荐、就业指导5 小时前
C++设计模式:建造者模式(Builder) 房屋建造案例
c++
宅小海5 小时前
scala String
大数据·开发语言·scala