从 Quicklisp 包中的宏调用函数

Question

我把 failing.asd

(in-package :asdf-user)                    

(defsystem "failing"                       
  :description "some code destined to fail"
  :version "0.1"                           
  :author "me"                      
  :components ((:file "package")))         

和package.lisp

(defpackage :failing  
  (:export :foo :bar))

(in-package :failing) 

(defun foo () 42)     

(defmacro bar ()      
  (let ((x (foo)))    
    `(print ,x)))     

(bar)                 

进入 ~/quicklisp/local-projects/failing。使用安装了 Quicklisp 的 Clozure CL，我运行

(ql:quickload :failing)

这给了我

To load "failing":
  Load 1 ASDF system:
    failing
; Loading "failing"
[package failing]
> Error: Undefined function FOO called with arguments () .
> While executing: BAR, in process listener(1).
> Type :GO to continue, :POP to abort, :R for a list of available restarts.
> If continued: Retry applying FOO to NIL.
> Type :? for other options.

似乎我无法从包内的宏中调用函数。为什么不呢？

Answer 1

只有当文件在加载之前被编译时才会发生这种情况。通常它与 ASDF（这是一种管理文件依赖关系和编译/加载代码的工具）或包（它们是命名空间，与 ASDF 没有任何关系）无关。

这与 Common Lisp 中文件编译的工作方式有关：

文件编译器 看到函数foo 并对其进行编译 -> 将其代码写入文件。 它不会（！）将代码加载到编译时环境中。

文件编译器然后看到宏栏并编译它 -> 代码被写入文件。 它确实 (!) 将代码加载到编译时环境中。

文件编译器然后看到(bar) 的宏形式并想要扩展它。它调用宏函数bar。它调用foo，这是未定义的，因为它不在编译时环境中。

解决方案：

• 将函数定义放在ASDF系统的单独文件中，并提前编译/加载。

• 将函数作为局部函数放入宏中

• 在函数定义周围加上(EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE) ...)。它导致定义在编译时执行。

记住：文件编译器需要知道宏函数 -> 否则它将无法对代码进行宏扩展。普通函数只是在编译文件期间被编译，而不是在编译时加载。