6.3 带有可变参数的函数

在以前的实现中，不能指定函数预期的参数类型，但 ISO C 鼓励您使用原型执行该操作。为支持诸如 printf() 之类的函数，原型语法包括特殊的省略号(…) 终结符。由于一个实现可能需要执行一些特殊操作来处理可变数目的参数，因此 ISO C 要求此类函数的所有声明和定义均包含省略号终结符。

由于参数的 “…” 部分没有名称，因此 stdarg.h 中包含的一组特殊宏为函数提供对这些参数的访问权。此类函数的早期版本必须使用 varargs.h 中包含的类似的宏。

假定要编写的函数是一个称为 errmsg() 的错误处理程序，它返回 void，并且函数的唯一固定参数是指定关于错误消息的详细信息的 int。此参数后跟文件名、行号，或同时跟这二者。这些项后跟格式和参数，与指定错误消息文本的 printf() 类似。

为使此示例可以使用较早的编译器进行编译，要求广泛使用仅针对 ISO C 编译器定义的宏 __STDC__。该函数在相应头文件中的声明为：

#ifdef __STDC__
    void errmsg(int code, ...);
#else
    void errmsg();
#endif

在包含 errmsg() 定义的文件中，新旧风格变得复杂。首先，要包含的头文件取决于编译系统：

#ifdef __STDC__
#include <stdarg.h>
#else
#include <varargs.h>
#endif
#include <stdio.h>

包含 stdio.h 是因为我们稍后调用 fprintf() 和 vfprintf()。

其次是函数的定义。标识符 va_alist 和 va_dcl 是旧式 varargs.h 接口的一部分。

void
#ifdef __STDC__
errmsg(int code, ...)
#else
errmsg(va_alist) va_dcl /* Note: no semicolon! */
#endif
{
   /* more detail below */
}

由于旧式可变参数机制不允许指定任何固定参数，因此必须在可变部分之前访问它们。此外，由于参数的 “…” 部分缺少名称，新的 va_start() 宏具有第二个参数，即 “…” 终结符前面的参数的名称。

作为一种扩展，Oracle Solaris Studio ISO C 允许在没有固定参数的情况下声明和定义函数，如下所示：

int f(...);

对于此类函数，应在第二个参数为空的情况下调用 va_start()，例如：

va_start(ap,)

以下示例是函数的主体：

{
    va_list ap;
    char *fmt;
#ifdef __STDC__
    va_start(ap, code);
#else
    int code;
    va_start(ap);
    /* extract the fixed argument */
    code = va_arg(ap, int);
#endif
    if (code & FILENAME)
        (void)fprintf(stderr, "\"%s\": ", va_arg(ap, char *));
    if (code & LINENUMBER)
        (void)fprintf(stderr, "%d: ", va_arg(ap, int));
    if (code & WARNING)
        (void)fputs("warning: ", stderr);
    fmt = va_arg(ap, char *);
    (void)vfprintf(stderr, fmt, ap);
    va_end(ap);
}

va_arg() 和 va_end() 宏对旧式版本和 ISO C 版本的处理方式相同。由于 va_arg() 更改 ap 的值，因此对 vfprintf() 的调用不能为：

(void)vfprintf(stderr, va_arg(ap, char *), ap);

FILENAME、LINENUMBER 和 WARNING 宏的定义可能包含在与 errmsg() 的声明相同的头文件中。

对 errmsg() 的调用的样例为：

errmsg(FILENAME, "<command line>", "cannot open: %s\n",
argv[optind]);