递归 C 宏未扩展

Question

我正在研究一个递归宏。但是，它似乎没有递归扩展。这是一个最小的工作示例来说明我的意思：

// ignore input, do nothing
#define ignore(...)
// choose between 6 names, depending on arity
#define choose(_1,_2,_3,_4,_5,_6,NAME,...) NAME
// if more than one parameter is given to this macro, then execute f, otherwise ignore
#define ifMore(f,...) choose(__VA_ARGS__,f,f,f,f,f,ignore)(__VA_ARGS__)
// call recursively if there are more parameters
#define recursive(first,args...) first:ifMore(recursive,args)

recursive(a,b,c,d)
// should print: a:b:c:d
// prints: a:recursive(b,c,d)

recursive 宏应递归扩展自身并始终连接结果，用冒号分隔。但是，它不起作用。递归宏生成正确（从结果a:recursive(b,c,d) 可以看出，其中再次包含对宏的格式良好的调用），但生成的递归调用未扩展。

为什么会这样，我怎样才能得到我想要的行为？

Answer 1

你无法得到你想要的行为。根据设计，C 预处理器不是图灵完备的。

您可以使用多个宏来获得多个替换，但使用任意数量的替换将无法实现真正​​的递归。

Answer 2

正如其他人所提到的，纯递归是不可能使用 C 宏的。但是，可以模拟类似递归的效果。

Boost Pre-Processor 工具在 C 和 C++ 中都能很好地做到这一点，并且是一个独立的库：

http://www.boost.org/doc/libs/1_60_0/libs/preprocessor/doc/index.html

Answer 3

编译器预处理器不会重新扩展您定义的宏。也就是说，它将盲目地将在宏语句中找到的任何字符串替换为在定义中找到的字符串。例如，Can we have recursive macros? 或 Macro recursive expansion to a sequence 和 C preprocessor, recursive macros

也就是说，recursive(a,b,c,d) 将扩展为a:recursive(b,c,d)，然后预处理器将继续执行基本代码中的下一行。它不会循环尝试继续扩展字符串（请参阅我引用的链接）。