common-lisp - 使用:method option in defgeneric

Question

在阅读基恩的书后，我注意到 defgeneric有一个:method选项，它似乎允许您在通用定义本身中指定一个方法。我见过的大多数文档都在单独的 defmethod 中定义了所有适用的方法。 s。 hyperspec一如既往地清晰地列出了 :method作为 defgeneric 的选项，但没有说明其含义。

:method 是吗？选项提供默认值，或者至少记录您期望的最常见用例，或者它是否具有其他语义？作为一个风格点，如果您希望只定义一个方法，那么将其定义在 defgeneric 中是否更有意义？形式(如果你确实可以这样做)，或单独在 defmethod 中？或者在这种情况下创建通用函数根本没有意义，而是使用常规 defun ？

Answer 1

The hyperspec, with its usual clarity, lists :method as an option for defgeneric, but does not say what it means.

实际上，HyperSpec entry for defgeneric以其一贯的清晰性，准确地表达了它的含义。它说 defgeneric 的语法是:

defgeneric function-name gf-lambda-list [[option | {method-description}*]]

然后说方法描述的语法是:

method-description::= (:method method-qualifier* specialized-lambda-list [[declaration* | documentation]] form*)

然后它描述了方法组合:

Each method-description defines a method on the generic function. The lambda list of each method must be congruent with the lambda list specified by the gf-lambda-list option. If no method descriptions are specified and a generic function of the same name does not already exist, a generic function with no methods is created.

因此 :method 形式用于在泛型函数上定义方法，就像 defmethod 形式一样。

(我承认它并没有真正说明为什么你更喜欢 defgeneric plus :method 而不是 defmethod。请记住，Common Lisp 中的 Common 意味着语言是统一许多现有 Lisp 实现的尝试。也许一些支持 :method，另一些支持 defmethod，这是提供统一接口(interface)的最简单方法。)

也就是说，以下内容具有相同的效果:

(defgeneric to-list (object))

(defmethod to-list ((object t))
  (list object))

(defmethod to-list ((object list))
  object)

(defgeneric to-list (object)
  (:method ((object t)) 
    (list object))
  (:method ((object list))
    object))

有时，用 defgeneric 形式定义一些方法会很方便。这更多的是风格问题，这涉及到你问题的其他部分。

Does the :method option present a default, or at least, document what you expect the most common use case will be, or does it have additional semantics?

如果您定义的方法没有类型说明符，或者具有适用于每个对象的类型说明符(例如，t)，那么它可以是一种默认值。

As a style point, if you expect to define only one method, does it make more sense to define it in the defgeneric form (if you can, indeed, do that), or separately in a defmethod? Or does it not make sense to make a generic function in this case at all, and instead use a regular defun?

我认为这取决于您为什么希望只定义一种方法。如果是因为您只是定义默认值，但希望其他用户在其上实现方法，那么如果有人需要查找源代码，则将这些方法与 defmethod 一起放置可能会很方便。如果您期望只做一件事，那么普通函数可能更有意义。我认为这些决定只是归结为风格选择。

还值得注意的是，还有其他形式可以在泛型函数上定义方法(以及其他形式也可以生成泛型函数)。在 HyperSpec 中，使用向上箭头转到更高的部分通常会给您带来更多的散文。在这种情况下，7.6.1 Introduction to Generic Functions很有用:

Some operators define methods for a generic function. These operators will be referred to as method-defining operators; their associated forms are called method-defining forms. The standardized method-defining operators are listed in the next figure.

defgeneric        defmethod  defclass  
define-condition  defstruct