gpt4 book ai didi

oop - 在 Common Lisp 对象系统中分离初始化参数和类槽以创建对象

转载 作者:行者123 更新时间:2023-12-04 14:01:39 27 4
gpt4 key购买 nike

This询问有关从其他插槽初始化插槽的问题。相反,我想要实现的是将一些参数作为输入——也许但不一定是 make-instance——并将这些参数转换为类槽以进行存储。实际上,我想将类的实现与其(初始化)接口(interface)分开。

是否有推荐的方法来实现这一点?

我能想到的最简单的方法就是创建一个 (defun make-my-object ...) 作为接口(interface)。然后可以使用适当的参数调用 make-instance

例如想象一下

(defclass my-object () (slot-1 slot-2))
(defun make-my-object (arg-1 arg-2)
(make-instance 'my-object
:slot-1 (+ arg-1 arg-2)
:slot-2 (- arg-1 arg-2)))

我能想到的其他方法包括实现一个 initialize-instance :afterarg-1arg-2 作为关键字参数和适本地初始化 slot-1slot-2。但是,由于在方法之后以最不明确的优先顺序调用,这意味着父类(super class)槽将在当前类槽之前被初始化。另一方面,看起来更常见的是构造当前类的参数,并在这些参数的基础上初始化父类(super class)槽。

替代方案是 initialize-instance :before - 或者 :around - 但如果层次结构中的多个类具有此类“接口(interface)实现”差异,我不会看不到这个工作,除非我可以将参数传递给 call-next-method

还有其他方法吗?

编辑:感谢@ignis volens 让我注意到我的(一个)主要关注点是关于从子类插槽初始化父类(super class)插槽。有推荐的方法吗?

最佳答案

我不确定我是否理解您的问题。答案几乎可以肯定是在 initialize-instance 我想的方法之后。您说这将导致首先初始化父类(super class)中定义的插槽:是的,它会,而且几乎可以肯定您想要发生的事情。在父类(super class)中定义的插槽通常不依赖于它们在子类插槽上的值(总是可以想到所有的异常(exception)情况),因此几乎总是您想要的以最不具体​​的第一顺序初始化。

我使用的两种初始化插槽的常用方法是在定义中简单地声明它们的 initargs:

(defclass minibeast ()
((legs :initform 'uncountable
:initarg :legs
:initarg :leg-count
:accessor legs)
(tentacles :initform 'many
:initarg :tentacles
:initarg :number-of-tentacles
:accessor tentacles)))

现在 (make-instance 'minibeast :legs 87) 会如您所愿。这是可行的(因为,如果两个插槽是在不同的类中定义的,显然它必须这样做):

(defclass awful-monster ()
((legs :initform 'uncountable
:initarg :legs
:initarg :leg-count
:accessor legs)
(appendages :initform 'many
:initarg :legs
:initarg :appendages)))

现在 (make-instance 'awful-monster :legs 93) 将产生一个有 93 条腿和 93 个附肢的可怕怪物。

然而,该方法可能不符合将接口(interface)与实现分开的条件。您可能还想在初始化槽时执行一些计算。在这两种情况下,initialize-instance 上的方法通常都是正确的方法:

(defclass horrible-monster ()
((legs :initform 983
:accessor legs)
(eyes :initform 63
:accessor eyes)
(appendages
:reader appendages)))

(defmethod initialize-instance :after
((m horrible-monster) &key eyes legs (stalky-eyes t))
(with-slots ((e eyes) (l legs) appendages) m
(when eyes (setf e eyes))
(when legs (setf l legs))
(setf appendages (if stalky-eyes (+ e l) l))))

现在可怕的怪物将获得适当数量的附肢(我不确定为什么可怕的怪物不知道他们的眼睛是否在茎上:也许他们没有镜子)。

当然还有许多其他组合。您可能不想让用户代码显式调用 make-instance,而是将其包装在某个函数中:

(defun make-awful-thing (&rest args &key (sort-of-horrible-thing 'horrible-monster)
&allow-other-keys)
(let ((the-remaining-args (copy-list args)))
;; No doubt alexandria or something has a way of doing this
(remf the-remaining-args ':sort-of-horrible0thing)
(apply #'make-instance sort-of-horrible-thing the-remaining-args)))

现在,您当然可以轻松拥有一些定制的初始化协议(protocol):

(defgeneric enliven-horrible-thing (horrible-thing &key)
(:method :around ((horrible-thing t) &key)
(call-next-method)
t))

(defun make-awful-thing (&rest args &key (sort-of-horrible-thing 'horrible-monster)
&allow-other-keys)
(let ((the-remaining-args (copy-list args)))
;; No doubt alexandria or something has a way of doing this
(remf the-remaining-args ':sort-of-horrible0thing)
(apply #'enliven-horrible-thing
(apply #'make-instance sort-of-horrible-thing
the-remaining-args)
the-remaining-args)))

(defmethod enliven-horrible-thing ((horrible-thing horrible-monster)
&key (ichor t) (smell 'unspeakable))
...)

关于oop - 在 Common Lisp 对象系统中分离初始化参数和类槽以创建对象,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/69827814/

27 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com