Question

如果我已定义以下记录：

(defrecord Person [name id])

以及以下内容：

(s/def ::name string?)
(s/def ::id int?)
(s/def ::person (s/keys :req-un [::name ::id]))

如何确保您不能创建不符合:: person规范的Person？换句话说，以下内容应该抛出异常：

(->Person "Fred" "3")

我试过了：

(s/fdef ->Person :ret ::person)

但是打电话：

(->Person "Fred" "3")

不会引发异常。

然而：

(s/conform ::person (->Person "Fred" "3"))

确实产生了预期的结果：

:clojure.spec/invalid

由于

Answer 1

fdef：ret和：fn specs仅在clojure.spec.test/check测试期间进行检查，但您可以使用fdef：args规范检查构造函数的输入。

(s/fdef ->Person
  :args (s/cat :name ::name :id ::id)
  :ret ::person)

(require '[clojure.spec.test :as stest])
(stest/instrument `->Person)

(->Person "Fred" "3")

=> CompilerException clojure.lang.ExceptionInfo: Call to #'spec.examples.guide/->Person did not conform to spec:
In: [1] val: "3" fails spec: :spec.examples.guide/id at: [:args :id] predicate: int?
:clojure.spec/args  ("Fred" "3")
:clojure.spec/failure  :instrument
:clojure.spec.test/caller  {:file "guide.clj", :line 709, :var-scope spec.examples.guide/eval3771}

使用匹配的规范来构建构造函数的defrecord和fdef的组合并不太难。

Clojure规范和记录构造函数

1 个答案: