【C语言进阶】函数栈帧与可变参数列表（函数调用，函数栈帧，可变参数列表，递归调用）

芥末虾

已于 2023-09-30 17:05:14 修改

阅读量1.2k

点赞数 1

分类专栏： C语言文章标签： c语言开发语言 c++

于 2022-11-30 09:00:00 首次发布

本文链接：https://blog.csdn.net/zty857016148/article/details/128089391

版权

C语言专栏收录该内容

18 篇文章 1 订阅

订阅专栏

一、函数栈帧

1.认识相关寄存器

eax：通用寄存器，保留临时数据，常用于返回值

ebx：通用寄存器，保留临时数据

ebp：栈底寄存器

esp：栈顶寄存器

eip：指令寄存器，保存当前指令的下一条指令的地址

2.认识相关汇编命令

mov：数据转移指令

push：数据入栈，同时esp栈顶寄存器也要发生改变

pop：数据弹出至指定位置，同时esp栈顶寄存器也要发生改变

sub：减法命令

add：加法命令

call：函数调用，1. 压入返回地址 2. 转入目标函数

jump：通过修改eip，转入目标函数，进行调用

ret：恢复返回地址，将返回地址pop至eip寄存器

3.起步（执行call指令之前）

1.局部变量空间的开辟，是在对应函数栈帧内部开辟的。

2.临时变量具有临时性的本质是：栈帧具有临时性

3.函数形参实例化形成临时拷贝是在函数被正式调用（执行call指令）之前。

4.形参实例化（函数形参压栈）的顺序是从右向左的

5.函数形参（实参的临时拷贝）的内存空间是相邻的，也就数说可以通过其中一个形参的地址和形参变量的类型访问其他形参变量（可变参数列表的工作原理）。

6.main函数也要被调用，main函数的调用也会形成栈帧结构。

4.开始调用（执行call指令）

call指令：

1.压入返回地址（函数调用完毕后，需要返回调用处的下一条命令）

2.转入目标函数

5.形成栈帧

1.函数的栈帧空间由esp保存的栈顶指针和ebp保存栈底指针所标定。

2.调用函数会形成函数栈帧，esp寄存器保存的栈顶指针减多少栈区空间就有多大。而这个sub的数值由编译器决定。编译器会在程序的编译阶段通过函数体中定义的变量即其类型确定栈区空间的大小。

6.执行MyAdd函数

1. 如果函数的返回值是较小的内置类型（可以存放在寄存器中），就会通过寄存器返回给函数调用方。（即使不接受返回值，也会保存在寄存器中）

2. 如果函数的返回值是较大的内置类型或是复杂类型（结构体，C++类），就会存放在函数调用方的栈帧空间中。

7.释放栈帧

1.释放栈帧空间的本质是，函数的栈帧空间不在栈顶，栈底指针标定的范围内，下一次调用函数可以覆盖对应的空间。

2.释放栈帧空间，仅仅是将该空间设置为无效（使可以被覆盖），而并不会清空其中的数据。

8.释放临时拷贝，彻底释放空间

总结：调用函数是有成本的，成本体现在时间和空间上，本质是形成和释放栈帧的成本。

二、可变参数列表

1.使用

#include <stdio.h>
#include <windows.h>
//num:表示传入参数的个数
int FindMax(int num, ...)
{
	va_list arg; //定义可以访问可变参数部分的变量，其实是一个char*类型
	va_start(arg, num); //使arg指向可变参数部分
	int max = va_arg(arg, int); //根据类型，获取可变参数列表中的第一个数据
	for (int i = 0; i < num - 1; i++){//获取并比较其他的
		int curr = va_arg(arg, int);
		if (max < curr){
			max = curr;
		}
		
	}
	va_end(arg); //arg使用完毕，收尾工作。本质就是讲arg指向NULL
	return max;
}
int main()
{
	int max = FindMax(5, 11, 22, 33, 44, 55);
	printf("max = %d\n", max);
	system("pause");
	return 0;
}

初步了解相关宏：

1. va_list typedef char * va_list;

//定义可以访问可变参数部分的变量，其实是一个char*类型

2. va_start(ap,v)

//使ap指针跳过第一个变量v，指向可变参数部分

3. va_arg(ap,t)

//根据类型依次获取可变参数列表中的数据

4. va_end(ap) #define _crt_va_end(ap) ( ap = (va_list)0 )

//将指针设为NULL

2.注意事项

1.可变参数必须从头到尾逐个访问。如果你在访问了几个可变参数之后想半途终止，这是可以的，但是，如果你想一开始就访问参数列表中间的参数，那是不行的。

2.参数列表中至少有一个命名参数。如果连一个命名参数都没有，就无法使用 va_start 。

3.使用可变参数定义函数时，可变参数列表前可以有若干个命名参数（至少一个），但可变参数列表之后不能有命名参数。

3.这些宏是无法直接判断实际存在参数的数量。以上的例子中FindMax函数是通过num变量确定参数数量的。

4.这些宏无法判断每个参数的是类型。参数的类型需要在va_arg宏中指定。

5.如果在 va_arg 中指定了错误的类型，那么其后果是不可预测的。会发生多读取或少读取内存的错误。

6.标准库函数printf();就是使用可变参数的典型代表，当中通过格式控制符(%d,%f,%s)向函数传递参数的类型及数量。第一个参数const char*是唯一存在的命名参数。

3.原理

1.使用可变参数列表定义的函数，最终调用也是函数调用，也要形成栈帧

2.栈帧形成前，临时变量是要先入栈的，根据之前所学，参数之间位置关系是固定的。（函数形参压栈（形参实例化）的顺序是从右向左依次入栈的，形参与形参之间是紧挨着的。）

3.通过查看汇编，我们看到，在可变参数场景下：

>>>实际传入的参数如果是char，short，float，编译器在编译的时候，会自动进行4字节提升（4的最小倍数）：char,short向int提升；float向double提升。函数形参是按找4字节提升后的内存大小进行压栈的。

>>>函数内部使用的时候，根据类型提取数据，就要考虑提升之后的值，如果不加考虑，获取数据可能会报错或者结果不正确。

>>>函数内部使用的时候，根据类型提取数据，更多的是通过int或者double来进行

#pragma warning(disable:4996)
#include <stdio.h>
#include <Windows.h>
//FindMax1：不考虑float类型的4字节提升
float FindMax1(int num, ...)
{
	va_list arg; //定义可以访问可变参数部分的变量，其实是一个char*类型
	va_start(arg, num); //使arg指向可变参数部分
	float max = va_arg(arg, float); //根据类型，获取可变参数列表中的第一个数据
	for (int i = 0; i < num - 1; i++){//获取并比较其他的
		float curr = va_arg(arg, float);
		if (max < curr){
			max = curr;
		}
	}
	va_end(arg); //arg使用完毕，收尾工作。本质就是讲arg指向NULL
	return max;
}
//FindMax2：float类型4字节提升为double类型
double FindMax2(int num, ...)
{
	va_list arg; //定义可以访问可变参数部分的变量，其实是一个char*类型
	va_start(arg, num); //使arg指向可变参数部分
	double max = va_arg(arg, double); //根据类型，获取可变参数列表中的第一个数据
	for (int i = 0; i < num - 1; i++){//获取并比较其他的
		double curr = va_arg(arg, double);
		if (max < curr){
			max = curr;
		}
	}
	va_end(arg); //arg使用完毕，收尾工作。本质就是讲arg指向NULL
	return max;
}

int main()
{
	float a = 3.14f;
	float b = 6.28f;
	float c = 9.37f;
	float d = 2.56f;
	float e = 1.1f;

	float max1 = FindMax1(5, a, b, c, d, e);
	double max2 = FindMax2(5, a, b, c, d, e);
	
	printf("max1 = %f\n", max1);
	printf("max2 = %lf\n", max2);
	
	system("pause");
	return 0;
}

执行结果：