词法分析和宏

Question

我正在用 C 编写一个用于玩具编程语言的演示编译器。

如果我们在读取程序和词法分析之间的单独阶段进行宏处理，会出现什么问题？

Answer 1

如上所述，C 预处理器非常有限，因为它只执行基本的文本转换，这是由于其语言的限制。另一方面，查看 Common Lisp 中的宏系统，您可以看到将宏系统集成到主要语言中的优势，因为它可以让您使用宏中的主要语言工具。

一个简单的例子

(defmacro ntimes (data n)
  `(loop for i from 1 to ,n collecting ,data))

(print (ntimes 'a 10))

Result : (A A A A A A A A A A)

这种转换将在编译时完成（源代码的好处之一是它自己的 AST）。这是单独的预处理器无法完成的事情（除非预处理器包含编译器的副本！）

Answer 2

“预处理器”通常是指在主编译器获取代码之前转换代码的工具。

即预处理器通过其规则对源进行词法分析（并可能解析），执行一些转换并输出结果。主编译器根据 its 规则（可能与预处理器使用的规则不同）对预处理器的工作结果进行词法分析。

因此，如果预处理器对程序文本进行非平凡的更改，则很难一目了然地预测最终结果。使用 c 预处理器的 c 也是如此，但是（或者可能因此）约定认为您应该只以具有相当可预测结果的几种方式使用预处理器。 （我相信 c 预处理器是图灵完备的，所以如果你不疯狂地尝试调试它，那么可以实现的目标是没有限制的。 考虑到 Pavel 的评论，我承认没有循环, 没有递归, 没有堆栈。似乎那样会杀死它。谢谢。你仍然可以疯狂地尝试调试足够先进的宏堆。）