不定參數的分析

先看一個簡單的使用例子

求任意個自然數的平方和：

int SqSum(int n,...)<br />{<br /> va_list arg_ptr;<br /> int sum = 0,_n = n;<br /> arg_ptr = va_start(arg_ptr,n);<br /> while(_n != 0)<br /> {<br /> sum += (_n*_n);<br /> _n = va_arg(arg_ptr,int);<br /> }<br /> va_end(arg_ptr);<br /> return sum;<br />}

首先解釋下函數參數入棧情況

在VC等絕大多數C編譯器中，預設情況下，參數進棧的順序是由右向左的，因此，參數進棧以後的記憶體模型如所示：最後一個固定參數的地址位於第一個可變參數之下，並且是連續儲存的。

| 最後一個可變參數(高記憶體位址處) | 第N個可變參數  | 第一個可變參數 | 最後一個固定參數 | 第一個固定參數(低記憶體位址處) 
明白上面那個順序，就知道其實可變參數就是玩弄參數的地址，已達到“不定”的目的

下面我摘自VC中的源碼來解釋va_list,va_start,va_arg,va_end宏

 

1.其實va_list就是我們平時經常用的char*

typedef char *  va_list;

2.va_start該宏的目的就是將指標指向最後一個固定參數的後面，即第一個不定參數的起始地址

#define va_start(ap,v)(   ap   =   (va_list)&v   +   _INTSIZEOF(v)   )

v即表示最後一個固定參數，&v表示v的地址，

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

該宏其實是一個記憶體對齊的操作。即表示大於sizeof(n)且為sizeof(int)倍數的最小整數。這句話有點繞，其實舉幾個例子就簡單了。比如1--4，則返回4,5--8則返回8
3.va_arg 該宏的目的是將ap指標繼續後移，讀取後面的參數，t表示參數類型。該宏首先將ap指標移動到下一個參數的起始地址ap += _INTSIZEOF(t)，然後將本參數的值返回

#define va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )

4.va_end將指標賦空
#define va_end(ap) ap = (va_list)0

 

有了這個分析我們可以把上例中的代碼重新翻譯下

int SqSum(int n,...)<br />{<br /> char *arg_ptr;<br /> int sum = 0,_n = n;<br /> arg_ptr = (char *)&n + 4;//本機上sizeof(int) = 4<br /> while(_n != 0)<br /> {<br /> sum += (_n*_n);<br /> arg_ptr += 4;<br /> _n = *(int *)(arg_ptr-4);<br /> }<br /> arg_ptr = (void*)0;<br />}

同樣我們也可以寫出我們自己的printf了