variadic macro提到了gcc的VA_ARGS。
我做了下面的实验。

#define EVAL(f,...) eval(f,build_args(args,__VA_ARGS__ , args_end))

以及
EVAL(f,a) // => eval(f,build_args(args,a, args_end))
EVAL(f,a,b) // => eval(f,build_args(args,a,b, args_end))

到目前为止还不错,但是
EVAL(f) // => eval(f,build_args(args, , args_end))

我必须至少提供一个参数,我根据手册解决问题,使用“35;#”。
#define EVAL(f,...) eval(f,build_args(args,##__VA_ARGS__ , args_end))
EVAL(f,a) // => eval(f,build_args(args,a, args_end))
EVAL(f,a,b) // => eval(f,build_args(args,a,b, args_end))
EVAL(f) // => eval(f,build_args(args, args_end))

到目前为止还不错,但是
#define EVAL(f,...) eval(f,build_args(args,##__VA_ARGS__ , args_end))
EVAL(f,EVAL(g,a)) // => eval(f,build_args(args,EVAL(g,a) , args_end))

我们可以看到第二个EVAL没有展开,但是没有'##',第二个EVAL被展开。
#define EVAL(f,...) eval(f,build_args(args,##__VA_ARGS__ , args_end))
EVAL(f,EVAL(g,a)) // => eval(f,build_args(args,
                  //          eval(g,build_args(args,a , args_end),
                  //                 args_end))

所以情况是这样的
如果没有##,我必须提供一个参数,但是宏可以递归地展开。
对于##,零参数可以,但宏不能递归求值。
我能同时解决这两个问题吗?

最佳答案

你能试试这个吗?

#define _build_args(args,f,...) eval(f,build_args(args,__VA_ARGS__))
#define EVAL(f...) _build_args(args,f,args_end)

这似乎对我有利,因为:
EVAL(f,a)
EVAL(f,a,b)
EVAL(f)
EVAL(f,EVAL(g,a))

给予:
eval(f,build_args(args,a,args_end))
eval(f,build_args(args,a,b,args_end))
eval(f,build_args(args,args_end))
eval(f,build_args(args,eval(g,build_args(args,a,args_end)),args_end))

关于c - C可变参数宏能够递归扩展## __ VA_ARGS__吗?,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/30499621/

10-11 23:03
查看更多