va_start和va_end使用详解
va_start和va_end使用详解
函数参数是以数据结构:栈的形式存取,从右至左入栈。首先是参数的内存存放格式:参数存放在内存的堆栈段中,在执行函数的时候,从最后一个开始入栈。因此栈底高地址,栈顶低地址,例如:
void func(int x, float y, char z);
调用函数的时候,实参 char z 先进栈,然后是 float y,最后是 int x,因此在内存中变量的存放次序是 x->y->z,因此,从理论上说,我们只要探测到任意一个变量的地址,并且知道其他变量的类型,通过指针移位运算,则总可以顺藤摸瓜找到其他的输入变量。
下面是 <stdarg.h> 里面重要的几个宏定义如下:
typedef char* va_list;
void va_start ( va_list ap, prev_param ); /* ANSI version */
type va_arg ( va_list ap, type );
void va_end ( va_list ap );
va_list 是一个字符指针,可以理解为指向当前参数的一个指针,取参必须通过这个指针进行。
- 在调用参数表之前,定义一个 va_list 类型的变量,(假设va_list 类型变量被定义为ap);
- 然后应该对ap 进行初始化,让它指向可变参数表里面的第一个参数,这是通过 va_start 来实现的,第一个参数是 ap 本身,第二个参数是在变参表前面紧挨着的一个变量,即“...”之前的那个参数
- 然后是获取参数,调用va_arg,它的第一个参数是ap,第二个参数是要获取的参数的指定类型,然后返回这个指定类型的值,并且把 ap 的位置指向变参表的下一个变量位置;
- 获取所有的参数之后,我们有必要将这个 ap 指针关掉,以免发生危险,方法是调用 va_end,他是输入的参数 ap 置为 NULL,应该养成获取完参数表之后关闭指针的习惯。说白了,就是让我们的程序具有健壮性。通常va_start和va_end是成对出现。
例如 int max(int n, ...);
其函数内部应该如此实现:
#include <iostream.h>
void fun(int a, ...)
{
int *temp = &a;
temp++;
for (int i = 0; i < a; ++i)
{
cout << *temp << endl;
temp++;
}
}
int main()
{
int a = 1;
int b = 2;
int c = 3;
int d = 4;
fun(4, a, b, c, d);
return 0;
}
以下是一个简单的示例,展示如何使用 va_start
来处理可变参数:
#include <stdio.h>
#include <stdarg.h>
void printNumbers(int count, ...) {
va_list args; // 声明一个 va_list 类型的变量
va_start(args, count); // 初始化 va_list 变量
for (int i = 0; i < count; i++) {
int num = va_arg(args, int); // 获取下一个参数
printf("%d\n", num);
}
va_end(args); // 清理
}
int main() {
printNumbers(3, 10, 20, 30); // 输出: 10, 20, 30
return 0;
}
如果你的可变参数可能是不同类型,可以根据需要使用 va_arg
来获取不同类型的参数:
#include <stdio.h>
#include <stdarg.h>
void printMixed(int count, ...) {
va_list args;
va_start(args, count);
for (int i = 0; i < count; i++) {
if (i % 2 == 0) { // 偶数索引为 int
int num = va_arg(args, int);
printf("Integer: %d\n", num);
} else { // 奇数索引为 float
double num = va_arg(args, double);
printf("Float: %.2f\n", num);
}
}
va_end(args);
}
int main() {
printMixed(4, 10, 5.5, 20, 7.2); // 输出: Integer: 10, Float: 5.50, Integer: 20, Float: 7.20
return 0;
}