typedef char *  va_list;

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

#define va_start(ap,v)  ( ap = (va_list)&v + _INTSIZEOF(v) )
#define va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
#define va_end(ap)      ( ap = (va_list)0 )

定义_INTSIZEOF(n)主要是为了某些需要内存的对齐的系统.

C语言的函数是从右向左压入堆栈的,下图是函数的参数在堆栈中的分布位置.
高地址  |-----------------------------| 
 |函数返回地址 | 
 |-----------------------------| 
 |....... | 
 |-----------------------------| 
 |第n个参数(第一个可变参数) | 
 |-----------------------------|<--va_start后ap指向 
 |第n-1个参数(最后一个固定参数)| 
低地址  |-----------------------------|<-- &v

va_start的定义,ap是va_list类型,v是固定参数，定义为&v+_INTSIZEOF(v),而&v是固定参数在堆栈的地址,所以我们运行va_start(ap, v)以后,ap指向第一个可变参数在堆栈的地址,如上图

#define va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
va_arg(ap,t)取得类型t的可变参数值，以t是int类为例。

j=*(int*)(  ( ap += _INTSIZEOF(int) )-_INTSIZEOF(int)  )首先ap+=sizeof(int),已经指向下一个参数的地址了.然后返回ap-sizeof(int)的int*指针,这正是第一个可变参数在堆栈里的地址(图2).然后用*取得这个地址的内容(参数值)赋给j.

 最后要说的是va_end宏的意思,x86平台定义为ap=(char*)0;使ap不再指向堆栈,而是跟NULL一样.有些直接定义为((void*)0),这样编译器不会为va_end产生代码

举例

#include   <stdio.h>   
#include   <stdarg.h>   
    
     
  void   sum(char   *msg,   ...)   
  {   
        int   total   =   0;   
        va_list   ap;   
        int   arg;   
        va_start(ap,   msg);   
        while   ((arg   =   va_arg(ap,int))   !=   0)   {   
              total   +=   arg;   
        }   
        printf(msg,   total);   
        va_end(ap);   
  }   
    
  int   main(void)   {   
        sum("The   total   of   1+2+3+4   is   %d\n",   1,2,3,4,0);   
        return   0;   
  }  

C语言中有一种长度不确定的参数，形如："…"，它主要用在参数个数不确定的函数中，我们最容易想到的例子是printf函数。注意：在C++中有函数重载（overload）可以用来区别不同函数参数的调用，但它还是不能表示任意数量的函数参数