c - 宏是否可以对另一个宏求多个参数？

Question

我想做这样的事情:

#define NEED3ARGS(a1,a2,a3) ( "[" #a1 " + " #a2 " + " #a3 "]" )
#define MULTIARG()  ARG1, ARG2, ARG3

NEED3ARGS( MULTIARG() )

我希望它输出如下内容:

( "[" "ARG1" " + " "ARG2" " + " "ARG3" "]" )

但我有:

$ cpp multiarg.c 
# 1 "multiarg.c"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "multiarg.c"

multiarg.c:4:23: error: macro "NEED3ARGS" requires 3 arguments, but only 1 given
NEED3ARGS

有没有办法使用 ANSI-C/GNU GCC 和 C 预处理器来完成我想要的事情？

谢谢!

Answer 1

你需要一些间接的方式。使用 C99:

#define NEED3ARGS(a1,a2,a3) ( "[" #a1 " + " #a2 " + " #a3 "]" )
#define INVOKE_NEED3ARGS(...) NEED3ARGS(__VA_ARGS__)
#define MULTIARG()  ARG1, ARG2, ARG3

INVOKE_NEED3ARGS( MULTIARG() )

(C99 不是严格要求的；您可以用固定数量的宏替换可变参数宏。)

如果您需要使用 Visual C++ 编译源代码，则需要更多间接(因为 a compiler bug ):

#define NEED3ARGS(a1,a2,a3) ( "[" #a1 " + " #a2 " + " #a3 "]" )
#define INVOKE_NEED3ARGS_(...) NEED3ARGS __VA_ARGS__
#define INVOKE_NEED3ARGS(...) INVOKE_NEED3ARGS_((__VA_ARGS__))
#define MULTIARG()  ARG1, ARG2, ARG3

INVOKE_NEED3ARGS( MULTIARG() )

<小时/>

至于为什么需要间接:宏参数在被替换到替换列表之前不会被求值和宏替换。因此，当您尝试 NEED3ARGS(MULTIARG()) 时，MULTIARG() 在宏调用开始之后之前不会被计算，因此它会被处理作为单个参数。

INVOKE_NEED3ARGS 宏可确保在调用 NEED3ARGS 之前完全评估其参数。 __VA_ARGS__ 由宏替换的参数替换为 INVOKE_NEED3ARGS，即 ARG1、ARG2、ARG3，然后是 NEED3ARGS > 使用这些参数调用。