void vltest(int i, float k, ...){
va_list vl; //定義va_list變量vl，該變量是指向參數的指針
va_start(vl, k); // 參數一：va_list變量vl；參數二：va_list變量vl中最後一個固定參數
int j = va_arg(vl, int); // 參數一：va_list變量vl；參數二：可變參數的類型，返回值j即可變參數
double m = va_arg(vl, double); // 同上
unsigned long n = va_arg(vl, unsigned long); // 同上
va_end(vl); // 結束可變參數的獲取
printf("i = %d, k = %.f, j = %d, m = %lf, n = %lu\r\n", i,k, j, m, n);
}
上述方法不能智能識別不同參數的個數和類型。
如果想實現智能識別可變參數，比如printf，需要在自己的程序中作特殊處理，示例如下：
#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語言中，調用一個不帶原型聲明的函數時：
調用者會對每個參數執行“默認實際參數提升(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);
總之，va_arg(ap,type)中的type絕對不能為以下類型：
——char、signed char、unsigned char
——short、unsigned short
——signed short、short int、signed short int、unsigned short int
——float
注：部分編譯器，如筆者所測試的xCode4.3，輸入上述錯誤類型後有警告提示。
作者 揚名
