c - 启用宏的语言如何跟踪源代码以进行调试？

Question

这是一个关于宏的更理论化的问题(我认为)。我知道宏在不对其进行评估的情况下获取源代码并生成目标代码，从而使程序员能够创建更多通用的句法结构。如果必须对这两个宏系统进行分类，我会说有“C 风格”宏和“Lisp 风格”宏。

调试宏似乎有点棘手，因为在运行时，实际运行的代码与源代码不同。

调试器如何根据预处理后的源代码跟踪程序的执行情况？是否必须设置特殊的“ Debug模式”以捕获有关宏的额外数据？

在 C 中，我可以理解您会为调试设置一个编译时开关，但是解释型语言(例如某些形式的 Lisp)将如何做到这一点？

很抱歉没有尝试这个，但是 lisp 工具链需要比我花更多的时间来弄清楚。

Answer 1

我认为“C 风格”和“Lisp 风格”宏的编译方式没有根本区别。两者都在编译器正确看到它之前转换源代码。最大的区别是 C 的宏使用 C 预处理器(一种较弱的辅助语言，主要用于简单的字符串替换)，而 Lisp 的宏是用 Lisp 本身编写的(因此可以做任何事情)。

(顺便说一句:我已经有一段时间没见过未编译的 Lisp 了……自世纪之交以来肯定没有。但如果有的话，被解释似乎会使宏调试问题更容易，而不是更难，因为你有更多的信息。)

我同意 Michael 的观点:我还没有看到一个 C 调试器可以处理宏。使用宏的代码会在任何事情发生之前进行转换。 "debug" mode for compiling C code通常只是意味着它存储 functions, types, variables, filenames, and such -- 我认为它们中没有任何一个存储有关宏的信息。

• 用于调试使用的程序宏，Lisp 几乎相同作为 C 在这里:你的调试器看到编译后的代码，而不是宏应用。通常宏是保持简单，并进行调试使用前独立，以避免需要这样做，就像 C 一样。

• 用于调试宏他们自己，在你去某个地方使用它之前，Lisp 确实有一些特性这使得这比在 C 中更容易，例如，repl 和 macroexpand-1 (虽然在 C显然有办法macroexpand 整个文件，完全，在一次)。你可以看到宏展开前后对比，就在你的编辑器中，当你写作时

我不记得有什么时候遇到这样的情况，即调试到宏定义本身会很有用。要么是宏定义中的错误，在这种情况下 macroexpand-1 会立即隔离问题，要么是宏定义中的错误，在这种情况下，正常的调试工具工作正常，我不在乎我的调用堆栈的两个帧之间发生了宏扩展。