先看一個(gè)簡(jiǎn)單的使用例子
求任意個(gè)自然數(shù)的平方和:
int SqSum(int n,)
{
va_list arg_ptr;
int sum = 0,_n = n;
arg_ptr = va_start(arg_ptr,n);
while(_n != 0)
{
sum += (_n*_n);
_n = va_arg(arg_ptr,int);
}
va_end(arg_ptr);
return sum;
}
首先解釋下函數(shù)參數(shù)入棧情況
在VC等絕大多數(shù)C編譯器中,默認(rèn)情況下,參數(shù)進(jìn)棧的順序是由右向左的,因此,參數(shù)進(jìn)棧以后的內(nèi)存模型如下圖所示:{
va_list arg_ptr;
int sum = 0,_n = n;
arg_ptr = va_start(arg_ptr,n);
while(_n != 0)
{
sum += (_n*_n);
_n = va_arg(arg_ptr,int);
}
va_end(arg_ptr);
return sum;
}
最后一個(gè)固定參數(shù)的地址位于第一個(gè)可變參數(shù)之下,并且是連續(xù)存儲(chǔ)的。
| 最后一個(gè)可變參數(shù)(高內(nèi)存地址處) | 第N個(gè)可變參數(shù) | 第一個(gè)可變參數(shù) | 最后一個(gè)固定參數(shù) | 第一個(gè)固定參數(shù)(低內(nèi)存地址處)
明白上面那個(gè)順序,就知道其實(shí)可變參數(shù)就是玩弄參數(shù)的地址,已達(dá)到“不定”的目的 下面我摘自VC中的源碼來(lái)解釋
va_list,va_start,va_arg,va_end宏
1.其實(shí)va_list就是我們平時(shí)經(jīng)常用的char* typedef char * va_list;
2.va_start該宏的目的就是將指針指向最后一個(gè)固定參數(shù)的后面,即第一個(gè)不定參數(shù)的起始地址 #define va_start(ap,v)( ap = (va_list)&v + _INTSIZEOF(v) ) v即表示最后一個(gè)固定參數(shù),&v表示v的地址, #define _INTSIZEOF(n) ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) ) 該宏其實(shí)是一個(gè)內(nèi)存對(duì)齊的操作。即表示大于sizeof(n)且為sizeof(int)倍數(shù)的最小整數(shù)。這句話有點(diǎn)繞,其實(shí)舉幾個(gè)例子就簡(jiǎn)單了。比如1--4,則返回4,5--8則返回8
3.va_arg 該宏的目的是將ap指針繼續(xù)后移,讀取后面的參數(shù),t表示參數(shù)類型。該宏首先將ap指針移動(dòng)到下一個(gè)參數(shù)的起始地址ap += _INTSIZEOF(t),然后將本參數(shù)的值返回 #define va_arg(ap,t) ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
4.va_end將指針賦空 #define va_end(ap) ap = (va_list)0 有了這個(gè)分析我們可以把上例中的代碼重新翻譯下
int SqSum(int n,)
{
char *arg_ptr;
int sum = 0,_n = n;
arg_ptr = (char *)&n + 4;//本機(jī)上sizeof(int) = 4
while(_n != 0)
{
sum += (_n*_n);
arg_ptr += 4;
_n = *(int *)(arg_ptr-4);
}
arg_ptr = (void*)0;
}
這樣我們也可以寫(xiě)出我們自己的printf了
{
char *arg_ptr;
int sum = 0,_n = n;
arg_ptr = (char *)&n + 4;//本機(jī)上sizeof(int) = 4
while(_n != 0)
{
sum += (_n*_n);
arg_ptr += 4;
_n = *(int *)(arg_ptr-4);
}
arg_ptr = (void*)0;
}