插槽定义的其他属性

时间:2014-02-24 11:52:20

标签: lisp common-lisp clos

http://mop.lisp.se/concepts.html说:

  

实现可以自由添加其他属性   规范化的槽规范提供的这些不是符号   可以在common-lisp-user包中访问,也可以由任何包导出   在ANSI Common Lisp标准中定义。

以示例:

(defclass sst (plane)
     ((mach mag-step 2
            locator sst-mach
            locator mach-location
            :reader mach-speed
            :reader mach))
  (:metaclass faster-class)
  (another-option foo bar))

但是当我尝试时:

(defclass a () ((x my-option 123)))

SBCL编译错误:

  

初始化参数无效:调用类

时的MY-OPTION      
                SB-MOP:STANDARD-DIRECT-SLOT-DEFINITION>.    
     

[SB-PCL类型的条件:: INITARG-ERROR]

所以问题。如何在插槽定义中添加其他属性(如“my-option”)?

1 个答案:

答案 0 :(得分:7)

实现可以做到这一点。但是用户无法添加随机属性。如果Common Lisp实现支持元对象协议,可以通过自定义Metaclass添加它。但这意味着还需要提供计算插槽的方法等。

那是先进的Lisp。本书元对象协议的艺术在第3章中有一个例子,扩展语言。

一个简单的例子(在LispWorks中工作):

(defclass foo-meta-class (standard-class) ())

(defclass foo-standard-direct-slot-definition (standard-direct-slot-definition)
  ((foo :initform nil :initarg :foo)))

(defclass foo-standard-effective-slot-definition (standard-effective-slot-definition)
  ((foo :initform nil :initarg :foo)))

(defmethod clos:direct-slot-definition-class ((class foo-meta-class) &rest initargs)
  (find-class 'foo-standard-direct-slot-definition))

(defmethod clos:effective-slot-definition-class ((class foo-meta-class) &rest initargs)
  (find-class 'foo-standard-effective-slot-definition))

让我们在用户定义的类中使用它:

(defclass foo ()
  ((a :initarg :a :foo :bar))
  (:metaclass foo-meta-class))

插槽定义对象的插槽foo将包含内容bar

CL-USER 10 > (find-class 'foo)
#<FOO-META-CLASS FOO 42200995AB>

CL-USER 11 > (class-direct-slots *)
(#<FOO-STANDARD-DIRECT-SLOT-DEFINITION A 42200B4C7B>)

CL-USER 12 > (describe (first *))

#<FOO-STANDARD-DIRECT-SLOT-DEFINITION A 42200B4C7B> is a FOO-STANDARD-DIRECT-SLOT-DEFINITION
FOO                     :BAR
READERS                 NIL
WRITERS                 NIL
NAME                    A
INITFORM                NIL
INITFUNCTION            NIL
TYPE                    T
FLAGS                   1
INITARGS                (:A)
ALLOCATION              :INSTANCE
DOCUMENTATION-SLOT      NIL

显然,如果财产具有任何实际意义,还有更多内容。