ANSI Common Lisp译本笔记9

Common Lisp 对象系统(CLOS)

common lisp对象系统，简称为CLOS，是用一组用来实作面向对象编程的操作集。

defclass：定义一个类
格式：defclass 类名 () (字段))
说明：字段又叫槽(slot),传给defclass的第三个参数必须是一个槽定义的列表。

make-instance：实例化一个类，即创建一个类的实例。
格式：make-instance '类名
说明：一般和setf一起使用。
如：(setf one (make-instance 'people))。创建了一个类people的实例one。


slot-value：给实例的槽赋值，一般与setf一起使用
格式：(setf (slot-value one 'name) "sayer")

槽的属性

传给defclass的第三个参数必须是一个槽定义的列表。
一般，一个槽定义可以是列表，第一个是槽名，伴随这一个或多个属性。属性像关键字参数一样指定

accessor：在槽定义的时候，使用可添加槽的存取器，即通过此属性之后的名字存取该槽的值。
如：(defclass people ()
((name :accessor people-name)
(age  :accessor people-age))
(setf one (make-instance 'people)
(setf (people-name one) "sayer")
(people-name one)→sayer

writer：在槽定义时，指定该属性，可表示读取器为可写。
reader：在槽定义时，指定该属性，可表示读取器为只读。
如：(defclass people ()
((name :writer set-name
      :reader get-name)))
(set one (make-instance 'people))
(set-name "sayer" one)
(get-name one)→sayer


initarg：指定槽的缺省值
initform：给槽指定一个关键字。可在创建实例时通过关键字给槽指定值。
如：(defclass people ()
((name :reader get-name
:initform "XXX"))
(setf one (make-instance 'people)
(get-name one)→XXX

(defclass people ()
((name :reader get-name
      :initarg :name)))
(setf one (make-instnace 'people :name "sayer"))
(get-name one)→sayer

注意：initarg的优先级要比initform高。

allocation :class：指定为共享槽，即所有的实例共享这个一个槽的数据。
如：(defclass people ()
  ((type :allocation :class
:initform "people"
:reader get-type
:writer set-type)))
(setf one (make-instance 'people))
(setf two (make-instance 'people))
(set-type "XXX" one)
(get-type two)→XXX

基类

defclass接受的第二个参数是一个列出其基类的列表。一个类别继承了所有基类槽的联合。
如：(defclass people ()
((name :accessor name)
(age  :accessor age)))
(defclass people ()
((name :accessor name)
(age  :accessor age)))
(setf one (make-instance 'man))
(setf (name one) "XXX")
(name one)→XXX

优先级

当一个实例的方法同时属于这个实例所属的几个类时，需要排列一个优先级。
每一个类都有一个优先级列表：一个将自身及自身的基类从最具体到最不具体所排列。

通用函数

一个通用函数是一个或多个方法组成的一个函数，用defmethod来定义。格式与defun类似。

defmethod：定义通用函数
格式：defmethod 函数名 (参数列表) (函数体)

通用函数唯一的区别是：可以继续替它添加新的方法。