ANSI C——可变参数

【原型】

      type fun( type arg1, type arg2, ... );

【描述】

       主要用在参数个数不确定的函数中，例如：printf函数。

【使用方法】

参考：glib/manual/Add.c

#include <stdarg.h> #include <stdio.h> int add_em_up (int count,...) { va_list ap; int i, sum; va_start (ap, count); /* Initialize the argument list. */ sum = 0; for (i = 0; i < count; i++) sum += va_arg (ap, int); /* Get the next argument value. */ va_end (ap); /* Clean up. */ return sum; } int main (void) { /* This call prints 16. */ printf ("%d/n", add_em_up (3, 5, 5, 6)); /* This call prints 55. */ printf ("%d/n", add_em_up (10, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10)); return 0; }

运行结果：

 

16                               
55                               

【实现分析】

      如果要实现可变参数，关键是我们怎样遍历函数列表 ，这就牵扯到函数的参数链表在栈中的存放顺序问题：

      函数入栈的过程大致如下： (更详细的内容参考这里 )

1. 函数的局部变量入栈；
2. 其他被调函数信息指针入栈；
3. 函数返回地址入栈；
4. 参数列表入栈，顺序从右到左；

此时我们可以明确参数列表的存放顺序，如下：

 

      所以我们必须要知道栈顶参数地址，即函数的第一个参数；

 

      主要依靠定义在stdarg.h中三个宏：

 

• void va_start( va_list arg_ptr, prev_param );  /*给出第一个参数的地址*/
• type va_arg( va_list arg_ptr, type );                /*从第二个参数开始取，每次返回一个*/
• void va_end( va_list arg_ptr );                         /*标记已取完，其实什么也不做*/

stdarg.h的实现和注释如下：

#ifndef _STDARG_H #define _STDARG_H typedef char *va_list; /*根据类型值做内存对齐*/ #define __va_rounded_size(TYPE) / (((sizeof (TYPE) + sizeof (int) - 1) / sizeof (int)) * sizeof (int)) /*根据第一参数LASTARG的地址，获取第二参数地址*/ #define va_start(AP, LASTARG) (AP = ((char *) &(LASTARG) + __va_rounded_size (LASTARG))) /*已完成，无需做*/ #define va_end(AP) /*根据TYPE,返回当前AP指向的参数值，AP指向下一个 这里用到逗号表达式，先左后右，最右边的是这个结果。 AP += __va_rounded_size (TYPE), 指向下一个参数； (AP += __va_rounded_size (TYPE),返回上一个参数； */ #define va_arg(AP, TYPE) / (AP += __va_rounded_size (TYPE), *((TYPE *) (AP - __va_rounded_size (TYPE)))) #endif /* _STDARG_H */

 

其实stdarg.h的实现会依据编译器的不同有所差异，了解更多查看这里 。

 

【例子分析】

这个例子我们可以修改一下glib/manual/Add.c 如下：add_ex.c

#include <stdarg.h> #include <stdio.h> int show_arg (int count,...) { va_list ap; int i = 1; va_start (ap, count); /* 给出第一参数的地址 */ printf("first arg address =%d/n",(unsigned int)ap-sizeof(count)); for (i = 1; i <= count; i++) printf("%d = %d /t next_addre =%d/n",i,va_arg (ap, int),(unsigned int)ap); /*循环取下一个参数*/ va_end (ap); /* 结束 */ return 0; } int main (void) { /*我们把 count的值故意多设置一个， 这样我们显示第六个的值应该是函数的返回地址*/ show_arg(10, 1, 2, 3, 4, 5); return 0; }

 

运行结果: GCC和vc的编译结果有差异。

 

 

转载请声明来处：http://blog.csdn.net/oncoding/archive/2009/09/13/4549160.aspx