在ANSI C中，這些巨集的定義位於stdarg.h中：

typedef char *va_list;

va_start巨集，獲取可變引數列表的第一個引數的地址（list是型別為va_list的指標，param1是可變引數最左邊的引數）：

#define va_start(list,param1)   ( list = (va_list)&param1+ sizeof(param1) )

va_arg巨集，獲取可變引數的當前引數，返回指定型別並將指標指向下一引數（mode引數描述了當前引數的型別）：

#define va_arg(list,mode)   ( (mode *) ( list += sizeof(mode) ) )[-1]

va_end巨集，清空va_list可變引數列表：

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

注：以上sizeof()只是為了說明工作原理，實際實現中，增加的位元組數需保證為為int的整數倍

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

為了理解這些巨集的作用，我們必須先搞清楚：C語言中函式引數的記憶體佈局。首先，函式引數是儲存在棧中的，函式引數從右往左依次入棧。

以下面函式為討論物件：

void test(char *para1，char *param2，char *param3, char *param4) { va_list list; ...... return; }

在linux中，棧由高地址往低地址生長,呼叫test函式時，其引數入棧情況如下：

 當呼叫va_start(list,param1) 時：list指標指向情況對應下圖：

最複雜的巨集是va_arg。

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

void var_test(char *format, ...)
{
    va_list list;
    va_start(list,format);
    
    char *ch;
    while(1)
    {
         ch = va_arg(list, char *);

         if(strcmp(ch,"") == 0)
         {    
               printf("\n");
               break;
         }
         printf("%s ",ch);
     }
     va_end(list);
}

int main()
{
    var_test("test","this","is","a","test","");
    return 0;
}

附：可變引數應用例項

1.printf實現

#include <stdarg.h>

int printf(char *format, ...)
{
    va_list ap;
    int n;
     
    va_start(ap, format);
    n = vprintf(format, ap);
    va_end(ap);
    return n;    
}

2.定製錯誤列印函式error

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

void error(char *format, ...)
{
    va_list ap;
    va_start(ap, format);
    fprintf(stderr, "Error: ");
    vfprintf(stderr, format, ap);
    va_end(ap);
    fprintf(stderr, "\n");
    return;    
}