Clojure.spec验证的有意义的错误消息：pre

Question

我利用最后几天在Clojure和ClojureScript中深入挖掘了Clojure.spec。

到目前为止，我发现在依赖某种格式的数据的公共函数中，在:pre和:post中使用规范作为警卫是非常有用的。

(defn person-name [person]
  {:pre [(s/valid? ::person person)]
   :post [(s/valid? string? %)]}
  (str (::first-name person) " " (::last-name person)))

有没有人知道如何在:pre或:post防护中获得更好的错误消息？

我知道conform和explain*，但这对那些:pre或:post警卫没有帮助。

Answer 1

在较新的alphas中，现在有s/assert，可用于断言输入或返回值与规范匹配。如果有效，则返回原始值。如果无效，则会抛出一个断言错误和解释结果。断言可以打开或关闭，甚至可以选择从编译的代码中完全省略，以对生产没有任何影响。

(s/def ::first-name string?)
(s/def ::last-name string?)
(s/def ::person (s/keys :req [::first-name ::last-name]))
(defn person-name [person]
  (s/assert ::person person)
  (s/assert string? (str (::first-name person) " " (::last-name person))))

(s/check-asserts true)

(person-name 10)
=> CompilerException clojure.lang.ExceptionInfo: Spec assertion failed
val: 10 fails predicate: map?
:clojure.spec/failure  :assertion-failed
 #:clojure.spec{:problems [{:path [], :pred map?, :val 10, :via [], :in []}], :failure :assertion-failed}