C/C++宏定义的可变参数详细解析

在1999年版本的ISO C 标准中，宏可以象函数一样，定义时可以带有可变参数。宏的语法和函数的语法类似。编写代码的过程中，经常会输出一些调试信息到屏幕上，一般会调用printf这类的函数。但是当调试解决之后，我们需要手工将这些地方删除或者注释掉。最近在看《Linux C编程一站式学习》这本书，就想到一个方法：

void myprintf(char* fmt, ...)

{

}

#ifdef DEBUG

#define printf(fmt, args...) myprintf(fmt,##args)

#endif

调试阶段带着DEBUG调试，正式上线就可以把printf变成一个空函数了。这样做的一个潜在风险是可能会导致默写glib函数需要调用printf输出错误log也给取消掉了。令人欣慰的是，大部分glib调用的应该是fprintf。虽然问题解决了，但是我对args...以及##args还是不太了解。上网找了些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参数一样，这些参数不是宏的扩展。

文章来源
http://m.jb51.net/article/41517.htm