不定参数的分析

不定参数的分析

先看一个简单的使用例子

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

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了