5

我把失败.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.

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

4

1 回答 1

6

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

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

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

文件编译器然后看到宏栏并对其进行编译 -> 代码被写入文件。它确实（！）将代码加载到编译时环境中。

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

解决方案：

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

  • 将函数作为本地函数放入宏中

  • 把(EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE) ...)函数定义放在一边。它导致定义在编译时执行。

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

于 2015-04-04T03:56:10.523 回答