linux内核可变参数分析

首先来看源代码，来自：
linux+v2.6.28/include/acpi/platform/acenv.h: (line  274)

typedef char *   va_list;
/*

  * Storage alignment properties
  */
#define _AUPBND (sizeof (acpi_native_int) - 1) //acpi_native_int 为4字节(32位)（根据机子字数而定）

#define _ADNBND (sizeof (acpi_native_int) - 1)

/*
  * Variable argument list macro definitions
  */
#define _bnd(X, bnd) (((sizeof (X)) + (bnd)) & (~(bnd)))
#define va_arg(ap, T) (*(T *)(((ap) += (_bnd (T, _AUPBND))) - (_bnd (T,_ADNBND))))
#define va_end(ap) (void) 0
#define va_start(ap, A) (void) ((ap) = (((char *) &(A)) + (_bnd (A,_AUPBND))))

首先分析一下_bnd(X, bnd)。
在使用过程中，_bnd(X, bnd)括号内的bnd是一个固定值：_ADNBND或者_AUPBND。这个值在这里都是3。
对于X，我们看看下面的例子：
char  c;
_bnd(c, bnd) = ((sizeof(c)) + (3)) & (~(3)) = 4&0xFFFFFFFC = 4

int  t;
_bnd(t, bnd) = ((sizeof(t)) + (3)) & (~(3)) = 7&0xFFFFFFFC = 4

double  d;
_bnd(d, bnd) = ((sizeof(d)) + (3)) & (~(3)) = b&0xFFFFFFFC = 8

char str[15];
_bnd(str, bnd) = ((sizeof(str)) + (3)) & (~(3)) = 0x12&0xFFFFFFFC = 16

_bnd(X, bnd)给出了以4字节对齐的变量X的大小。

下面给出一个具体列子：

#include <stdio.h>
#include <stdarg.h>
double sum_fun(int num, ...); //num为参数个数，此函数返回除num外所有参数之和。
int main()
{
    double d;
    d = sum_fun(2, 5.5, 6.5);
    return 0;
}
double sum_fun(int num, ...)
{
    double sum = 0.0;
    double t;
    va_list argptr;  //va_list  即 char *，指向char类型的指针。
    va_start(argptr, num);
    for(; num; num--){
        t = va_arg(argptr, double);
        sum = sum + t;
    }
    va_end(argptr);
    return sum;
}

//这里假设 &num = 0xbff69ce0。

首先分析一下va_start(argptr, num):
(void) ((argptr) = ((char *)&num + 4))   即
argptr = (char *)(0xbff69ce0)  +  4 =  (char *)(0xbff69ce4)
即argptr指向了下一个参数的地址。

再来解析 va_arg(argptr, double):
第一次for循环：
(* (double*) ((argptr += 8)  -  8)) = (*(double *)(0xbff69ce4)) 即
取出了第一个用于计算的参数的数值。
注意：此时argptr的值是：argptr = argptr + 8 = 0xbff69cec，即
指向了下一个参数的地址。
第二次for循环：
(* (double*) ((argptr += 8)  -  8)) = (*(double *)(0xbff69cec))即
取出了第二个用于计算的参数的值。
和第一次取数值一样，此时的argptr的值也变了，为：0xbff69cf4。
对，如果有第三个参数，这就是第三个参数的地址。

明白了可变参数的这些取值方法，我们就可以自由使用了。