C++：函数参数不确定时用cstdarg(stdarg.h)

◎用法:
func( Type para1, Type para2, Type para3, ... )
{
      /****** Step 1 ******/
      va_list ap;
      va_start( ap, para3 ); //一定要“...”之前的那个参数
    
      /****** Step 2 ******/
      //此时ap指向第一个可变参数
      //调用va_arg取得里面的值
    
      Type xx = va_arg( ap, Type );
    
      //Type一定要相同，如:
      //char *p = va_arg( ap, char *);
      //int i = va_arg( ap, int );

      //如果有多个参数继续调用va_arg

      /****** Step 3 ******/
      va_end(ap); //For robust!
}

◎研究：
typedef char *    va_list;

#define va_start _crt_va_start
#define va_arg _crt_va_arg
#define va_end _crt_va_end

#define _crt_va_start(ap,v)    ( ap = (va_list)_ADDRESSOF(v) + _INTSIZEOF(v) )
#define _crt_va_arg(ap,t)      ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )
#define _crt_va_end(ap)        ( ap = (va_list)0 )
va_list argptr;
C语言的函数是从右向左压入堆栈的,调用va_start后，
按定义的宏运算，_ADDRESSOF得到v所在的地址，然后这个
地址加上v的大小，则使ap指向第一个可变参数如图:     
    
    栈底 高地址
    | .......     
    | 函数返回地址
    | .......      
    | 函数最后一个参数
    | ....                       
    | 函数第一个可变参数       <--va_start后ap指向
    | 函数最后一个固定参数
    | 函数第一个固定参数
    栈顶 低地址
     
    
然后，用va_arg()取得类型t的可变参数值, 先是让ap指向下一个参数:
ap += _INTSIZEOF(t)，然后在减去_INTSIZEOF(t)，使得表达式结果为
ap之前的值，即当前需要得到的参数的地址，强制转换成指向此参数的
类型的指针，然后用*取值

最后，用va_end(ap)，给ap初始化，保持健壮性。

 

example:(chenguiming)

#include    <stdio.h>   
   #include    <ctype.h>   
   #include<stdlib.h>   
   #include    <stdarg.h>   
    
   int    average(    int    first,    ...    )      //变参数函数,C++里也有   
   {   
         int    count=0,i=first,sum=0;   
         va_list    maker;            //va_list    类型数据可以保存函数的所有参数,做为一个列表一样保存   
         va_start(maker,first);    //设置列表的起始位置   
         while(i!=-1)   
         {   
         sum+=i;   
         count++;   
         i=va_arg(maker,int);//返回maker列表的当前值,并指向列表的下一个位置   
         }   
         return    sum/count;   
          
   }   
    
   void    main(void)   
   {   
   printf(    "Average    is:    %d\n",    average(    2,    3,    4,4,    -1    )    );   
   }   

 

 

Linux下的stdarg.h

#ifndef _STDARG_H
#define _STDARG_H

typedef char *va_list; /* 定义va_list 是一个字符指针类型*/

/* Amount of space required in an argument list for an arg of type TYPE.
TYPE may alternatively be an expression whose type is used. */
/* 下面给出了类型为TYPE 的arg 参数列表所要求的空间容量。
TYPE 也可以是使用该类型的一个表达式 */

// 下面这句定义了取整后的TYPE 类型的字节长度值。是int 长度(4)的倍数。
#define __va_rounded_size(TYPE) \
(((sizeof (TYPE) + sizeof (int) - 1) / sizeof (int)) * sizeof (int))

// 下面这个函数（用宏实现）使AP 指向传给函数的可变参数表的第一个参数。
// 在第一次调用va_arg 或va_end 之前，必须首先调用该函数。
// 17 行上的__builtin_saveregs()是在gcc 的库程序libgcc2.c 中定义的，用于保存寄存器。
// 它的说明可参见gcc 手册章节“Target Description Macros”中的
// “Implementing the Varargs Macros”小节。
#ifndef __sparc__
#define va_start(AP, LASTARG) \
(AP = ((char *) &(LASTARG) + __va_rounded_size (LASTARG)))
#else
#define va_start(AP, LASTARG) \
(__builtin_saveregs (), \
AP = ((char *) &(LASTARG) + __va_rounded_size (LASTARG)))
#endif

// 下面该宏用于被调用函数完成一次正常返回。va_end 可以修改AP 使其在重新调用
// va_start 之前不能被使用。va_end 必须在va_arg 读完所有的参数后再被调用。
void va_end (va_list); /* Defined in gnulib *//* 在gnulib 中定义 */
#define va_end(AP)

// 下面该宏用于扩展表达式使其与下一个被传递参数具有相同的类型和值。
// 对于缺省值，va_arg 可以用字符、无符号字符和浮点类型。
// 在第一次使用va_arg 时，它返回表中的第一个参数，后续的每次调用都将返回表中的
// 下一个参数。这是通过先访问AP，然后把它增加以指向下一项来实现的。
// va_arg 使用TYPE 来完成访问和定位下一项，每调用一次va_arg，它就修改AP 以指示
// 表中的下一参数。
#define va_arg(AP, TYPE) \
(AP += __va_rounded_size (TYPE), \
*((TYPE *) (AP - __va_rounded_size (TYPE))))

#endif /* _STDARG_H */