lisp - 不能在泛型函数方法中使用变量吗？ (CLOS/LISP)

Question

我正在学习 CLOS 中的通用函数。

由于我在教科书和网上找到的示例类型，我感到非常困惑。这些示例始终使用存在多个分派(dispatch)的事实。根据参数类型，执行不同的计算。但是，为什么示例中从未使用过参数本身？

Example code from Wikipedia

; declare the common argument structure prototype
(defgeneric f (x y)) 

; define an implementation for (f integer t), where t matches all types
(defmethod f ((x integer) y) 1) 

(f 1 2.0) => 1

; define an implementation for (f integer real)
(defmethod f ((x integer) (y real)) 2) 

(f 1 2.0) => 2 ; dispatch changed at runtime

在上面的示例中，您可以看到方法本身实际上从未使用过 x 或 y 变量。所有这些示例从不使用变量是巧合吗？可以用吗？

此外，它写在 Wikipedia 上:

Methods are defined separately from classes, and they have no special access (e.g. "this", "self", or "protected") to class slots.

好的，所以方法没有“this”，因为它们不属于某个类。但是为什么泛型函数方法可以有一个接收者呢？接收者不是类似于类中的'this'吗？

Answer 1

当然，您可以从参数列表中访问变量。维基百科示例仅用于说明哪个方法返回值。

But why can generic-function methods have a receiver then? Isn't the receiver similar to the 'this' in a class?

CLOS 通用函数没有单个接收器，因此使用接收器 这个词没有意义。您提到的实现可能没有实现完整的 CLOS，而是没有多重分派(dispatch)的变体。

CLOS 示例:

CL-USER 8 > (defmethod plus ((s1 string) (s2 string))
              (concatenate 'string s1 s2))
#<STANDARD-METHOD PLUS NIL (STRING STRING) 4020001E6B>

CL-USER 9 > (plus "foo" "bar")
"foobar"

您会看到使用了变量 s1 和 s2。将其中之一命名为 receiver 是没有意义的。

但您可以随意命名变量，当您的应用程序仅对第一个参数使用分派(dispatch)时，您可能希望调用该变量 receiver，但该名称对于 CLOS 没有语义。这只是另一个名字。

通常对于 CLOS 代码，最好为参数提供有用的名称。

这是误导，因为我们没有在 CLOS 中进行消息传递:

(defmethod plus ((receiver string) (argument string))
   (concatenate 'string receiver argument))

这个更有用:

(defmethod plus ((string-1 string) (string-2 string))
   (concatenate 'string string-1 string-2))