posts - 15,comments - 21,trackbacks - 0

先看一个简单的使用例子

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

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 *)&+ 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 梨树阳光 阅读(1034) 评论(1)  编辑 收藏 引用 所属分类: C

FeedBack:
# re: 不定参数的分析
2012-07-31 14:18 | 叫我老王吧
为什么是+4不是-4,固定参数在高地址,不是应该往下吗?  回复  更多评论
  

只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   博问   Chat2DB   管理