为什么必须在单独的表达式中计算'require‘才能使用包

Question

我有一些lisp初始化代码：

(eval-when (:compile-toplevel :load-toplevel :execute)
  (require 'asdf))

(eval-when (:compile-toplevel :load-toplevel :execute)
  (push #p"c\:\\lisp\\clsql-4.0.4\\" asdf:*central-registry*))

为什么这个版本会编译，而这个版本：

(eval-when (:compile-toplevel :load-toplevel :execute)
  (require 'asdf)
  (push #p"c\:\\lisp\\clsql-4.0.4\\" asdf:*central-registry*))

在编译文件的第三行产生一个错误，asdf是一个无法识别的包？

我使用的是ccl，并且(require ' ASDF )被记录为引入了ASDF的内置版本。

Answer 1

以下可能在某些细节上不准确，但大致是这样的：

Lisp“引擎”经历了四个阶段:读取时、宏扩展时、编译时和运行时。

每个顶层表单首先被完整地读入。然而，阅读涉及到对各个符号的解析。由于在读取eval-when表单时尚未加载ASDF，因此尚无法解析symbol asdf:*central-registry*，这会产生上述读取错误。

Answer 2

请看Svante的答案。

有时你可能想解决这个问题。然后，您需要在运行时在代码中查找符号。

(push somepath (symbol-value (find-symbol "*CENTRAL-REGISTRY*" "ASDF")))

可以使用上面的代码，因为符号asdf：*central registry*不是直接使用的，而是在运行时使用符号名称和包名进行查找。