" data-shareType="31" data-title="#{@entryTitle}" data-url="http://wind1728.blog.sohu.com/76008741.html" data-abstracts="#{#main-content@innerText<51}" data-ext="{v:'1',xpt:'#{$_xpt}'}">

標(biāo)簽： 參數(shù)  list  start  函數(shù)  type 

1.要在函數(shù)中使用參數(shù),首先要包含頭文件<stdarg.h>。這個(gè)頭文件聲明了一個(gè)va_list類型，定義了四個(gè)宏，用來遍歷可變參數(shù)列表。

void va_start(va_list ap, last);

type va_arg(va_list ap, type);

void va_end(va_list ap);

void va_copy(va_list dest, va_list src);

下面詳細(xì)介紹這些宏定義：

2.void va_start(va_list ap, last)

va_start必須第一個(gè)調(diào)用，它初始化va_list類型的變量ap，使ap指向第一個(gè)可選參數(shù)。參數(shù) last 是可變參數(shù)列表（即函數(shù)原型中的省略號…）的前一個(gè)參數(shù)的名字，也就是最后類型已確定的函數(shù)參數(shù)名。因?yàn)檫@個(gè)參數(shù)的地址將會被宏va_start用到，所以最好不要是寄存器變量，函數(shù)，或者數(shù)組。

對于有可變長參數(shù)，但是在可變長參數(shù)前沒有任何的固定參數(shù)的函數(shù)，如int func (...)是不允許的。  這是ANSI C所要求的，變參函數(shù)在...之前至少得有一個(gè)固定參數(shù)。這個(gè)參數(shù)將被傳遞給va_start()，然后用va_arg()和va_end()來確定所有實(shí)際調(diào)用時(shí)可變長參數(shù)的類型和值。

type va_arg(va_list ap, type)

宏va_arg展開后是關(guān)于下一個(gè)參數(shù)的類型和值的表達(dá)式，參數(shù)type是明確的類型名。

va_arg返回參數(shù)列表中的當(dāng)前參數(shù)并使ap指向參數(shù)列表中的下一個(gè)參數(shù)。 

void va_end(va_list ap)

每次調(diào)用va_start就必須相應(yīng)的調(diào)用va_end銷毀變量ap，即將指針ap置為NULL。

void va_copy(va_list dest, va_list src)

復(fù)制va_list類型的變量。

每次調(diào)用va_copy，也必須有相應(yīng)的va_end調(diào)用。

調(diào)用者在實(shí)際調(diào)用參數(shù)個(gè)數(shù)可變的函數(shù)時(shí)，要通過一定的方法指明實(shí)際參數(shù)的個(gè)數(shù)，例如把最后一個(gè)參數(shù)置為空字符串（系統(tǒng)調(diào)用execl()就是這樣的）、-1或其他的方式（函數(shù)printf()就是通過第一個(gè)參數(shù)，即輸出格式的定義來確定實(shí)際參數(shù)的個(gè)數(shù)的）。 

3. 舉例：

  #include <iostream.h>

  #include <stdarg.h>

int main()

{int a,b,c,d,e;

int max(int,int...);

 cin>>a>>b>>c>>d>>e;

 cout<<"The bigger between a and b is "<<max(2,a,b)<<endl;

 cout<<"The bigger in the five number is "<<max(5,a,b,c,d,e)<<endl;

return 0;

}

int max(int num,int integer...)

{ va_list ap;

  int m=integer;

  va_start(ap,integer);

  for(int i=1;i<num;i++)

   { int t=va_arg(ap,int);

     if (t>m)  m=t;

 cout<<i<<endl;

   }

   va_end(ap);

   return m;

 }

下面是 <stdarg.h> 對上面這一個(gè)思路的實(shí)現(xiàn)，里面重要的幾個(gè)宏定義如下：
　　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 );
　　其中，va_list 是一個(gè)字符指針，可以理解為指向當(dāng)前參數(shù)的一個(gè)指針，取參必須通過這個(gè)指針進(jìn)行。
<Step 1> 在調(diào)用參數(shù)表之前，應(yīng)該定義一個(gè) va_list 類型的變量，以供后用(下面假設(shè)這個(gè) va_list 類型變量被定義為ap)；
<Step 2> 然后應(yīng)該對 ap 進(jìn)行初始化，讓它指向可變參數(shù)表里面的第一個(gè)參數(shù)，這是通過 va_start 來實(shí)現(xiàn)的，第一個(gè)參數(shù)是 ap 本身，第二個(gè)參數(shù)是在變參表前面緊挨著的一個(gè)變量；
<Step 3> 然后是獲取參數(shù)，調(diào)用 va_arg，它的第一個(gè)參數(shù)是 ap，第二個(gè)參數(shù)是要獲取的參數(shù)的指定類型，然后返回這個(gè)指定類型的值，并且把 ap 的位置指向變參表的下一個(gè)變量位置；
<Step 4> 獲取所有的參數(shù)之后，我們有必要將這個(gè) ap 指針關(guān)掉，以免發(fā)生危險(xiǎn)，方法是調(diào)用 va_end，他是輸入的參數(shù) ap 置為 NULL，應(yīng)該養(yǎng)成獲取完參數(shù)表之后關(guān)閉指針的習(xí)慣。
　　例如開始的例子 int max(int n, ...); 其函數(shù)內(nèi)部應(yīng)該如此實(shí)現(xiàn)：
int max(int n, ...) {                   // 定參 n 表示后面變參數(shù)量，定界用，輸入時(shí)切勿搞錯(cuò)
  va_list ap;                            // 定義一個(gè) va_list 指針來訪問參數(shù)表
  va_start(ap, n);                       // 初始化 ap，讓它指向第一個(gè)變參
  int maximum = -0x7FFFFFFF;            // 這是一個(gè)最小的整數(shù)
  int temp;
  for(int i = 0; i < n; i++) {
    temp = va_arg(ap, int);             // 獲取一個(gè) int 型參數(shù)，并且 ap 指向下一個(gè)參數(shù)
    if(maximum < temp) maximum = temp;
  }
  va_end(ap);                            // 善后工作，關(guān)閉 ap
  return max;
}
// 在主函數(shù)中測試 max 函數(shù)的行為(C++ 格式)
int main() {
  cout << max(3, 10, 20, 30) << endl;
  cout << max(6, 20, 40, 10, 50, 30, 40) << endl;
}
　　基本用法闡述至此，可以看到，這個(gè)方法存在兩處極嚴(yán)重的漏洞：其一，輸入?yún)?shù)的類型隨意性，使得參數(shù)很容易以一個(gè)不正確的類型獲取一個(gè)值(譬如輸入一個(gè)float，卻以int型去獲取他)，這樣做會出現(xiàn)莫名其妙的運(yùn)行結(jié)果；其二，變參表的大小并不能在運(yùn)行時(shí)獲取，這樣就存在一個(gè)訪問越界的可能性，導(dǎo)致后果嚴(yán)重的 RUNTIME ERROR