在以前的实现中,不能指定函数预期的参数类型,但 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(FILENAME, "<command line>", "cannot open: %s\n", argv[optind]);