C言语中可变参数的原理

《Programming in Lua》的26章的最后列举了一个可变参数的例子。从而我特意去研究了一下可变参数的原理，突然有一种拨云见日之感。下面记录一下可变参数的原理。

在C语言中，函数参数的压栈顺序是由右至左的，而栈地址的变换顺序是从高地址到地址的，所以最左边的参数地址最小。

比如int add(int a, int b, int c)，参数入栈的顺序是c -> b -> a。假如a的地址是0x001ffbf4， 那么b的地址为0x001ffbf8，c的地址为0x001ffbfc。

我们只需要知道a的地址，就可以知道b和c的value了。

int add(int a, int b, int c)
{
    int * p = &a;
    p ++;
    printf("b == %d\n", *p);
    p ++;
    printf("c == %d\n", *p);

    return a + b + c;
}

运行上面的函数就可以发现，通过a的地址就能得到其余的参数的值，所以int add可以写成：

int add(int a, ...)
{
    int *p = &a;
    int b = *(p + 1); //p + 1为下一个int类型的起始地址。
    int c = *(p + 2);
    return a + b + c;
}

这里add函数中的三个参数的类型都为int，如果b的类型不是int，而是double，那么p+1指向的位置不是double类型的起始位置，这时候b的值也是一个无意义的值。va_arg就为我们解决了这个问题。va_arg根据每个参数类型的长度计算出下个参数的位置。

如果b为double，那么b的地址为: double * pb = (char *)p + sizeof(double); 所以b = (double)(*pb);

我们回到C语言中的宏定义：

va_start(vl, a); //a是...之前的参数，vl中记录了a的地址

va_arg(vl, double); //double是参数的类型，用于显式转换参数成double类型，并根据double的字节长度，计算下一个参数的地址，记录在vl中。

va_arg(vl, int); //此时的vl地址指向int类参数的起始位置。

va_end(vl); //清除指针