0

我正在为 C 中的玩具编程语言编写演示编译器。

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

4

2 回答 2

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）。这是单独的预处理器无法完成的事情（除非预处理器包含编译器的副本！）

于 2009-10-09T21:40:14.450 回答
0

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

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

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

于 2009-09-29T21:32:23.360 回答