可变参数列表解析

  解析可变参数列表之前，我们需要了解什么是可变参数及它的作用与实质。

  可变参数：指某一个函数被调用的时候，并不知道具体传递进来的参数类型和参数的数目。

  作用：通过将函数实现为可变参数的形式，使得函数可以接受一个以上不固定数目的参数。

  实质：可变参数列表实际上是宏的使用，实质是栈帧结构的运用。

  在库函数中也存在一些可变参数的函数，比如 printf() ,我们来看一下它的定义：

      

   我们发现它的参数列表，最后有着 （ ... ），它代表着参数个数未知。

  下面我们通过使用可变参数，实现求 n 个数的平均值来观察一下，我们将在注释部分注释有关部分在VC6.0中的定义：

#include <stdio.h>
#include <stdarg.h>

int average(int n, ...)
{
    va_list arg;     //typedef char * va_list;
    
    int i = 0;
    int sum = 0;

    va_start(arg, n);     //#define va_start(ap, v) (ap = (va_list)&v + _INTSIZZEOF（v）)
                          //其中_INTSIZEOF的定义为  
                          //#define _INTSIZEOF(n) ((sizeof(n) + sizeof(int) - 1)&~(sizeof(int) - 1))
                          //下面这个宏的意思是，当 n 的字节为一个或两个或三个或四个时，返回 4；
                          //当 n 的字节为五个或六个或七个或八个时，返回 8 ；以此类推。

   
    for(i = 0; i < n; i++)
    {
        sum += va_arg(arg, int);      //#define va_arg(ap, t) 
                                      //        (*(t*)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)))

    }

    va_end(arg);    //#define va_end(ap) (ap = (va_list)0)

    return sum / n;
}

int main()
{
    int avg1 = average(3, 1, 2, 3);
    int avg2 = average(5, 1, 2, 3, 4, 5);
    printf("avg1 = %d\n", avg1);
    printf("avg2 = %d\n", avg2);

    return 0;
}

    通过上面的函数的实现，我么可以将代码更换为

int average(int n, ...)
{
    //va_list arg;
    char* arg;

    int i = 0;
    int sum = 0;

    //va_start(arg, n);
    arg = (char*)&n + 4;    //将 arg 指向第一个参数

    for(i = 0; i < n; i++)
    {
        //sum += va_arg(arg, int);
        sum += (*(int *)((arg += 4) - 4 ));      //拿 arg 此时指向第一个未知参数来讲，首先 arg 自加 4，
                                                 //此时 arg 指向第二个参数的地址，再减 4 ，进行整型提升后解引用，
                                                 //值为第一个参数的值，达到了依此访问的目的。
    }

    //va_end(arg);
    arg = (char *)0;     //把 arg 赋成空指针
}

相比大家都了解了可变参数列表的求解过程，我们总结一下：

（1）、声明一个 va_list 类型的变量 arg ,它用于访问参数列表的未确定部分。

（2）、这个变量的调用 va_stsart 来初始化。它的第一个参数是 va_list 的变量名，第二个参数是省略号前最后一个命名变量的参数。初始化过程把 arg 变量设置为指向可变参数部分的第一个参数。

（3）、为了访问参数，需要使用 va_arg ，这个宏接受两个参数： va_list 变量和参数列表中下一个参数的类型，在这个例子中所有的可变参数都是整型。va_arg 返回这个参数的值， 并且使 arg 指向下一个参数。

（4）、最后，当访问完毕最后一个可变参数之后，我们需要使用 va_end 使我们一开始定义的变量 arg 为空。

可变参数的限制：

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

 （2）、参数列表中至少有一个命名参数。如果一个命名擦拭农户都没有，无法使用 va_start。

 （3）、这些宏是无法判断实际存在的参数的个数。

 （4）、如果 va_arg 中指定了错误的类型，那么其后果是不可预测的。

 

根据上面所阐述的内容，下面我们进行一个练习题：

题目：使用可变参数列表，实现求 n 个数中的最大值

#include <stdio.h>
#include <stdarg.h>

int Max(int n, ...)
{
    va_list arg;
    int i = 0;
    int Max = 0;
    int tmp = 0;
    va_start(arg, n);       //初始化 arg 为未知参数列表的第一个参数的地址
    
    Max = va_arg(arg, int);
    for(i = 0; i < n; i++)
    {
        tmp = va_arg(arg, int);
        if(tmp > Max)
        {
            Max = tmp;
        }
    }
    va_end(arg);
    return Max;
}

int main()
{
    int max1 = Max(3, 1, 2, 3);
    int max2 = Max(5, 1, 2, 3, 4, 5);
    printf("max1 = %d\n", max1);
    printf("max2 = %d\n", max2);
 
    return 0;
}