va_start和va_end詳解

1. 在C中，當無法列出傳遞函數的所有實參的類型和數目時，可以用省略号指定參數表。例如：

void foo(...);
void foo(parm_list,...);
           

2. 函數參數的傳遞原理

    函數參數是以棧的形式存取，從右至左入棧。

    參數的記憶體存放格式：參數存放在記憶體的堆棧段中，在執行函數的時候，從最後一個開始入棧。是以棧底高位址，棧頂低位址，舉個例子如下：

void func(int x, float y, char z);
           

那麼，調用函數的時候，實參 char z 先進棧，然後是 float y，最後是 int x，是以在記憶體中變量的存放次序是 x->y->z。從理論上說，我們隻要探測到任意一個變量的位址，并且知道其他變量的類型，通過指針移位運算，則總可以順藤摸瓜找到其他的輸入變量。舉個例子如下：

#include <stdio.h> 

//擷取參數清單中的所有參數，并列印
void PrintInt(int cnt, ...) 
{ 
  int *temp = &cnt;
  temp++;
  for (int i = 0; i < cnt; ++i) 
  { 
    printf("%d\n", *temp); 
    temp++; 
  } 
}

int main(void)
{
    int a = 1; 
    int b = 2; 
    int c = 3; 
    int d = 4;
    PrintInt(4, a, b, c, d); 
    return 0;
}
           

執行程式後輸出： 

1 

2 

3 

4

3. 利用Va_start相關宏擷取省略号指定的參數

　下面是 <stdarg.h> 裡面重要的幾個宏定義如下：

typedef char* va_list;
void va_start ( va_list ap, prev_param ); /* ANSI version */
type va_arg ( va_list ap, type ); 
void va_end ( va_list ap ); 
           

說明：    

    1）va_list：一個字元指針，可以了解為指向目前參數的一個指針，取參必須通過這個指針進行。

    2）va_start：對ap進行初始化，讓ap指向可變參數表裡面的第一個參數。第一個參數是 ap 本身，第二個參數是在變參表前面緊挨着的一個變量，即“...”之前的那個參數；

    3）va_arg: 擷取參數。它的第一個參數是ap，第二個參數是要擷取的參數的指定類型。按照指定類型擷取目前參數，傳回這個指定類型的值，然後把 ap 的位置指向變參表中下一個變量的位置；

    4）va_end：釋放指針，将輸入的參數 ap 置為 NULL。通常va_start和va_end是成對出現。 

    使用上面的宏擷取參數的步驟如下：

    <Step 1> 定義一個 va_list 類型的變量，(假設va_list 類型變量被定義為ap)；

    <Step 2> 調用va_start ，對ap 進行初始化，讓它指向可變參數表裡面的第一個參數。      <Step 3> 擷取參數，并使用參數。     <Step 4> 擷取所有的參數之後，将 ap 指針關掉。     給出一個例子如下：

#include 〈stdio.h〉 
#include 〈string.h〉 
#include 〈stdarg.h〉 
/*ANSI标準形式的聲明方式，括号内的省略号表示可選參數*/ 
int demo( char msg, ... ) 
{ 
       /*定義儲存函數參數的結構*/
   va_list argp; 
   int argno = 0; 
   char para; 
　　   /*argp指向傳入的第一個可選參數，msg是最後一個确定的參數*/ 
   va_start( argp, msg ); 
   while (1) 
       { 
        para = va_arg( argp, char); 
           if ( strcmp( para, "") == 0 ) 
               break; 
           printf("Parameter #%d is: %s\n", argno, para); 
           argno++; 
} 
va_end( argp ); 
/*将argp置為NULL*/
return 0; 
}
void main( void ) 
{ 
   demo("DEMO", "This", "is", "a", "demo!", ""); 
}