5

在 clojure 我正在使用 :pre 像这样

user=> (defn cannot-take-empty [x] {:pre [((complement empty?) x)]} 1)
#'user/cannot-take-empty
user=> (cannot-take-empty #{})
AssertionError Assert failed: ((complement empty?) x)  user/cannot-take-empty (NO_SOURCE_FILE:186)

这很好,但它没有解释为什么传入空集合没有意义的商业原因。(或者一个包含五个以上元素的集合,或者一个存在两个键但没有另一个键的集合,或者任何一天的规则。)如果前置条件使用私有函数,这可能会让用户更加困惑。

在使用 :pre 和 :post 时,有没有办法向用户提供更有用的反馈,例如错误消息?

4

1 回答 1

4

显然,前置条件和后置条件是为报告条款为开发人员提供足够信息的用例而设计的,即它是不言自明的。如果您想提供更多解释,使用assert.

但是您可以滥用始终报告整个情况的事实,例如:

{:pre [(do "It can't be empty because of..."
           (seq x))]}

它会报告类似

AssertionError Assert failed: (do "It can't be empty because..." (seq x)) ...

于 2015-06-06T22:53:42.340 回答