C++学习 可变参数的宏定义小技巧

printf()和fprintf()这些输出函数的参数是可变的，在调试程序时，你可能希望定义自己的参数可变的输出函数，

那么可变参数宏会是一个选择。

C99中规定宏可以像函数一样带有可变参数，比如

#define LOG(format, ...) fprintf(stdout, format, __VA_ARGS__)

其中，...表示参数可变，__VA_ARGS__在预处理中为实际的参数集所替换

 

GCC中同时支持如下的形式

#define LOG(format, args...) fprintf(stdout, format, args)

其用法和上面的基本一致，只是参数符号有变化

 

有一点需要注意，上述的宏定义不能省略可变参数，尽管你可以传递一个空参数，这里有必要提到"##"连接符号的用法。

"##"的作用是对token进行连接，在上例中，format、__VA_ARGS__、args即是token，

如果token为空，那么不进行连接，所以允许省略可变参数(__VA_ARGS__和args)，对上述变参宏做如下修改

#define LOG(format, ...)     fprintf(stdout, format, ##__VA_ARGS__)

#define LOG(format, args...) fprintf(stdout, format, ##args)

 

上述的变参宏定义不仅能自定义输出格式，而且配合#ifdef #else #endif在输出管理上也很方便，

比如调试时输出调试信息，正式发布时则不输出，可以这样

#ifdef DEBUG

#define LOG(format, ...) fprintf(stdout, ">> "format"\n", ##__VA_ARGS__)

#else

#define LOG(format, ...)

#endif

在调试环境下，LOG宏是一个变参输出宏，以自定义的格式输出；

在发布环境下，LOG宏是一个空宏，不做任何事情。

...在C宏中称为Variadic Macro，也就是变参宏。比如：
#define myprintf(templt,...) fprintf(stderr,templt,__VA_ARGS__)
  // 或者
#define myprintf(templt,args...) fprintf(stderr,templt,args)
第一个宏中由于没有对变参起名，我们用默认的宏__VA_ARGS__来替代它。第二个宏中，我们显式地命名变参为args，那么我们在宏定义中就可以用args来代指变参了。同C语言的stdcall一样，变参必须作为参数表的最后一项出现。当上面的宏中我们只能提供第一个参数templt时，C标准要求我们必须写成：
       myprintf(templt,);
的形式。这时的替换过程为：
       myprintf("Error!/n",);
  替换为：
      fprintf(stderr,"Error!/n",);
这是一个语法错误，不能正常编译。这个问题一般有两个解决方法。首先，GNU CPP提供的解决方法允许上面的宏调用写成：
      myprintf(templt);
而它将会被通过替换变成：
    fprintf(stderr,"Error!/n",);

    很明显，这里仍然会产生编译错误（非本例的某些情况下不会产生编译错误）。除了这种方式外，c99和GNU CPP都支持下面的宏定义方式：
#define myprintf(templt, ...) fprintf(stderr,templt, ##__VAR_ARGS__)
    这时，##这个连接符号充当的作用就是当__VAR_ARGS__为空的时候，消除前面的那个逗号。那么此时的翻译过程如下：
myprintf(templt);
  被转化为：
fprintf(stderr,templt);
这样如果templt合法，将不会产生编译错误。

Demo：

#define CHECK_RESULT(function, arg...) \
if (retval < 0) { \
fprintf(stderr, function" failed with [%d][%s]\n", \
##arg, retval, strerror(retval)); \
exit(retval); \
} else \
fprintf(stdout, function" OK!\n", ##arg)