defmulti vs defmethod 有什么区别？ 在 Clojure 中

Question

defmethod 和 defmulti 有什么区别？

参考了这些链接。 但是还是不清楚。。

1. https://clojuredocs.org/clojure.core/defmulti
2. https://clojuredocs.org/clojure.core/defmethod

有人可以帮我举个简单的例子吗？

Answer 1

关于 SO 已经有类似的问题 - 我认为这个问题特别有用： 在 Clojure 中使用 multimethods 而不是 cond 有什么好处？

多方法是 Clojure 提供的用于实现多态行为的机制之一。 与仅在协议函数的第一个参数的类型上分派的协议不同，多方法允许通过您提供的分派函数进行任意分派defmulti 。

这意味着defmulti定义了一个新的多方法——它的名称、文档字符串，特别是调度函数。 但它本身并没有定义任何实现——它就像一个具有单个方法/函数的接口。

相反， defmethod用于为调度函数返回的特定值实现多方法。

要理解的一件重要的事情是defmulti的调度函数采用与多方法实现完全相同的参数。

如果调度函数返回的值与任何现有实现都不匹配，您还可以提供一个默认实现。 您可以通过(defmethod my-multi-method :default ...)执行此操作。

那里有很多示例，我建议您查看一些详细解释这一点的 Clojure 书籍 - 例如Programming Clojure，第三版将整个第 9 章专门用于多方法。

Clojure 的喜悦（一本关于 Clojure 的优秀而深入的书）也有一些很好的例子，包括第 9 章中的compiler ——我在这里发布了例子： https ://github.com/jumarko/clojure-experiments/blob/develop -performance/src/clojure_experiments/books/joy_of_clojure/ch09_data_and_code.clj#L144-L158 （它还提到了一些更复杂的概念，例如层次结构-请参阅derive -但此时您不需要理解）。

另一个使用多方法的好例子是 Clojure 本身，例如print-method 。 它在 clojure.core 中定义： https ://github.com/clojure/clojure/blob/clojure-1.11.1/src/clj/clojure/core.clj#L3664-L3666

(defmulti print-method (fn [x writer]
                         (let [t (get (meta x) :type)]
                           (if (keyword? t) t (class x)))))

你可以看到这个多方法基本上是在它的第一个参数的类型/类上分派的。

然后在许多地方实现它，特别是core_print.clj 。 例如对于关键字，它是这样实现的：

(defmethod print-method clojure.lang.Keyword [o, ^Writer w]
  (.write w (str o)))

另一个很好的例子是instant.clj ，它为日期相关类型提供了一些打印方法实现。

print-method也有默认实现

(defmethod print-method :default [o, ^Writer w]
  (if (instance? clojure.lang.IObj o)
    (print-method (vary-meta o #(dissoc % :type)) w)
    (print-simple o w)))

将 print-method 定义为多方法不仅允许 Clojure 本身分离各种类型的实现，而且还为该语言的用户提供“开放扩展”机制。 也就是说，您可以为您的自定义类型实现print-method以很好地打印它们。 一个例子是clj-time 库

;; pr and prn support to write edn
(defmethod print-method org.joda.time.DateTime
  [v ^java.io.Writer w]
  (.write w (to-edn v)))

最后，一个小技巧： defmulti在底层使用defonce ，所以在你处理它的时候重新定义它的定义（dispatch 函数），你可以使用这个技巧：

(def my-multi-method nil)
(defmulti my-multi-method ...)

第一个def将确保替换my-multi-method指向的任何内容，这样您就可以在不重新启动 REPL 的情况下获得新的定义。