C语言函数可变参数

翻apue的时候，看到了一组可变参数的宏就是va_list

类似代码

void print_arg(int count,...)
{
va_list ap;
va_start(ap,count);
while(count--)
printf("%s",va_arg(ap,char*);
va_end(ap);
return;
}

1) VA_LIST变量

#ifdef  _M_ALPHA

typedef struct {
        char *a0;       /* pointer to first homed integer argument */
        int offset;     /* byte offset of next parameter */
} va_list;
#else
typedef char *  va_list;   //这个
#endif

2）_INTSIZEOF 宏，获取类型占用的空间长度，最小占用长度为int的整数倍：

#define _INTSIZEOF(n)   ( (sizeof(n) + sizeof(int) - 1) & ~(sizeof(int) - 1) )

这个宏比较难理解 & ~(sizeof(int) - 1) 是将一个数作为sizeof(int)的倍数，例如sizeof(int)=4, 则表达式为&11111100

sizeof(n)+sizeof(int)-1，保证sizeof(n)在变为4的倍数的时候，只变大不变小，例如sizeof(n)=5,最终表达式的结果为8

3）VA_START宏，获取可变参数列表的第一个参数的地址（ap是类型为va_list的指针，v是可变参数最左边的参数）：

#define va_start(ap,v)  ( ap = (va_list)&v + _INTSIZEOF(v) )

4）VA_ARG宏，获取可变参数的当前参数，返回指定类型并将指针指向下一参数（t参数描述了当前参数的类型）：

#define va_arg(ap,t)    ( *(t *)((ap += _INTSIZEOF(t)) - _INTSIZEOF(t)) )

这个我也废了好大劲才理解,这里面有个结果，一个是指针ap指向下一个参数，一个返回当前参数

  ap+=_INTSIZEOF(t);

  return          *{(*t)    [ap -  _INTSIZEOF(t)] }    这里返回的是当前ap指针指向的值，但是ap已经指向下一参数了，说的比较拗口

5）VA_END宏，清空va_list可变参数列表：

#define va_end(ap)      ( ap = (va_list)0 )

此时

int main(){

print_arg(3,"a","b","c");

return 0;

}

返回结果就是abc

思考：

1、sizeof(int)的加入说是为了满足需要内存对齐的系统，那么传入char*,byte[]这种参数的在不对齐的系统下出错了吧，参数传递靠压栈操作，不对齐的系统是哪种

2、这里面函数的类型检查也不严格，不同函数类型的实现也得自己写。有模仿C++的多态的意思，但总有点不自然的感觉。

3、c里面还有没有更好些的办法，以后见到想到了再补充。