不定参数的分析

先看一个简单的使用例子

求任意个自然数的平方和：

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了