可变参数列表源码的剖析

在某些情况下我们希望函数参数的个数可以根据实际需要来确定，所以C语言中就提供了一种长度不确定的参数，形如：“…”，通过将函数实现为可变参数的形式，可以使得函数可以接受1个以上的任意多个参数。

典型的例子有printf()、scanf()函数等，下面就用printf函数的原型为例分析：

int printf( const char *format [, argument]... );

如上，除了参数format固定以外，其他参数的类型和个数是不确定的。在实际调用的时候有如下类型：

printf("%d",num);
printf("%s",num);
printf("%c",num);
...

在标准C语言中定义了一个头文件，专门用来对付可变参数列表，其中，包含了一个va_list的typedef声明和一组宏定义va_start、va_arg、va_end，如下所示：

va_list arg;
va_start(arg, n);
va_arg(arg, (数据类型) );
va_end(arg);

va_list：声明一个va_list类型的变量arg，它可以访问参数列表的未确定部分。

这个变量是调用va_start来初始化的。它的第一个参数是va_list的变量名，第2个参数是省略号前最后一个有名字的参数。初始化过程把arg变量设置为指向可变参数部分的第一个参数。

va_arg：这个宏和接受两个参数，va_list变量和参数列表中下一个参数的类型。在这个例子中所有的可变参数都是整型。va_arg返回这个参数的值，并使用va_arg指向下一个可变参数。

va_end：访问完毕最后一个可变参数，通过va_end(ap)让ap不再指向堆栈。

例：自定义的打印函数

int my_printf(char *str, ...)
{
    va_list arg;
    char* str_tmp = NULL;
    char buf[10] = {0};
    va_start(arg, str);
    while (*str != '\0')
    {
        switch (*str)
        {
        case 's':
            str_tmp = (char*)va_arg(arg, int);//取下一个参数的地址，因为这个是字符串
            while (*str_tmp != '\0')//利用解引用进行输出
            {
                putchar(*str_tmp);
                str_tmp++;
            }
            break;
        case 'c':
            putchar(va_arg(arg, int));
            break;
        case 'd':
            int d = va_arg(arg, int);
            _itoa(d, buf, 10);
            for (str_tmp = buf; *str_tmp; str_tmp++) 
            {
                putchar(*str_tmp);
            }
            break;
        case '\n':
            puts(" ");
            break;
        default:
            ;
            break;
        }
        str++;
    }
    va_end(arg);
    return 0;
}

int main()
{
    my_printf("s ccc d.\n", "hello", 'z', 'z', 'z','520');
    system("pause");
    return 0;
}

由于将va_start、va_arg、va_end定义成了宏，可变参数的类型和个数在该函数中完全由程序代码控制，并不能智能地进行识别，所以导致编译器对可变参数的函数原型检查不够严格，难于查错，不利于写出高质量的代码。
——《编写高质量代码》

虽然参数可变为程序员带来了很多便利，但也有一些不可避免的缺陷。比如：

1.缺乏类型检查，类型安全性不能保证。

2.因为禁用了语言类型检查功能，所以在调用时必须通过其他方式告诉函数所传递参数的类型。

3.不支持自定义数据类型。

以上，因为编译器对可变参数函数的原型检查不够严格，所以容易引起问题，难于查错，不利于写出高质量的代码。所以应当尽量避免使用C语言方式的可变参数设计。