VA_LIST 详解

一、是什么？

VA_LIST 是在C语言中解决变参问题的一组宏。定义在cstdarg (stdarg.h)文件中。

二、什么是变长参数？

所谓含有变长参数的函数是指该函数可以接受可变数目的形参。

三、VA_LIST相关成员

1） va_list型变量：

#ifdef  _M_ALPHA
typedef struct {
        char *a0;       /* pointer to first homed integer argument */
        int offset;     /* byte offset of next parameter */
} va_list;
#else
typedef char *  va_list;
#endif

2）_INTSIZEOF 宏：

获取类型占用的空间长度，最小占用长度为int的整数倍：

#define _INTSIZEOF(n)   ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )

3）VA_START宏：

获取可变参数列表的第一个参数的地址（ap是类型为va_list的指针，v是可变参数最左边的参数）：

#define va_start(ap,v)  ( ap = (va_list)&v + _INTSIZEOF(v) )

4）VA_ARG宏：

获取可变参数的当前参数，返回指定类型并将指针指向下一参数（t参数描述了当前参数的类型）：

#define va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )

5）VA_END宏：

清空va_list可变参数列表：

#define va_end(ap)      ( ap = (va_list)0 )

四、va_list的用法

1）首先在函数里定义一具VA_LIST型的变量，这个变量是指向参数的指针。

2）然后用VA_START宏初始化变量刚定义的VA_LIST变量，这个宏的第二个参数是第一个可变参数的前一个参数，是一个固定的参数。

3）然后用VA_ARG返回可变的参数，VA_ARG的第二个参数是你要返回的参数的类型（如果函数有多个可变参数的，依次调用VA_ARG获取各个参数）。

4）最后用VA_END宏结束可变参数的获取。

五、VA_LIST在编译器中的处理

1）在运行VA_START(ap,v)以后，ap指向第一个可变参数在堆栈的地址。

2）VA_ARG()取得类型t的可变参数值，在这步操作中首先apt = sizeof(t类型)，让ap指向下一个参数的地址。然后返回ap-sizeof(t类型)的t类型*指针，这正是第一个可变参数在堆栈里的地址。然后用*取得这个地址的内容。

3）VA_END(),X86平台定义为ap = ((char*)0)，使ap不再指向堆栈，而是跟NULL一样，有些直接定义为((void*)0)，这样编译器不会为VA_END产生代码，例如gcc在Linux的X86平台就是这样定义的。 

六、使用VA_LIST应该注意的问题

1）可变参数的类型和个数完全由程序代码控制,它并不能智能地识别不同参数的个数和类型。

2）如果我们不需要一一详解每个参数，只需要将可变列表拷贝至某个缓冲，可用vsprintf函数。

3）因为编译器对可变参数的函数的原型检查不够严格,对编程查错不利.不利于我们写出高质量的代码。

4）由于参数的地址用于VA_START宏，所以参数不能声明为寄存器变量，或作为函数或数组类型。

七、小结

可变参数的函数原理其实很简单，而VA系列是以宏定义来定义的，实现跟堆栈相关。我们写一个可变参数的C函数时，有利也有弊,所 以在不必要的场合，我们无需用到可变参数，如果在C++里，我们应该利用C++多态性来实现可变参数的功能，尽量避免用C语言的方式来实现。

八、简单实例

#include "iostream.h"

#include "stdarg.h"

int sum(int num,...)
{
    int result=0;
    va_list argptr;
    va_start(argptr,num);
    while(num--)
    {
        result+=va_arg(argptr,int);
    }
    va_end(argptr);
    return result;
}

int main()
{
    cout<<sum(8,1,2,3,4,5,6,7,8,9)<<endl;
    cout<<sum(8,1,2,3,4,5,6,7,8)<<endl;
    cout<<sum(7,1,2,3,4,5,6,7,8)<<endl;
    cout<<sum(6,1,2,3,4,5,6,7,8)<<endl;
    cout<<sum(5,1,2,3,4,5,6,7,8)<<endl;
    cout<<sum(4,1,2,3,4,5,6,7,8)<<endl;
    cout<<sum(3,1,2,3,4,5,6,7,8)<<endl;
    cout<<sum(2,1,2,3,4,5,6,7,8)<<endl;
    cout<<sum(1,1,2,3,4,5,6,7,8)<<endl;
    cout<<sum(0,1,2,3,4,5,6,7,8)<<endl;
    cout<<sum(3,"Hello","World","!")<<endl;
    return 0;

}