以實作函數 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,以完成一些必要的清理工作。
#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 */
}