先看一個簡單的使用例子
求任意個自然數的平方和：
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;
}
首先解釋下函數參數入棧情況
在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,)
{
char *arg_ptr;
int sum = 0,_n = n;
arg_ptr = (char *)&n + 4;//本機上sizeof(int) = 4
while(_n != 0)
{
sum += (_n*_n);
arg_ptr += 4;
_n = *(int *)(arg_ptr-4);
}
arg_ptr = (void*)0;
}
這樣我們也可以寫出我們自己的printf了
posted on 2012-07-12 09:51
梨樹陽光 閱讀(1055)
評論(1) 編輯 收藏 引用 所屬分類:
C