實(shí)現(xiàn)一個(gè)有可變長(zhǎng)參數(shù)列表函數(shù)的時(shí)候，會(huì)使用到stdarg.h（這里不討論varargs.h）中提供的宏。
例如，我們要實(shí)現(xiàn)一個(gè)簡(jiǎn)易的my_printf：
1. 它只返回void， 不記錄輸出的字符數(shù)目
2. 它只接受"%d"按整數(shù)輸出、"%c"按字符輸出、"%%"輸出'%'本身
如下：
1 #include <stdarg.h>
2
3 void my_printf(const char* fmt, ... )
4 {
5 va_list ap;
6 va_start(ap,fmt); /* 用最后一個(gè)具有參數(shù)的類型的參數(shù)去初始化ap */
7 for (;*fmt;++fmt)
8 {
9 /* 如果不是控制字符 */
10 if (*fmt!='%')
11 {
12 putchar(*fmt); /* 直接輸出 */
13 continue;
14 }
15 /* 如果是控制字符，查看下一字符 */
16 ++fmt;
17 if ('\0'==*fmt) /* 如果是結(jié)束符 */
18 {
19 assert(0); /* 這是一個(gè)錯(cuò)誤 */
20 break;
21 }
22 switch (*fmt)
23 {
24 case '%': /* 連續(xù)2個(gè)'%'輸出1個(gè)'%' */
25 putchar('%');
26 break;
27 case 'd': /* 按照int輸出 */
28 {
29 /* 下一個(gè)參數(shù)是int，取出 */
30 int i = va_arg(ap,int);
31 printf("%d",i);
32 }
33 break;
34 case 'c': /* 按照字符輸出 */
35 {
36 /** 但是，下一個(gè)參數(shù)是char嗎*/
37 /* 可以這樣取出嗎？ */
38 char c = va_arg(ap,char);
39 printf("%c",c);
40 }
41 break;
43 }
44 }
45 va_end(ap); /* 釋放ap—— 必須！ 見相關(guān)鏈接*/
46 }
這與《C++程序設(shè)計(jì)語(yǔ)言》中的一道練習(xí)題很類似。
——需要支持"%c"控制符
在《C++程序設(shè)計(jì)語(yǔ)言-題解》中，給出了一個(gè)答案（中文p65頁(yè)）。
但是，
如同上面的代碼一樣，它們都是
錯(cuò)誤的！
簡(jiǎn)單的說(shuō)，我們用
va_arg(
ap,
type)取出一個(gè)參數(shù)的時(shí)候，
type絕對(duì)不能為以下類型：
——
char、
signed char、
unsigned char——
short、
unsigned short——
signed short、
short int、
signed short int、
unsigned short int——
float一個(gè)簡(jiǎn)單的理由是：
——
調(diào)用者絕對(duì)不會(huì)向
my_printf傳遞以上類型的
實(shí)際參數(shù)。
在C語(yǔ)言中，調(diào)用一個(gè)不帶原型聲明的函數(shù)時(shí)：
調(diào)用者會(huì)對(duì)
每個(gè)參數(shù)執(zhí)行“默認(rèn)實(shí)際參數(shù)
提升(default argument
promotions)”。
同時(shí)，對(duì)可變長(zhǎng)參數(shù)列表
超出最后一個(gè)有
類型聲明的形式參數(shù)之后的
每一個(gè)實(shí)際參數(shù)，也將執(zhí)行上述提升工作。
提升工作如下：
——float類型的實(shí)際參數(shù)將提升到double
——char、short和相應(yīng)的signed、unsigned類型的實(shí)際參數(shù)提升到int
——如果int不能存儲(chǔ)原值，則提升到unsigned int
然后，調(diào)用者將
提升后的參數(shù)
傳遞給被調(diào)用者。
所以，my_printf是
絕對(duì)無(wú)法接收到上述類型的實(shí)際參數(shù)的。
上面的代碼的38與39行，應(yīng)該改為：
int c = va_arg(ap,int);
printf("%c",c);
同理， 如果需要使用short和float， 也應(yīng)該這樣：
short s = (short)va_arg(ap,int);
float f = (float)va_arg(ap,double);
這也是printf族函數(shù)沒(méi)有用于short和float的控制符的原因。
附錄：
在《C語(yǔ)言程序設(shè)計(jì)》對(duì)可變長(zhǎng)參數(shù)列表的相關(guān)章節(jié)中，并沒(méi)有提到這個(gè)陷阱。
但是有提到默認(rèn)實(shí)際參數(shù)提升的規(guī)則：
在沒(méi)有函數(shù)原型的情況下，char與short類型都將被轉(zhuǎn)換為int類型，float類型將被轉(zhuǎn)換為double類型。
——《C語(yǔ)言程序設(shè)計(jì)》第2版 2.7 類型轉(zhuǎn)換 p36
在其他一些書籍中，也有提到這個(gè)規(guī)則：
事情很清楚，如果一個(gè)參數(shù)沒(méi)有聲明，編譯器就沒(méi)有信息去對(duì)它執(zhí)行標(biāo)準(zhǔn)的類型檢查和轉(zhuǎn)換。
在這種情況下，一個(gè)char或short將作為int傳遞，float將作為double傳遞。
這些做未必是程序員所期望的。
腳注：這些都是由C語(yǔ)言繼承來(lái)的標(biāo)準(zhǔn)提升。
對(duì)于由省略號(hào)表示的參數(shù)，其實(shí)際參數(shù)在傳遞之前總執(zhí)行這些提升（如果它們屬于需要提升的類型），將提升后的值傳遞給有關(guān)的函數(shù)?！g者注
——《C++程序設(shè)計(jì)語(yǔ)言》第3版-特別版 7.6 p138
…… float類型的參數(shù)會(huì)自動(dòng)轉(zhuǎn)換為double類型，short或char類型的參數(shù)會(huì)自動(dòng)轉(zhuǎn)換為int類型 ……
——《C陷阱與缺陷》 4.4 形參、實(shí)參與返回值 p73
這里有一個(gè)陷阱需要避免：
va_arg宏的第2個(gè)參數(shù)不能被指定為
char、
short或者
float類型。
因?yàn)閏har和short類型的參數(shù)會(huì)被轉(zhuǎn)換為int類型，而float類型的參數(shù)會(huì)被轉(zhuǎn)換為double類型 ……
例如，這樣寫
肯定是不對(duì)的：
c = va_arg(ap,char);
因?yàn)槲覀儫o(wú)法傳遞一個(gè)char類型參數(shù)，如果傳遞了，它將會(huì)被自動(dòng)轉(zhuǎn)化為int類型。上面的式子應(yīng)該寫成：
c = va_arg(ap,int);
——《C陷阱與缺陷》p164
2009/05/07 修改：
printf函數(shù)族有用于short的控制符“h”。
見：
http://www.cplusplus.com/reference/clibrary/cstdio/printf/
相關(guān)鏈接：
——《可變長(zhǎng)參數(shù)列表誤區(qū)與陷阱——va_end是必須的嗎？》
http://m.shnenglu.com/ownwaterloo/archive/2009/04/21/is_va_end_necessary.html
本
作品采用
知識(shí)共享署名-非商業(yè)性使用-相同方式共享 2.5 中國(guó)大陸許可協(xié)議進(jìn)行許可。
轉(zhuǎn)載請(qǐng)注明 ：
文章作者 - OwnWaterloo
發(fā)表時(shí)間 - 2009年04月21日
原文鏈接 - http://m.shnenglu.com/ownwaterloo/archive/2009/04/21/unacceptable_type_in_va_arg.html
posted on 2009-04-21 23:41
OwnWaterloo 閱讀(13258)
評(píng)論(5) 編輯 收藏 引用