在编程中,我们经常会遇到函数参数不是确定个数的情况,比如printf()函数,scanf()函数。这些函数是如何将这些未知个数的参数分别读取的呢?这就运用到了可变参数列表的知识。那可变参数列表的具体情况又是什么呢,今天我们就来好好研究一下,话不多说,直入主题:
我们先写一段代码:
//这是通过可变参数列表实现求n个数的平均值
#include<stdio.h>
#include<stdarg.h>
int average(int n, ...)
{
int i = 0;
va_list arg;
int avg = 0;
int sum = 0;
va_start(arg, n);
for (i = 0; i < n; i++)
{
sum += va_arg(arg, int);
}
avg = sum / n;
va_end(arg);
}
int main()
{
int avg0 = average(2, 6, 2);
int avg1 = average(3, 3, 9, 27);
printf("%d\n", avg0);
printf("%d\n", avg1);
return 0;
}
这是代码的运行结果,我们来对代码进行进一步的分析!
我们可以发现,其实可变参数列表的关键是下面这段代码:
int average(int n, ...)
{
int i = 0;
va_list arg;
int avg = 0;
int sum = 0;
va_start(arg, n);
for (i = 0; i < n; i++)
{
sum += va_arg(arg, int);
}
avg = sum / n;
va_end(arg);
}
这个函数中使用了几个新的类型和函数: va_list , va_start() , va_end()
我们需要调用新的头文件 #include < stdarg.h >
从函数头看起,这个函数头表明可变参数列表的定义形式:
type Func(type value1, type value2,...)
在函数的参数中,必须至少有一个命名的参数,如果连一个命名参数都没有,则无法使用va_start()。
再看函数体:
va_list arg;
va_start(arg, n);
va_arg(arg, int);
va_end(arg);
这几行代码是可变参数列表实现的关键,我们来一一分析。
首先我们要弄清楚它们分别是什么。
这是在头文件中找到的它们的定义,那么现在我们就可以对上面几行代码进行解密:
va_list arg; // char *arg;// 定义一个char*类型的变量arg
va_start(arg, n); // ((void)(arg = (char *)(&) (n) + 4));//是arg指针跳转到第一个参数后面,也就是使指针指向‘,’后面的第一个参数。
va_arg(arg, int); //(*(int *)((arg += 4) - 4)); // 使arg指针向后跳四个字节(由于语句是arg += 4,所以arg的值已经改变)。然后再 (*(int *)(arg - 4)) 对arg - 4 地址解引用,也就是当前位置解引用,因为之前arg += 4使arg向后跳转了四个字节,所以arg - 4为当前位置。
va_end(arg);// ((void )(ap = (char *)0)); //给arg赋值为0 ,也就是置为空。
我们可以对上面的代码average(3, 3, 9, 27),画出它的存储方式以及函数调用过程中,arg的变化:
最后在函数体,将va_arg放入了for循环中,通过for循环,我们就可以通过让arg指针跳转,得到所有的参数的值。
可变参数列表还有一些需要注意的问题:
- 可变参数列表必须从头到尾逐个访问,如果在访问了几个可变参数后想停止,这个可以做到。但是如果想一开始就访问可变参数列表中间的参数,则不行。
- 参数列表中至少需要有一个命名参数,如果一个命名参数都没有,则无法使用va_start。
- 宏无法直接判断实际存在的参数的数量,需要我们直接或者间接的传入。
- 宏无法判断参数的类型,需要我们传入。
- 如果va_arg中指定了错误的类型,那么后果是不可预测的。