可變引數巨集 VA ARGS

可變引數巨集va_args

在 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 
#include 
#define logstrings(fm, ...) printf(fm,__va_args__)
int main()

但現在似乎只有gcc才支援。

可變引數的巨集裡的『##』操作說明

帶有可變引數的巨集（macros with a variable number of arguments）

在2023年版本的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。