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