clojure.spec中的禁用键

Question

我正在遵循Clojure.spec指南。我理解在使用clojure.spec/keys时声明必需和可选属性是可能的。

我不明白可有可无是什么意思。对我来说：OPT什么都不做。

(s/valid? (s/keys :req [:my/a]) {:my/a 1 :my/b 2}) ;=> true

(s/valid? (s/keys :req [:my/a] :opt []) {:my/a 1 :my/b 2}) ;=> true

Answer 1

这是一个非常好的问题，clojure.spec API给出了（被授予的、简短的、不能令人满意的）答案：

：opt键用作文档，可供生成器使用。

我不认为你可以无效的地图，如果它包含一个额外的（这是你的意思是“禁止”，我想）键使用这种方法。但是，您可以使用此规范来确保：：bad-key不存在：

(s/def ::m (s/and (s/keys :req [::a]) #(not (contains? % ::bad-key))))
(s/valid? ::m {::a "required!"})                        ; => true
(s/valid? ::m {::a "required!" ::b "optional!"})        ; => true
(s/valid? ::m {::a "required!" ::bad-key "no good!"})   ; => false

您可以使用以下规范将密钥的数量限制为所需的数量：

(s/def ::r (s/and (s/keys :req [::reqd1 ::reqd2]) #(= (count %) 2)))
(s/valid? ::r {::reqd1 "abc" ::reqd2 "xyz"})              ; => true
(s/valid? ::r {::reqd1 "abc" ::reqd2 "xyz" ::extra 123})  ; => false

不过，最好的方式来处理这个IMO，将是简单地忽略有一个关键的存在，你不关心。

希望随着spec的成熟，这些美好的东西会被添加进来。或者，也许他们已经在那里（它正在迅速变化）而我根本不知道这件事。这在clojure中是一个非常新的概念，因此我们大多数人都有很多东西需要学习。

关于:opt键，我认为最初的答案仍然很好--它是文档，实际上，它允许生成这些可选指定的键：

(s/def ::name #{"Bob" "Josh" "Mary" "Susan"})
(s/def ::height-inches (s/int-in 48 90))
(s/def ::person (s/keys :req-un [::name] :opt-un [::height-inches]))

(map first (s/exercise ::person))

; some generated data have :height-inches, some do not
({:name "Susan"}
 {:name "Mary", :height-inches 48}
 {:name "Bob", :height-inches 49}
 {:name "Josh"}