0

我正在尝试使用类型提示来区分两个单参数方法。

例如，add-vertex 包装了一个 Java 方法，该方法可以采用可变数量的 args，所以在这里我试图让 add-vertex 采用零、一个或两个 args...

(defmulti add-vertex (fn [& args] (map class args)))
(defmethod add-vertex [] (add-vertex nil nil))
(defmethod add-vertex Integer [id] (add-vertex id nil))
(defmethod add-vertex Map [props] (add-vertex nil props))
(defmethod add-vertex [Integer Map] [id props]
  ((let [vertex (. *g* addVertex id)]
    (when props
      (apply set-props vertex (interleave (map name (keys props)) (vals props))))
    vertex)))

请注意，有两个单参数函数——每个函数采用不同的类型（id 是 Java Integer，props 是 Java Map）。我是 Clojure 的新手，所以我怀疑我这样做完全错误。

4

2 回答 2

2

这是您要执行的操作的代码：

(defmulti add-vertex (fn [& args] (map class args)))
(defmethod add-vertex [] [] (add-vertex nil nil))

;; You could also use java.lang.Integer here, but numbers are Longs by default
(defmethod add-vertex [java.lang.Long] [id] 
                                       (add-vertex id nil))

;; I assume you are using a clojure map ie {:1 2}
(defmethod add-vertex [clojure.lang.PersistentArrayMap] [props] 
                                                        (add-vertex nil props))

(defmethod add-vertex [java.lang.Long clojure.lang.PersistentArrayMap] [id props] ...)

但是正如你所看到的，这对课程来说非常混乱。

另一种解决方案可能是执行以下操作：

(defn dispatch-fn
  ([] :empty)
  ([a] (cond
         (number? a) :number
         (map? a)    :map
         :else       :error))
  ([a b] (if (and (number? a) (map? b))
             :number-and-map
             :error))
  ([a b & args] :error))

(defmulti add-vertex dispatch-fn)
(defmethod add-vertex :empty [] (add-vertex nil nil))
(defmethod add-vertex :number [id] (add-vertex id nil))
(defmethod add-vertex :map [props] (add-vertex nil props))
(defmethod add-vertex :number-and-map [id props] ...)
(defmethod add-vertex :error [& args] ...)
于 2012-04-19T16:08:36.183 回答
0

您没有使用类型提示，而是将类文字编写为将评估调度函数的值。您的问题是您没有将所有类型都包含在一个向量中——即使只有一个。

我强烈建议您阅读多方法。

于 2012-04-17T08:13:57.280 回答