Clojure’s :pre and :post

:pre 和:post是clojure提供的两个断言功能。

:pre在函数调用之前检查参数是否符合条件。

:post在函数调用之后检查返回值是否符合条件。

例：

(defn pos-add [& args]

  {:pre [(not-any? neg? args)]

   :post [(<= 0 %)]}

  (apply + args))

（1）正常结果：

(pos-add 1 2 3)

=> 6

（2）如果参数中存在负数的情况，则出现错误；

(pos-add 1 2 -3)

AssertionError Assert failed: (not-any? neg? args)  user/pos-add (form-init7313596586387899392.clj:1)

（3）如果将:post中的“<=”改为“>=”则返回值通不过检测：

(pos-add 1 2 3)

AssertionError Assert failed: (>= 0 %)  user/pos-add (form-init7313596586387899392.clj:1)

PS：

        很多时候，我们习惯在函数的开头用if语句检查参数是否合法，但是这种检测仅是开发阶段需要，还是需求所决定的？很多人可能还傻傻地分不清楚。

        在开发项目的过程中，我们希望错误尽可能多，尽可能早地暴露出来，而不是将错误吞噬掉。而在项目发布时，我们为了让用户体验提升，则尽可能要将错误吞噬掉，不让软件当机（当然要根据实际情况，比如如果不重新启动就无法保证数据的正确、流程的完整性时）。

        所以，如果你写的函数是暴露给用户的接口（如用户输入），那么你就要保持对用户输入参数的检测，已保证流入系统中的数据为干净数据。如果是程序内部的函数，那么在开发阶段可以用断言来检查程序的输入，在发布时将其去掉（提高运行效率）。如果用户传入的数据时干净的，而你在程序中反倒出现了非法的数据，只能说明你的程序有问题，要及早发现，及早诊治。

Clojure :pos & :pre