在尝试指定值列表时，s/valid?和s/explain的结果不一致

Question

当使用spec-tools（metosin/spec-tools {:mvn/version "0.10.5"}）去指定一个值列表时，在s/valid?和s/explain中进行验证时，结果规格产生了不一致的结果。

最小示例:

(ns case
  (:require [spec-tools.data-spec :as ds]
            [clojure.spec.alpha :as s]))

(def invalid-data {:cards (list 66)})

(def valid-data {:cards [66]})

(def cards
  {:cards [int?]})

(defn do-stuff [data]
  (if (s/valid? (ds/spec ::sp cards) data)
    (println "Conforms to spec according to 'valid?'")
    (println "Does not conform to spec according to 'valid?'"))
  (if (s/explain-data (ds/spec ::sp cards) data)
    (println "Does not conform to spec according to 'explain-data'")
    (println "Conforms to spec according to 'explain-data'")))

(comment
  (do-stuff invalid-data)
  (do-stuff valid-data))

可能是由于某种原因，当使用列表时，s/valid?和s/explain产生的结果不同，但使用向量时结果相同。当我尝试用直接由clojure.spec.alpha创建的spec复现这个问题时，一切正常，所以问题似乎出在spec-tools上。尽管如此，我猜想它应该在所有验证函数中产生相同的结果。

Answer 1

看起来您已经将其缩小到spec-tools，而clojure.spec.alpha并不存在问题。据此，我会向spec-tools的GitHub提交一个问题。

Comments

是的，但我想，即使spec-tools生成了无效的spec，`valid?`和`explain`在对其进行验证时，是否应该仍然保持一致？

---

`spec-tools`使用`spec.alpha`的私有API，因此有可能创建出看似spec但行为异常的事物。

---

我不知道这个。我会在那里报告它。