C语言变参函数传参机制深度解析：指针移动与栈帧偏移

程一诺

发布时间：2026-10-13| 5人浏览过

原创

本文通过实际代码测试，深入探讨C语言变参函数的传参机制。针对书中示例在64位系统下打印结果异常的问题，分析了指针自增步长与参数在栈中非连续排布两个关键因素。通过汇编代码验证，揭示了首参与次参之间存在28字节偏移的现象，并指出32位与64位系统下编译器处理差异，强调动手实践对理解底层机制的重要性。

背景引入

近期阅读《嵌入式C语言自我修养》一书，内容详实且极具参考价值。在第六章“GNU C编译器扩展语法精讲”中，书中列举了若干变参函数的使用示例，旨在展示如何手动处理可变参数。

//1.变参函数初体验
#include<stdio.h>
void print_num(int count,...)
{
	int *args;
	args = &count + 1;
	for(int i = 0;i < count;i++)
	{
		printf("*args:%d\n",*args);
		args++;
	}
}

int main(void)
{
	print_num(5,1,2,3,4,5);
	return 0;
}

上述示例代码逻辑直观：定义一个名为print_num的变参函数，在函数体内首先获取第一个参数的地址并赋值给指针变量，随后通过移动该指针来依次获取后续参数并进行打印。在main函数中向print_num传递了6个参数（含计数值），按照书中描述的逻辑，预期输出应如下所示：

*args:1 *args:2 *args:3 *args:4 *args:5

然而，实际运行结果却出乎意料：

打印输出的数值与传入的参数值完全不符，且呈现出无规律的状态。

问题分析

前述代码通过获取首个参数地址并移动指针来获取后续参数，问题可能源于以下两个方面：

指针移动的步长计算方式不正确
参数在内存中的地址排布并非连续

我们逐一排查。首先假设参数地址是连续的且间距一致，将焦点集中在指针移动方式上。指针的移动由“args++”这一语句控制。笔者对书中代码进行了修改，增加了打印每个参数地址的逻辑：

#include<stdio.h>
void print_num(int count,...)
{
	int *args;
	args = &count;
	for(int i = 0;i <= count;i++)
	{
		printf("addr:%p\n",args);
		printf("*args:%d\n",*args);
		args++;
	}
}

int main(void)
{
	print_num(5,1,2,3,4,5);
	return 0;
}

主要增加了对于每个参数的地址的打印，运行结果如下：

通过观察发现，“args++”每次使指针向后移动4个字节。这是因为在C语言中，int类型指针的自增操作是以sizeof(int)（即4字节）为基本单位进行的。同理，char类型指针的移动单位是1字节（sizeof(char)）。

指针大小

如果int类型指针的大小确实是4字节，那么上述指针移动操作在逻辑上似乎没有错误。然而，int类型指针的大小真的恒等于4吗？

笔者编写了测试代码来验证不同指针类型的大小：

#include<stdio.h>

int main()
{
	char*	charPoint;
	int*	intPoint;
	double*	doublePoint;

	struct st{
		int first;
	};

	struct st *structPoint;

	printf("sizeof(char*):%ld\n",sizeof(charPoint));
	printf("sizeof(int*):%ld\n",sizeof(intPoint));
	printf("sizeof(double*):%ld\n",sizeof(doublePoint);
	printf("sizeof(struct*):%ld\n",sizeof(structPoint));
	return 0;
}

运行结果：

结果显示，不仅int类型指针的大小为8字节，char、double以及结构体指针的大小也均为8字节。这是由于笔者所使用的计算机安装的是64位操作系统。因此，书中代码中针对int类型指针的自增操作在64位环境下不再适用。笔者尝试将代码修改为“args += 2”，在Dev C++ IDE中得到了正确结果，但在Ubuntu GCC环境下依然未能得到正确输出。

参数位置排布

解决了指针移动步长的问题后，依然无法获得正确答案。笔者推测参数在内存中的地址可能并非连续排列。如何查看函数参数的地址信息？方法众多，笔者选择了一种较为快捷的方式——查看汇编代码。

在Ubuntu终端中输入以下命令：

gcc -S [源文件]

即可生成一个带有“.s”后缀的汇编代码文件。

我们将main函数与print_num函数中涉及参数传递的部分进行对比分析：

在main函数中，各个参数被放入不同的寄存器；在print_num函数中，再从寄存器中将参数取出并放入print_num的函数栈帧中。仔细观察各个参数最终被放入栈帧的位置，发现第一个参数地址与第二个参数地址之间相差28个字节，而后续参数地址之间的间距均为8个字节。这解释了为何之前的代码运行结果不正确。