【C数据结构与算法】用系统堆栈，汇编代码，寄存器来理解C形参和实参

最新推荐文章于 2022-07-15 17:39:58 发布
最新推荐文章于 2022-07-15 17:39:58 发布
阅读量371 收藏 1
点赞数 2
分类专栏： C数据结构与算法 文章标签： 系统堆栈 汇编代码 寄存器 C形参实参
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_41978722/article/details/79921816
版权

说说C语言中的形参和实参。

      据我的学习，形参和实参 1.个数相等；

                                            2.位置关系对应；

                                            3.类型一致；

                                            4.效果等于   值传递(实参表达式的值，复制一份，传递给形参)；

      

      下面有个例子：实现一个交换两个整形变量的交换

#include <stdio.h>

void exchange (int,int);

void exchange (int *one,int *another)
{
    int tmp;
    tmp = *one;
    *one = *another;
    *another = tmp;
}



int main ()
{
    int num1;
    int num2;
    scanf ("%d",&num1);
    scanf ("%d",&num2);
    exchange (&num1,&num2);
    printf ("结果为:%d,%d\n",num1,num2);
    return 0;
}

从内存角度分析：

 

  1. num1 入栈，栈顶指针上移4字节；
  2. num2 入栈，栈顶指针上移4字节；
  3. 保存主函数现场信息，栈顶指针上移8字节；
  4. 将num2的地址信息入栈，栈顶指针上移4字节；
  5. 将num1的地址信息入栈，栈顶指针上移4字节； 
  6. 将num1的地址信息（首地址）传递给one；  
  7. 将num2的地址信息（首地址）传递给another；  ！！！实参表达式计算出的值在堆栈里所占的空间就是形参变量的空间，形参和实参是值传递的关系，形参所占的空间就是占用了之前系统分配给实参的空间!
  8. tmp入栈，栈顶指针上移4字节；
  9. 将one所指向空间的值（num1的值）赋值给tmp；
  10. 将another所指向空间的值（num2的值）赋值给one所指向的空间；
  11. 将tmp赋值给another所指向的空间；
  12. 栈顶指针下移12个字节，即指向了 主地址现场信息 ；
  13. 继续执行主函数。。。输出。。                                         

      在此提一点：形参与实参是单向传递，对行参变量的任何修改都不会更改实参表达式原本的值！

     

      如果继续向本质去探寻，就不得不扯上关于汇编的内容，命令行编译该程序（cl /FAs exchange.c)，生成格式为asm的文件，打开该文件：

	TITLE	exchange.c
	.386P
include listing.inc
if @Version gt 510
.model FLAT
else
_TEXT	SEGMENT PARA USE32 PUBLIC 'CODE'
_TEXT	ENDS
_DATA	SEGMENT DWORD USE32 PUBLIC 'DATA'
_DATA	ENDS
CONST	SEGMENT DWORD USE32 PUBLIC 'CONST'
CONST	ENDS
_BSS	SEGMENT DWORD USE32 PUBLIC 'BSS'
_BSS	ENDS
_TLS	SEGMENT DWORD USE32 PUBLIC 'TLS'
_TLS	ENDS
FLAT	GROUP _DATA, CONST, _BSS
	ASSUME	CS: FLAT, DS: FLAT, SS: FLAT
endif
PUBLIC	_exchange
_TEXT	SEGMENT
_one$ = 8
_another$ = 12
_tmp$ = -4
_exchange PROC NEAR

; 6    : {

	push	ebp                 
	mov	ebp, esp              
	push	ecx
	 
	; ebp值入栈（将main() ebp保护起来）
	; 再次形成“空栈”，就是exchange()的空栈

; 7    : 	int tmp;
; 8    : 	tmp = *one;

	mov	eax, DWORD PTR _one$[ebp]        ; mov eax, 4B ebp[4]
	mov	ecx, DWORD PTR [eax]             
	mov	DWORD PTR _tmp$[ebp], ecx

; 9    : 	*one = *another;

	mov	edx, DWORD PTR _one$[ebp]
	mov	eax, DWORD PTR _another$[ebp]
	mov	ecx, DWORD PTR [eax]
	mov	DWORD PTR [edx], ecx

; 10   : 	*another = tmp;

	mov	edx, DWORD PTR _another$[ebp]
	mov	eax, DWORD PTR _tmp$[ebp]
	mov	DWORD PTR [edx], eax

; 11   : 	}

	mov	esp, ebp
	pop	ebp    ; 用栈顶当前的值（main() ebp）赋值给ebp，并esp--4
	; 使ebp回到main函数的ebp状态
	ret	0
	; mov eip,栈顶
	; 恢复CPU运行顺序，回到主函数被中断时的状态
 

_exchange ENDP
_TEXT	ENDS
PUBLIC	_main                      ;主函数
EXTRN	_printf:NEAR
EXTRN	_scanf:NEAR
_DATA	SEGMENT                     ;数据区
$SG347	DB	'%d', 00H
	ORG $+1
$SG348	DB	'%d', 00H
	ORG $+1
$SG349	DB	0bdH, 0e1H, 0b9H, 0fbH, 0ceH, 0aaH, ':%d,%d', 0aH, 00H
_DATA	ENDS
_TEXT	SEGMENT
_num1$ = -4                  
_num2$ = -8
_main	PROC NEAR

; 14   : {

	push	ebp              ; 将ebp值入栈，esp会-4
	mov	ebp, esp           ; 将esp的值赋值给ebp；   So，esp和ebp此时指向同一个空间，即 形成了一个空栈，每一个函数都有
	sub	esp, 8             ; 将esp的值-8,  意思是将栈顶指针抬高8B，意味着栈顶指针和栈底指针之间有了8B的间隔，8B应该为两个int空间；就是num1和num2
	                       ; 调用主函数的“函数”（操作系统的代码），他的ebp被保护起来（通过push和mov），原栈底空间被保护起来
; 15   : 	int num1;
; 16   : 	int num2;
; 17   : 	scanf ("%d",&num1);

	lea	eax, DWORD PTR _num1$[ebp]          ;-4[ebp]    3[a] = a[3] 
	  
	; lea eax,DWORD PTR -4[ebp]  <=> lea eax,DWORD PTR  ebp[-4]
	; eax存入以ebp-4为首地址的int空间
	; DWORD_PTR就是int的对应
	; 系统堆栈向低端增长，意思是，入栈（push）会--esp，而出栈（pop）会++esp
	; esp：系统堆栈栈顶指针。ebp：系统堆栈栈底指针
	
	; ebp这个栈底指针的上方，隔4B空间，是主函数的局部变量num1的空间
	
	; 再看主函数局部变量num2，(_num2$ = -8)，同理，他离栈底指针更远，间隔8B空间
	; ！！！这就说明栈底和第一个局部变量(num1)之间存在一个4B空间！！！           
	
	; 5.  这4B空间就是num1的空间！！！  因为系统堆栈中越往上地址值越小，越往下地址值越大！
	
	push	eax
	push	OFFSET FLAT:$SG347
	call	_scanf
	add	esp, 8

; 18   : 	scanf ("%d",&num2);

	lea	ecx, DWORD PTR _num2$[ebp]
	push	ecx
	push	OFFSET FLAT:$SG348
	call	_scanf
	add	esp, 8

; 19   : 	
; 20   : 	exchange (&num1,&num2);               ;   调用函数

	lea	edx, DWORD PTR _num2$[ebp]
	push	edx
	lea	eax, DWORD PTR _num1$[ebp]
	push	eax
	; 将num2和num1首地址入栈；
	
	call	_exchange                
	               
	; call指令内部会执行push eip 的操作！！！ 保护eip的值，以便返回时能继续执行主调函数的下一条指令！
	; 这条指令就是下面的add esp, 8； 接着call会执行mov eip, exchange; exchange就是子函数exchange的首地址常量
	; CPU将取出exchange函数的第一条指令开始执行，即，开始执行子函数exchange
	; 这里的call由于执行的是push eip；所以，此时esp又会-4
	
	add	esp, 8   ; esp下落8字节，此时正好回到调用前状态

; 21   : 	printf ("结果为:%d,%d\n",num1,num2);

	mov	ecx, DWORD PTR _num2$[ebp]
	push	ecx
	mov	edx, DWORD PTR _num1$[ebp]
	push	edx
	push	OFFSET FLAT:$SG349            ; 字符串常量的本质是该字符串常量的首地址常量
	call	_printf
	add	esp, 12					; 0000000cH

; 22   : 	return 0;

	xor	eax, eax

; 23   : }

	mov	esp, ebp
	pop	ebp
	ret	0
_main	ENDP
_TEXT	ENDS
END

; ebp值入栈（将main() ebp保护起来）
; 再次形成“空栈”，就是exchange()的空栈

; 7    : 	int tmp;
; 8    : 	tmp = *one;

	mov	eax, DWORD PTR _one$[ebp]        ; mov eax, 4B ebp[4]
	mov	ecx, DWORD PTR [eax]             
	mov	DWORD PTR _tmp$[ebp], ecx

; 9    : 	*one = *another;

	mov	edx, DWORD PTR _one$[ebp]
	mov	eax, DWORD PTR _another$[ebp]
	mov	ecx, DWORD PTR [eax]
	mov	DWORD PTR [edx], ecx

; 10   : 	*another = tmp;

	mov	edx, DWORD PTR _another$[ebp]
	mov	eax, DWORD PTR _tmp$[ebp]
	mov	DWORD PTR [edx], eax

; 11   : 	}

	mov	esp, ebp
	pop	ebp    ; 用栈顶当前的值（main() ebp）赋值给ebp，并esp--4
	; 使ebp回到main函数的ebp状态
	ret	0
	; mov eip,栈顶
	; 恢复CPU运行顺序，回到主函数被中断时的状态
 

_exchange ENDP
_TEXT	ENDS
PUBLIC	_main                      ; 主函数
EXTRN	_printf:NEAR
EXTRN	_scanf:NEAR
_DATA	SEGMENT                      ; 数据区
$SG347	DB	'%d', 00H
	ORG $+1
$SG348	DB	'%d', 00H
	ORG $+1
$SG349	DB	0bdH, 0e1H, 0b9H, 0fbH, 0ceH, 0aaH, ':%d,%d', 0aH, 00H
_DATA	ENDS
_TEXT	SEGMENT
_num1$ = -4                  
_num2$ = -8
_main	PROC NEAR

; 14   : {

	push	ebp              ; 将ebp值入栈，esp会-4
	mov	ebp, esp           ; 将esp的值赋值给ebp；   So，esp和ebp此时指向同一个空间，即 形成了一个空栈，每一个函数都有
	sub	esp, 8             ; 将esp的值-8,  意思是将栈顶指针抬高8B，意味着栈顶指针和栈底指针之间有了8B的间隔，8B应该为两个int空间；就是num1和num2
	                       ; 调用主函数的“函数”（操作系统的代码），他的ebp被保护起来（通过push和mov），原栈底空间被保护起来
; 15   : 	int num1;
; 16   : 	int num2;
; 17   : 	scanf ("%d",&num1);

	lea	eax, DWORD PTR _num1$[ebp]          ; -4[ebp]    3[a] = a[3] 
	  
	; lea eax,DWORD PTR -4[ebp]  <=> lea eax,DWORD PTR  ebp[-4]
	; eax存入以ebp-4为首地址的int空间
	; DWORD_PTR就是int的对应
	; 系统堆栈向低端增长，意思是，入栈（push）会--esp，而出栈（pop）会++esp
	; esp：系统堆栈栈顶指针。ebp：系统堆栈栈底指针
	
	; ebp这个栈底指针的上方，隔4B空间，是主函数的局部变量num1的空间
	
	; 再看主函数局部变量num2，(_num2$ = -8)，同理，他离栈底指针更远，间隔8B空间
	; ！！！这就说明栈底和第一个局部变量(num1)之间存在一个4B空间！！！           
	
	; 5.  这4B空间就是num1的空间！！！  因为系统堆栈中越往上地址值越小，越往下地址值越大！
	
	push	eax
	push	OFFSET FLAT:$SG347
	call	_scanf
	add	esp, 8

; 18   : 	scanf ("%d",&num2);

	lea	ecx, DWORD PTR _num2$[ebp]
	push	ecx
	push	OFFSET FLAT:$SG348
	call	_scanf
	add	esp, 8

; 19   : 	
; 20   : 	exchange (&num1,&num2);               //   调用函数

	lea	edx, DWORD PTR _num2$[ebp]
	push	edx
	lea	eax, DWORD PTR _num1$[ebp]
	push	eax
	; 将num2和num1首地址入栈；
	
	call	_exchange                
	               
	; call指令内部会执行push eip 的操作！！！ 保护eip的值，以便返回时能继续执行主调函数的下一条指令！
	; 这条指令就是下面的add esp, 8； 接着call会执行mov eip, exchange; exchange就是子函数exchange的首地址常量
	; CPU将取出exchange函数的第一条指令开始执行，即，开始执行子函数exchange
	; 这里的call由于执行的是push eip；所以，此时esp又会-4
	
	add	esp, 8   ; esp下落8字节，此时正好回到调用前状态

; 21   : 	printf ("结果为:%d,%d\n",num1,num2);

	mov	ecx, DWORD PTR _num2$[ebp]
	push	ecx
	mov	edx, DWORD PTR _num1$[ebp]
	push	edx
	push	OFFSET FLAT:$SG349            ; 字符串常量的本质是该字符串常量的首地址常量
	call	_printf
	add	esp, 12					; 0000000cH

; 22   : 	return 0;

	xor	eax, eax

; 23   : }

	mov	esp, ebp
	pop	ebp
	ret	0
_main	ENDP
_TEXT	ENDS
END

 

建议根据汇编代码和我给的理解和注释画图理解！
 

funyoo
关注
  • 2
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
C语言中形参和实参详解及实例代码
12-26
形参和实参的功能是作数据传送。发生函数调用时，主调函数把实参的值传送给被调函数的形参从而实现主调函数向被调函数的数据传送。 函数的形参和实参具有以下特点： 1.形参变量只有在被调用时才分配内存单元，在...
ARM体系下函数形参调用寄存器详解
山有木兮
10-09 3885
文章目录前言一、编写代码二、调试分析三.流程归纳总结 前言 在ARM体系下C和汇编语言混合编程的学习过程中，了解到关于函数形参在x86平台与ARM平台所调用的寄存器有一定的区别。 64位程序根据参数的个数而不同， 当参数1~6个，使用寄存器传递；参数大于6个，多出来的参数使用栈传递。 对于ARM平台，结论是：参数值传递按顺序存放在寄存器r0,r1,r2,r3里，超过4个参数值传递则放栈里。 于是我就在MDK环境下用ｍａｉｎ函数调用子函数，仿真来观察其具体过程，让我们一起来看看在ARM体系下关于调用函数.
栈和寄存器总结
Lin 的博客
04-12 4580
栈：一种在计算机内部模拟“先进后出”的数据结构。 栈指针寄存器：ESP寄存器，指向栈的顶部。 帧指针寄存器：EBP寄存器，指向栈的底部。 栈帧：每条语句，或每个过程都有自己的栈区。所以栈帧在栈指针和帧指针之间。 函数入口参数的压栈顺序为：从右到左。 例如： void function(int x,int y,int z){ // 先Z入栈，再y,再z } 栈的存...
一文带你深入浅出函数栈帧
桦楸静的博客
05-20 1947
本文希望能通俗易懂地讲讲函数栈帧的创建与销毁（偏底层的知识），一起修一修内功。 用VS2019写一个函数，通过一步步调试观察汇编代码，从而探究理解函数相关的内容在栈上的行为过程。
函数的堆栈调用
YANG_1605的博客
11-19 655
函数堆栈调用的步骤： 1.开辟形参内存并进行初始化； 2.压入下一行指令的地址； 3.压入调用方栈底指针的值； 4.开辟全局变量所需的栈空间并初始化。 堆栈的定义： 编译器一般使用堆栈实现函数调用。堆栈是存储器的一个区域，嵌入式环境有时需要程序员自己定义一个数组作为堆栈。Windows为每个线程自动维护一个堆栈，堆栈的大小可以设置。编译器使用堆栈来堆放每个函数的参数、局部...
BJFU_数据结构习题_243入栈和出栈的基本操作
雪地行进
10-26 4710
243入栈和出栈的基本操作 描述 输入一个整数序列a1,a2,a3…,an。当ai不等于-1时将ai进栈；当ai=-1时，输出栈顶元素并将其出栈。 输入 多组数据，每组数据有两行，第一行为序列的长度n，第二行为n个整数，整数之间用空格分隔。当n=0时输入结束。 输出 对于每一组数据输出若干行。每行为相应的出栈元素。当出栈异常时，输出“POP ERROR”并结束本组数据的输出。 输入样例 1 5 1...
c语言的形参和实参传递的区别详解
08-25
主要介绍了c语言的形参和实参传递的区别详解，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧
Python的形参和实参使用方式
09-18
今天小编就为大家分享一篇Python的形参和实参使用方式，具有很好的参考价值，希望对大家有所帮助。一起跟随小编过来看看吧
C函数形参列表与汇编寄存器的对应关系
Jensen Lee的博客
06-11 1888
arm编程，关于函数调用形参实参在通用寄存器和栈帧里的对应关系。用汇编透视c语法操作
ZHONGkunjia的专栏
04-18 2862
下面来看个例子，很简单的一个例子，但子函数有大量的形参（10个），以此来看看函数调用过程是如何做形参和实参的复制。 //main.c #include int fun(int n0,int n1,int n2,int n3,int n4,int n5,int n6,int n7,int n8,int n9) { int m; m=n0+n1+n2+n3+n4+n5+n6+n7
汇编基础（二）形参与实参
qq_46111881的博客
08-14 801
形参与实参一、形参与实参的区别二、形参与实参在程序中的作用三、汇编代码与C语言代码结合分析 一、形参与实参的区别 形参：形参出现在函数定义中，在整个函数体内都可以使用， 离开该函数则不能使用。 实参： 实参出现在主调函数中，进入被调函数后，实参变量也不能使用 。 注意：实参可以是一个实数，可以是一个变量，也可以是一个表达式 二、形参与实参在程序中的作用 在学习了一年的编程后，无论是C语言的函数还是Java的方法（本质都是一样的）都会大量的使用。所以也就对他们的内部一些关系慢慢有了感悟。下面我就把自己的理
C语言函数(2)--形参与实参的讲解与函数的调用
weixin_69283129的博客
07-15 1万+
C语言函数的形参实参之间的区别，函数的调用
汇编和c语言函数的参数,C函数与汇编函数之间参数及返回值传递方法
weixin_42303568的博客
05-19 1234
AAPCS对ARM结构的一些标准做了定义，在这里我们只重点介绍函数调用部分，如图8所示，AAPCS为ARM的R0~R15寄存器做了定义，明确了它们在函数中的职责：图 8 AAPCS关于ARM寄存器的定义一、函数调用时的规则如下：1、 父函数与子函数间的入口参数依次通过R0~R3这4个寄存器传递。父函数在调用子函数前先将参数存入到R0~R3中，若只有一个参数则使用R0传递，2个则使用R0和R1传递，...
C语言函数参数入栈的汇编理解
翠屏阿姨
12-04 6543
先来看这样一段程序： #include #include #include void print1(int a,int b,int c) { printf("%p\n",&a); printf("%p\n",&b); printf("%p\n",&c); } int main(void) { print1(1,2,3); exit(0); } 它的
C语言函数-形参和实参
yibuerbusanbu的博客
04-29 1万+
1.形参和实参的概念 形参(也叫形式参数) 在定义函数名和函数体的时候使用的参数，他没有数据，可以看做一个占位符，只能等到函数被调用时接收传递进来的数据，所以称为形式参数； 实参(也叫实际参数) 在调用时传递给函数的参数，即传递给被调用函数的值，会被被调用函数内部使用，所以称为实际参数； 2.形参和实参的区别与联系 形参和实参的区别： 1): 形参变量在函数未被调用时是不占内存空间的，只有在函数被...
C/C++中的实参和形参,重点以及盲点，自己以前未知的
weixin_30764137的博客
03-11 165
C/C++中的实参和形参 今天突然看到一道关于形参和实参的题，我居然不求甚解。藐视过去在我的脑海里只有一个参数的概念，对于形参和实参的区别还真的不知道，作为学习了几年C++的人来说，真的深深感觉对不起自己对不起C++老师 T。T 我觉得只要明白了值传递和地址传递，就应该能明白形参和实参的具体工作细节了。 1、值传递 实参是变量，表达式等值。 find（...
C的形参和实参的关系
diwenzhi的博客
12-03 4501
形参变量只有在被调用时才分配内存单元，在调用结束时，即刻释放所分配的内存单元。因此，形参只在函数内部有效。函数调用结束返回主调用函数后则不能再使用该形参变量。在一般传值调用的机制中只能把实参传送给形参，而不能把形参的值反向地传送给实参。因此在函数调用过程中，形参值发生改变，而实参中的值不会变化。而在引用调用的机制当中是将实参引用的地址传递给了形参，所以任何发生在形参上的改变实际上也发生在实参变量上。
C语言中函数传递（实参 形参）
热门推荐
刘森林l的博客
07-06 2万+
形参：在被调函数形参表中的变量名、数组名，该过程在被调用前，没有为它们分配内存，其作用是说明自变量的类型和形态以及在过程中的作用。 形参可以是 合法变量名，数组名 实参：从主调过程传递给被调用过程的参数值。实参可以是变量名、数组名、常数或表达式。在过程调用 传递参数时，形参与实参是按位置结合的，形参表和实参表中对应的变量名可以不必相同，但它们的数据类型
请用代码举例说明 代码中形参和实参的区别
最新发布
06-10
好的，下面我将用一个简单的示例代码来说明函数中形参和实参的区别。 ```c #include void swap(int a, int b) { int temp = a; a = b; b = temp; } int main() { int x = 1, y = 2; swap(x, y); printf("x...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值