5

我试图在 Common Lisp CLOS 中找到典型的菱形继承问题的解决方案。编码 ：

(defclass C1.0 () ... )
(defclass C2.1 (C1.0) ...)
(defclass C2.2 (C1.0) ...)
(defclass C3.0 (C2.1 C2.2) ...)

(defmethod m1 ((obj C1.0)) ...)
(defmethod m1 ((obj C2.1)) ...)
(defmethod m1 ((obj C2.2)) ...)
(defmethod m1 ((obj C3.0))
  ; Here I want to call the C2.2 version of
  ; m1
  ...)

还假设 C1.0、C2.1 和 C2.2 的代码位于我无权访问的库中，因此我无法在那里修改任何内容。此外，假设其他一些类也将从 C2.2 派生并且可能不想调用 m1 的 C2.2 版本，所以我不能真正使用:before. 使用call-next-method会调用C2.1版本。

只是为了澄清，这是如何在 Python 中解决它：

class C1_0 :
  def m1 (self) : ...

class C2_1 (C1_0) :
  def m1 (self) : ...

class C2_2 (C1_0) :
  def m1 (self) : ...

class C3_0 (C2_1, C2_2) :
  def m1 (self) :
    C2_2.m1 (self)     # <-- This is the solution
    ...
4

3 回答 3

8

如果你想调用类的特定方法，你就违背了 CLOS 的目的。另请注意，CLOS 比这更通用，因为它不仅支持多重继承，还支持多重分派。Dispatch 可以处理多个参数。因此方法不属于类，方法的继承不是基于类继承，而是基于方法组合（通常使用类继承以某种方式对方法进行排序）。

让我们看看在两个参数上分派的方法：

(defmethod m1 ((obj1 C1.0) (obj2 C1.0)) ...)
(defmethod m1 ((obj1 C2.1) (obj2 C1.0)) ...)
(defmethod m1 ((obj1 C2.2) (obj2 C3.0)) ...)
(defmethod m1 ((obj1 C3.0) (obj2 C3.0)) ...)

请注意，我们讨论的是标准方法组合，当您调用泛型函数时，通常会调用最具体的主要方法。在 CLOS 中，标准方法组合中的适用方法可以通过 调用下一个方法call-next-method。这是直接调用继承功能的常用机制（还有:before,:after和:around可以提供继承功能的方法）。

但是另一种（简单的）方法组合，比如+,progn或and呢？如果+调用所有适用的方法并添加结果。

然后我们有如下方法：

(defmethod m1 + ((obj1 C1.0) (obj2 C1.0))  1)
(defmethod m1 + ((obj1 C2.1) (obj2 C1.0))  2)
(defmethod m1 + ((obj1 C2.2) (obj2 C3.0)) 10)
(defmethod m1 + ((obj1 C3.0) (obj2 C3.0)) 20)

像这样的简单方法组合在应用程序或库中并不经常使用。CLOS 还提供了一种用户指定的复杂方法组合的方式（例如：合同设计功能可以由用户在 CLOS 中实现）。

您可以在 CLOS 中解决它：您可以访问通用函数的特定方法并调用其方法函数，但这很少使用并且已经是元级功能。您也可以编写自己的方法组合，在这里您可以提供更复杂的调用方法。但这也是相当困难的。

因此，仅当您从面向类的对象系统的角度考虑并尝试使用 CLOS 时，才可能在 CLOS 中考虑“钻石问题”——这可以通过将 CLOS 的使用限制为简单的情况来实现。但那时CLOS并没有解决钻石问题的办法。CLOS 通过将相同的插槽合并为一个来避免插槽。CLOS 通过提供一种不同的方式将方法组织成泛型类并调用它们，首先通过方法组合来组装它们，从而避免了方法的这种情况。

于 2014-11-22T09:45:28.557 回答
0

我在 Clozure CL 中找到了一种方法，但不确定它在主要的 Common Lisp 实现中是否可移植（或半可移植）。

以下代码将调用 m1 的 C2.2 版本：

(funcall
  (method-function (find-method #'m1 '() `(,(find-class 'C2.2))))
  obj)
于 2014-11-22T05:23:36.050 回答
0

调度顺序可以通过改变超类的顺序来改变：

(defclass c3.2 (c2.2 c2.1)
  ...)

(defclass c3.1 (c2.1 c2.2)
  ...)

(m1 (make-instance 'c3.2)) ; calls the method specialized to c2.2

(m1 (make-instance 'c3.1)) ; calls the method specialized to c2.1
于 2014-11-22T06:47:45.120 回答