可变参数函数上的 Clojure 规范

Question

我正在尝试为合并函数编写规范，该函数将函数和映射作为输入并使用函数来解决冲突。但是我为该函数编写的规范失败了。我正在尝试弄清楚如何为这些函数编写规范。

下面是代码sn-p。

(require '[clojure.spec.test :as stest])
(require '[clojure.spec :as spec])

(defn deep-merge-with [func & maps] 
  (let [par-func (partial deep-merge-with func)] 
    (if (every? map? maps) 
        (apply merge-with par-func maps) 
        (apply func maps))))

(spec/fdef deep-merge-with
           :args (spec/cat :func (spec/fspec :args (spec/cat :maps (spec/* map?))
                                             :ret map?)
                           :maps (spec/cat :maps (spec/* map?)))
           :ret map?)

(stest/instrument `deep-merge-with)

(deep-merge-with (fn [f s] s) {:a 1} {:a 2})

我得到的规范错误是：

clojure.lang.ExceptionInfo: Call to #'boot.user/deep-merge-with did not conform to spec:
    In: [0] val: () fails at: [:args :func] predicate: (apply fn),  Wrong number of args (0) passed to: user/eval22001/fn--22002
                                :clojure.spec/args  (#function[boot.user/eval22001/fn--22002] {:a 1} {:a 2})

Answer 1

在您的 [:args :func] 规范中：

(spec/fspec :args (spec/cat :maps (spec/* map?)) :ret map?)

您是说该函数必须接受任意数量的地图作为参数并返回一个地图。但是您传递给deep-merge-with 的函数不符合该规范：

(fn [f s] s)

这个函数只接受 两个 参数，而不是任意数量的地图。