lisp - S 表达式和跟踪源位置

Question

Lisp s 表达式是一种将代码表示为抽象语法树的简洁而灵活的方法。然而，相对于编译器为其他语言使用的更专业的数据结构，它们有一个缺点:很难跟踪与代码中任何特定点对应的文件和行号。至少有些 Lisp 最终只是解决了这个问题；如果出现错误，他们仅报告函数名称的源位置，而不是文件和行号。

Scheme 的一些方言通过不使用普通的 cons 单元，而是使用 syntax objects 来解决这个问题，语法对象与 cons 单元同构，但也可以携带额外的信息，例如源位置。

Common Lisp 的实现是否解决了这个问题？如果是，怎么办？

Answer 1

Common Lisp 标准很少提及这些事情。例如，它提到函数 ed 可能采用函数名称，然后使用相应的源代码打开编辑器。但是没有指定机制，这个特性完全由开发环境提供，可能与 Lisp 系统结合。

处理这个问题的典型方法是编译文件，编译器将记录定义对象(函数、变量、类...)的源位置。例如，源位置可以放在符号的属性列表中(定义的事物的名称)，或记录在其他地方。此外，作为列表结构的实际源代码可以与 Lisp 符号相关联。请参阅函数 FUNCTION-LAMBDA-EXPRESSION。

一些实现会进行更复杂的源位置记录。例如，LispWorks 可以定位当前执行的函数的特定部分。它还会注明定义何时来自编辑器或监听器。参见 Dspecs: Tools for Handling Definitions .然后，调试器可以定位某个堆栈帧的代码在源代码中的位置。

SBCL 还具有 locate source code 的功能.

另请注意，Common Lisp 中的实际“源代码”并不总是文本文件，而是读取的 s 表达式。 eval 和 compile - 两个标准函数 - 不要将字符串或文件名作为参数。他们使用实际的表达方式:

CL-USER 26 > (compile 'foo (lambda (x) (1+ x)))
FOO
NIL
NIL

CL-USER 27 > (foo 41)
42

作为代码的 S 表达式不受任何特定文本格式的约束。它们可以通过 pretty-print 函数 pprint 重新格式化，这可能会考虑可用宽度以生成布局。

因此，注意结构可能有用，而记录源代码行的用处不大。