0

我定义了一个宏来创建一个新类，然后定义一个常量来创建新定义的类的一个实例：

(defmacro my-class (name inst)
  `(progn
     (defclass ,name nil nil)
     (defconstant ,inst (make-instance ',name)))))

这似乎适用于 REPL

(my-class x1025 y1025)

但是在文件中编译它时不起作用：

There is no class named COMMON-LISP-USER::X1025.
   [Condition of type SIMPLE-ERROR]

Restarts:
  0: [ABORT] Abort compilation.
  1: [*ABORT] Return to SLIME's top level.
  2: [REMOVE-FD-HANDLER] Remove #<SB-IMPL::HANDLER INPUT on descriptor 8: #<CLOSURE (LABELS SWANK-BACKEND::RUN :IN SWANK-BACKEND:ADD-FD-HANDLER) {13228535}>>
  3: [ABORT] Exit debugger, returning to top level.

Backtrace:
  0: (SB-PCL::FIND-CLASS-FROM-CELL X1025 NIL T)
  1: ((:METHOD MAKE-INSTANCE (SYMBOL)) X1025) [fast-method]
  2: (SB-INT:SIMPLE-EVAL-IN-LEXENV (MAKE-INSTANCE (QUOTE X1025)) #<NULL-LEXENV>)
4

1 回答 1

3

该类在编译期间可能不为人所知，这样 Lisp 可以创建实例。该标准说在编译期间应该知道该类 - 但不是在DEFCLASS实际执行表单之前可以创建实例。

DEFCONSTANTMAKE-INSTANCE可以在编译期间评估表单。正如您在回溯中看到的，SBCL 实际上尝试调用MAKE-INSTANCE.

您需要在编译期间使该类完全可用。查看EVAL-WHEN或将类声明放在另一个文件中，您需要先加载该文件。

于 2014-03-22T21:59:35.357 回答