Question

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

以下是代码段。

(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)

此函数使用两个参数，而不是任意数量的映射。

关于vararg函数的Clojure Spec

1 个答案: