" 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>。這個頭文件聲明了一個va_list類型,定義了四個宏,用來遍歷可變參數(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必須第一個調(diào)用,它初始化va_list類型的變量ap,使ap指向第一個可選參數(shù)。參數(shù) last 是可變參數(shù)列表(即函數(shù)原型中的省略號…)的前一個參數(shù)的名字,也就是最后類型已確定的函數(shù)參數(shù)名。因為這個參數(shù)的地址將會被宏va_start用到,所以最好不要是寄存器變量,函數(shù),或者數(shù)組。
對于有可變長參數(shù),但是在可變長參數(shù)前沒有任何的固定參數(shù)的函數(shù),如int func (...)是不允許的。 這是ANSI C所要求的,變參函數(shù)在...之前至少得有一個固定參數(shù)。這個參數(shù)將被傳遞給va_start(),然后用va_arg()和va_end()來確定所有實際調(diào)用時可變長參數(shù)的類型和值。
type va_arg(va_list ap, type)
宏va_arg展開后是關(guān)于下一個參數(shù)的類型和值的表達(dá)式,參數(shù)type是明確的類型名。
va_arg返回參數(shù)列表中的當(dāng)前參數(shù)并使ap指向參數(shù)列表中的下一個參數(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)用者在實際調(diào)用參數(shù)個數(shù)可變的函數(shù)時,要通過一定的方法指明實際參數(shù)的個數(shù),例如把最后一個參數(shù)置為空字符串(系統(tǒng)調(diào)用execl()就是這樣的)、-1或其他的方式(函數(shù)printf()就是通過第一個參數(shù),即輸出格式的定義來確定實際參數(shù)的個數(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> 對上面這一個思路的實現(xiàn),里面重要的幾個宏定義如下:
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 是一個字符指針,可以理解為指向當(dāng)前參數(shù)的一個指針,取參必須通過這個指針進(jìn)行。
<Step 1> 在調(diào)用參數(shù)表之前,應(yīng)該定義一個 va_list 類型的變量,以供后用(下面假設(shè)這個 va_list 類型變量被定義為ap);
<Step 2> 然后應(yīng)該對 ap 進(jìn)行初始化,讓它指向可變參數(shù)表里面的第一個參數(shù),這是通過 va_start 來實現(xiàn)的,第一個參數(shù)是 ap 本身,第二個參數(shù)是在變參表前面緊挨著的一個變量;
<Step 3> 然后是獲取參數(shù),調(diào)用 va_arg,它的第一個參數(shù)是 ap,第二個參數(shù)是要獲取的參數(shù)的指定類型,然后返回這個指定類型的值,并且把 ap 的位置指向變參表的下一個變量位置;
<Step 4> 獲取所有的參數(shù)之后,我們有必要將這個 ap 指針關(guān)掉,以免發(fā)生危險,方法是調(diào)用 va_end,他是輸入的參數(shù) ap 置為 NULL,應(yīng)該養(yǎng)成獲取完參數(shù)表之后關(guān)閉指針的習(xí)慣。
例如開始的例子 int max(int n, ...); 其函數(shù)內(nèi)部應(yīng)該如此實現(xiàn):
int max(int n, ...) { // 定參 n 表示后面變參數(shù)量,定界用,輸入時切勿搞錯
va_list ap; // 定義一個 va_list 指針來訪問參數(shù)表
va_start(ap, n); // 初始化 ap,讓它指向第一個變參
int maximum = -0x7FFFFFFF; // 這是一個最小的整數(shù)
int temp;
for(int i = 0; i < n; i++) {
temp = va_arg(ap, int); // 獲取一個 int 型參數(shù),并且 ap 指向下一個參數(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;
}
基本用法闡述至此,可以看到,這個方法存在兩處極嚴(yán)重的漏洞:其一,輸入?yún)?shù)的類型隨意性,使得參數(shù)很容易以一個不正確的類型獲取一個值(譬如輸入一個float,卻以int型去獲取他),這樣做會出現(xiàn)莫名其妙的運行結(jié)果;其二,變參表的大小并不能在運行時獲取,這樣就存在一個訪問越界的可能性,導(dǎo)致后果嚴(yán)重的 RUNTIME ERROR