用可變參數宏(variadic macros)傳遞可變參數表

用可變參數宏(variadic macros)傳遞可變參數表

注意：_VA_ARGS__ 從VS2005纔開始支持

===========

在 GNU C 中，宏能夠接受可變數目的參數，就象函數同樣，例如：
#define pr_debug(fmt,arg...) printk(KERN_DEBUG fmt,##arg)

用可變參數宏(variadic macros)傳遞可變參數表
你可能很熟悉在函數中使用可變參數表，如：
void printf(const char* format, …);
直到最近，可變參數表仍是隻能應用在真正的函數中，不能使用在宏中。
C99編譯器標準終於改變了這種局面，它容許你能夠定義可變參數宏(variadic macros)，這樣你就可使用擁有能夠變化的參數表的宏。可變參數宏就像下面這個樣子：
#define debug(…) printf(__VA_ARGS__)
缺省號表明一個能夠變化的參數表。使用保留名 __VA_ARGS__ 把參數傳遞給宏。當宏的調用展開時，實際的參數就傳遞給 printf()了。例如：
Debug(「Y = %d\n」, y);
而處理器會把宏的調用替換成：
printf(「Y = %d\n」, y);
由於debug()是一個可變參數宏，你能在每一次調用中傳遞不一樣數目的參數：
debug(「test」); //一個參數
可變參數宏不被ANSI/ISO C++ 所正式支持。所以，你應當檢查你的編譯器，看它是否支持這項技術。

用GCC和C99的可變參數宏， 更方便地打印調試信息
gcc的預處理提供的可變參數宏定義真是好用：
#ifdef DEBUG
 #define dbgprint(format,args...)  fprintf(stderr, format, ##args)
#else
 #define dbgprint(format,args...)
#endif
如此定義以後，代碼中就能夠用dbgprint了，例如dbgprint("aaa %s", __FILE__);。感受這個功能比較Cool 
下面是C99的方法：
#define dgbmsg(fmt,...) printf(fmt,__VA_ARGS__)

 

新的C99規範支持了可變參數的宏
具體使用以下：
 如下內容爲程序代碼:
 #include <stdarg.h>
#include <stdio.h>
 #define LOGSTRINGS(fm, ...) printf(fm,__VA_ARGS__)
 int main()
 {
      LOGSTRINGS("hello, %d ", 10);
      return 0;
 }
 但如今彷佛只有gcc才支持。

可變參數的宏裏的‘##’操做說明
帶有可變參數的宏（Macros with a Variable Number of Arguments）
在1999年版本的ISO C 標準中，宏能夠象函數同樣，定義時能夠帶有可變參數。宏的語法和函數的語法相似。下面有個例子：
#define debug(format, ...) fprintf (stderr, format, __VA_ARGS__)
這 裏，‘…’指可變參數。這類宏在被調用時，它（這裏指‘…’）被表示成零個或多個符號，包括裏面的逗號，一直到到右括弧結束爲止。當被調用時，在宏體 （macro body）中，那些符號序列集合將代替裏面的__VA_ARGS__標識符。更多的信息能夠參考CPP手冊。
GCC始終支持複雜的宏，它使用一種不一樣的語法從而可使你能夠給可變參數一個名字，如同其它參數同樣。例以下面的例子：
#define debug(format, args...) fprintf (stderr, format, args)
這和上面舉的那個ISO C定義的宏例子是徹底同樣的，可是這麼寫可讀性更強而且更容易進行描述。
GNU CPP還有兩種更復雜的宏擴展，支持上面兩種格式的定義格式。
在標準C裏，你不能省略可變參數，可是你卻能夠給它傳遞一個空的參數。例如，下面的宏調用在ISO C裏是非法的，由於字符串後面沒有逗號：
debug ("A message")
GNU CPP在這種狀況下可讓你徹底的忽略可變參數。在上面的例子中，編譯器仍然會有問題（complain），由於宏展開後，裏面的字符串後面會有個多餘的逗號。
爲了解決這個問題，CPP使用一個特殊的‘##’操做。書寫格式爲：
#define debug(format, ...) fprintf (stderr, format, ## __VA_ARGS__)
這 裏，若是可變參數被忽略或爲空，‘##’操做將使預處理器（preprocessor）去除掉它前面的那個逗號。若是你在宏調用時，確實提供了一些可變參 數，GNU CPP也會工做正常，它會把這些可變參數放到逗號的後面。象其它的pasted macro參數同樣，這些參數不是宏的擴展。

怎樣寫參數個數可變的宏
一種流行的技巧是用一個單獨的用括弧括起來的的 ``參數" 定義和調用宏, 參數在 宏擴展的時候成爲相似 printf() 那樣的函數的整個參數列表。
    #define DEBUG(args) (printf("DEBUG: "), printf args)
    if(n != 0) DEBUG(("n is %d\n", n));
明顯的缺陷是調用者必須記住使用一對額外的括弧。
gcc 有一個擴展可讓函數式的宏接受可變個數的參數。 但這不是標準。另外一種 可能的解決方案是根據參數個數使用多個宏 (DEBUG1, DEBUG2, 等等), 或者用 逗號玩個這樣的花招:
    #define DEBUG(args) (printf("DEBUG: "), printf(args))
    #define _ ,
    DEBUG("i = %d" _ i);
C99 引入了對參數個數可變的函數式宏的正式支持。在宏 ``原型" 的末尾加上符號 ... (就像在參數可變的函數定義中), 宏定義中的僞宏 __VA_ARGS__ 就會在調用是 替換成可變參數。
最後, 你老是可使用真實的函數, 接受明肯定義的可變參數
若是你須要替換宏, 使用一個 函數和一個非函數式宏, 如 #define printf myprintf。