哪些图灵完备的宏语言可用于 C/C++

Question

序言

Lispers 声称相对于更多“主流”语言的优势之一是宏语言实际上是图灵完备的（我不记得这是 On Lisp 中的 Paul Graham 还是它是 Land Of Lisp)¹ 中的 Conrad Barski，至少在外人看来，这似乎是正确的——C/C++ 中的预处理器指令似乎并不图灵完备（老实说，它们更像是一种注释语法）。

现在...问题

1. 这是一个准确的评估吗？只涉足 C 语言，这让我觉得这是 Lispers 过分热心的另一点
2. 是否有值得注意的图灵完备宏语言（用于 C/C++）？
   • 是否有任何正在进行中或失败的尝试可能值得在未来寻找？
   • 我听说 Python 现在可以作为编译 C/C++ 的主干（暗示 Python 可以用来编写宏），但我还没有看到证实这一点。是真的吗？

（我不会问诸如“什么是最好的......”之类的意见问题）

^{1.顺便说一句，这两本书都非常好，只是说'}

Answer 1

C 宏实际上是图灵完备的，如果处理不止一次。查看this related question，尤其是在接受的答案中链接到的Turing machine implementation。

但是，是的，这是作弊。那里使用的解决方案强烈暗示 C 宏确实不是图灵完备的。

Answer 2

关于 C 预处理器不是图灵完备的评估既准确又毫无意义。任何对于 C 预处理器来说过于复杂的计算，如果用预处理器（例如代码文本操作）术语来表述，很可能难以理解并且应该被编码。

C++ 模板是预处理器魔法的既定继承者，并且比那些模板更容易理解。所以，Lispers 又一次完全正确，没有抓住重点，就像往常一样:-)。