可变参数宏

定义宏时可以让宏接收可变参数,对于可变参数的定义,标准 C 和 GNU C(GNU 对 C的扩展)是不一样的。

标准 C

标准 C 对于可变参数的定义如下,使用...:

#define eprintf(...) fprintf (stderr, __VA_ARGS__)

在宏定义中,__VA_ARGS__ 代表了所有的可变参数。比如像下面使用宏 eprintf:

eprintf ("%s:%d: ", input_file, lineno)

那么 __VA_ARGS__ 就是 "%s:%d: ", input_file, lineno。

GNU C

GNU C 除了支持标准 C的定义之外,还有自己的一套定义,同样是定义宏 eprintf,GNU C 中可以定义成:

#define eprintf(args...) fprintf (stderr, args)

和标准 C 不同之处在于可变参标志...前面有一个参数名 args,在宏定义里面也没有 __VA_ARGS__,而是直接使用的参数名 args,两者是等价的,但是如果使用 GNU C 的方式,在宏定义中就不可以使用 __VA_ARGS__。

可变参数为空

假如定义了如下宏(不管是使用标准 C 方式还是 GNU C方式都可以,这里使用标准 C 的方式):

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

在标准 C 的环境下进行如下调用,不传递可变参数:

eprintf("success!\n");

宏的扩展将会报错,因为扩展出来后的形式如下:

fprintf(stderr, "success!\n",);

fprintf 最后一个参数后面多了一个逗号,这样将报错。这种情况在标准 C 下无法解决,但是 GNU C可以解决。GNU C 赋予 "##" 另一种特殊意义(不是字符串连接的意义了),如果在可变参数前面加上"##",当可变参数为空时,前面的逗号会被删除:

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

// 或者
#define eprintf(format, args...) fprintf(stderr, format, ##args)

当可变参数为空时,宏都会扩展成:

fprintf(stderr, "success!\n");

可以看到最后一个参数后面的逗号被删除了。

Clang 默认使用 GNU11,因此也支持这个功能。

 

你可能感兴趣的:(可变参数宏)