我可以在前置和后置条件中包含一条消息吗

Question

我有这个(not (some #(= (:length %1) 0) %))作为后置条件。这样写很清楚，但当这个条件不满足时，我会得到这个：

Assert failed: (not (some (fn* [p1__17852#] (= (:length p1__17852#) 0)) %))

这不是很可读。有没有一种方法可以为后置条件或前置条件定义消息？

编辑1:

遵循noahlz和noisesmiths的建议（但使用外部命名函数）：

(defn not-zero-length
  [evseq]
  (not (some (fn [item] (= (:length item) 0)) evseq)))
(defn my-func
  [evseq]
  {:post [(not-zero-length %)]}
  evseq)
(my-func '({:length 3}{:length 0}))

给出：

AssertionError Assert failed: (not-zero-length %)

这要清楚得多。

Answer 1

这将在下面的clojure邮件列表线程中讨论。

查看clojure.core源代码，您可以看到fn宏只向assert函数传递布尔值，并且不包括用于在中传递额外消息参数的可选参数。

因此，看起来还没有办法做到这一点。

Answer 2

同一线程中的这篇文章建议使用clojure.test/is宏，该宏返回一条有意义的错误消息。

(require '[clojure.test :refer [is]])
(defn get-key [m k]
  {:pre [(is (map? m) "m is not a map!")]}
  (m k))
(get-key [] 0)

返回

FAIL in clojure.lang.PersistentList$EmptyList@1 (form-init8401797809408331100.clj:2)
m is not a map!
expected: (map? m)
  actual: (not (map? []))
AssertionError Assert failed: (is (map? m) "m is not a map!")  

Answer 3

扩展以上建议：

(not (some (fn zero-length [item] (= (:length item) 0)) %))

当您命名一个匿名函数时，任何涉及该fn的错误都将更具可读性

另外，你怎么会有2%的换人#（）不嵌套。