以实现函数 printf 的一个最简单版本为例,介绍如何以可移植的方式编写可处理变长参数表的函数。因为我们的重点在于参数的处理,所以,函数 minprintf 只处理格式字符串和参数,格式转换则通过调用函数 printf 实现。

函数 printf 的正确声明形式为:

int printf(char *fmt, ...)

其中,省略号表示参数表中参数的数量和类型是可变的。省略号只能出现在参数表的尾部。

      因为 minprintf 函数不需要像 printf 函数一样返回实际输出的字符数,因此,我们将它声明为下列形式:

void minprintf(char *fmt, ...)

      编写函数 minprintf 的关键在于如何处理一个甚至连名字都没有的参数表。标准头文件<stdarg.h>中包含一组宏定义,它们对如何遍历参数表进行了定义。该头文件的实现因不同的机器而不同,但提供的接口是一致的。

1.va_list 类型用于声明一个变量,该变量将依次引用各参数。在函数 minprintf 中,我们将该变量称为 ap,意思是“参数指针”。

2.宏 va_start 将 ap 初始化为指向第一个无名参数的指针。在使用 ap 之前,该宏必须被调用一次。参数表必须至少包括一个有名参数,va_start 将最后一个有名参数作为起点。

3.va_arg 使用一个类型名来决定返回的对象类型、指针移动的步长。每次调用 va_arg,该函数都将返回一个参数,并将 ap 指向下一个参数。

4.最后,必须在函数返回之前调用va_end,以完成一些必要的清理工作。

基于上面这些讨论,我们实现的printf 函数如下所示:

#include <stdarg.h>

/* minprintf: minimal printf with variable argument list */

void minprintf(char *fmt, ...)

{

va_list ap;

char *p, *sval;

int ival;

double dval;

va_start(ap, fmt); /* make ap point to 1st unnamed arg */

for (p = fmt; *p; p++) {

if (*p != '%') {

putchar(*p);

continue;

}

switch (*++p) {

case 'd':

ival = va_arg(ap, int);

printf("%d", ival);

break;

case 'f':

dval = va_arg(ap, double);

printf("%f", dval);

break;

case 's':

for (sval = va_arg(ap, char *); *sval; sval++)

putchar(*sval);

break;

default:

putchar(*p);

break;

}

}

va_end(ap); /* clean up when done */