Question

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))

我必须提供至少一个参数，我根据手册解决问题，使用＆＃39; ##＆＃39;。

#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未展开，但没有＆＃39; ##＆＃39;，第二个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))

所以这是情况

没有##，我必须在东方提供一个参数，但宏可以递归扩展。
with ##，零参数可以，但宏不能递归计算。

我可以同时解决这两个问题吗？

Answer 1

你能试试吗？

#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 variadic宏是否能够递归扩展## __ VA_ARGS__？

1 个答案: