變長度形參---可變參數宏(variadicmacros)傳遞可變參數表

在 GNU C 中，宏可以接受可變數目的參數，就象函數一樣，例如：

#define pr_debug(fmt,arg...) \

printk(KERN_DEBUG fmt,##arg)

用可變參數宏(variadicmacros)傳遞可變參數表

你可能很熟悉在函數中使用可變參數表，如：

void printf(const char* format,…);

直到最近，可變參數表還是隻能應用在真正的函數中，不能使用在宏中。

C99編譯器标準終于改變了這種局面，它允許你可以定義可變參數宏(variadicmacros)，這樣你就可以使用擁有可以變化的參數表的宏。可變參數宏就像下面這個樣子：

#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    :em11: 

下面是C99的方法： 

#define dgbmsg(fmt,...) \

             printf(fmt,__VA_ARGS__)

      

新的C99規範支援了可變參數的宏

具體使用如下：

 以下内容為程式代碼:

 #include<stdarg.h> #include<stdio.h>

 #define LOGSTRINGS(fm, ...)printf(fm,__VA_ARGS__)

 intmain() {     LOGSTRINGS("hello, %d ",10);     return 0; } 

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

可變參數的宏裡的‘##’操作說明

帶有可變參數的宏（ Macros with a Variable Number ofArguments ）

在1999年版本的ISOC 标準中，宏可以象函數一樣，定義時可以帶有可變參數。宏的文法和函數的文法類似。下面有個例子：

#define debug(format, ...)fprintf (stderr, format, __VA_ARGS__)

這裡，‘…’指可變參數。這類宏在被調用時，它（這裡指‘…’）被表示成零個或多個符号，包括裡面的逗号，一直到到右括弧結束為止。當被調用時，在宏體（macrobody）中，那些符号序列集合将代替裡面的__VA_ARGS__辨別符。更多的資訊可以參考CPP手冊。

GCC始終支援複雜的宏，它使用一種不同的文法進而可以使你可以給可變參數一個名字，如同其它參數一樣。例如下面的例子：

#define debug(format, args...) fprintf (stderr, format,args)

這和上面舉的那個ISO C定義的宏例子是完全一樣的，但是這麼寫可讀性更強并且更容易進行描述。

GNU CPP還有兩種更複雜的宏擴充，支援上面兩種格式的定義格式。

在标準C裡，你不能省略可變參數，但是你卻可以給它傳遞一個空的參數。例如，下面的宏調用在ISOC裡是非法的，因為字元串後面沒有逗号：

debug ("A message")

GNU CPP在這種情況下可以讓你完全的忽略可變參數。在上面的例子中，編譯器仍然會有問題（complain），因為宏展開後，裡面的字元串後面會有個多餘的逗号。

為了解決這個問題，CPP使用一個特殊的‘##’操作。書寫格式為：

#define debug(format, ...) fprintf (stderr, format, ##__VA_ARGS__)

這裡，如果可變參數被忽略或為空，‘##’操作将使預處理器（preprocessor）去除掉它前面的那個逗号。如果你在宏調用時，确實提供了一些可變參數，GNUCPP也會工作正常，它會把這些可變參數放到逗号的後面。象其它的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 printfmyprintf。

VC:

#ifndef MY_LOG(fmt, ...)

#define MY_LOG(fmt, ...)    do{\

    CStringW tmp;\

    tmp.Format(L"%s %s \r\n", L"LOG %u:%u %S(%S:%u)", fmt);\

    UINT32 n = (UINT32)strlen(__FILE__) - 1; for(;*(__FILE__ +n) != '\\'; n --); \

    CStringW lg; \

    lg.Format(tmp, GetCurrentProcessId(), GetCurrentThreadId(),\

    __FUNCTION__,__FILE__ + n + 1,__LINE__, __VA_ARGS__) ;\

    OutputDebugStringW(lg); \

} while(FALSE)

MY_LOG(L"Cxxxx::Doxx %s", strdataxxx);