让我们从常规序列开始
(require '[clojure.spec :as spec]
'[clojure.spec.gen :as gen])
(spec/def ::cat (spec/cat :sym symbol? :str string? :kws (spec/* keyword?)))
与向量匹配
(spec/conform ::cat '[af "5"])
=> {:sym af, :str "5"}
(spec/conform ::cat '[af "5" :key])
=> {:sym af, :str "5", :kws [:key]}
还有清单
(spec/conform ::cat '(af "5"))
=> {:sym af, :str "5"}
(spec/conform ::cat '(af "5" :key))
=> {:sym af, :str "5", :kws [:key]}
如果我们想限制这一点,我们可以尝试使用spec/tuple
; 但遗憾的是它只匹配固定长度的向量,即它至少需要一个空列表作为元组的最后一部分:
(spec/def ::tuple (spec/tuple symbol? string? (spec/* keyword?)))
(spec/conform ::tuple '[af "5"])
=> :clojure.spec/invalid
(spec/exercise ::tuple)
=> ([[r "" ()] [r "" []]] [[kE "" (:M)] [kE "" [:M]]] ...)
我们也可以尝试在::cat
with 中添加一个附加条件spec/and
:
(spec/def ::and-cat
(spec/and vector? (spec/cat :sym symbol? :str string? :kws (spec/* keyword?))))
匹配得很好
(spec/conform ::and-cat '[af "5"])
=> {:sym af, :str "5"}
(spec/conform ::and-cat '[af "5" :key])
=> {:sym af, :str "5", :kws [:key]}
(spec/conform ::and-cat '(af "5" :key))
=> :clojure.spec/invalid
但遗憾的是未能生成它自己的数据,因为生成器spec/cat
只生成当然不符合vector?
谓词的列表:
(spec/exercise ::and-cat)
=> Couldn't satisfy such-that predicate after 100 tries.
总结一下:如何编写一个既能接受又能生成向量的规范[hi "there"]
[my "dear" :friend]
?
也可以将问题改写为“是否有替代方法spec/cat
可以生成向量而不是列表?” 或“是否可以将 :kind 参数传递给spec/cat
?” 或“我可以将生成器附加到规范中,该规范获取原始生成器的输出并将其转换为向量吗?”。