clojure - 如何让 Clojure 尊重 `*assert*` 变量？

Question

我理解 Clojure 的 *assert*变量可用于关闭断言，但我所做的一切似乎都不起作用。

(defn foo [a]
  {:pre [(pos? a)]}
  (assert (even? a))
  [a])

(binding [*assert* false]
  (foo 1))
!! exception

(binding [*assert* false]
  (foo -2))
!! exception

甚至绑定(bind) false当定义有同样的问题时:

(binding [*assert* false]
  (defn bar [a]
    {:pre [(pos? a)]}
    (assert (even? a))
    [a]))

(bar 1)
!! execption

然后即使直接设置变量也不起作用。

*assert*
is true

(alter-var-root (var *assert*) not)
*assert*
is still true

和

(var-set (var *assert*) false)
*assert*
is still true

所以现在我不明白该怎么做。我很困惑。

谢谢你。

Answer 1

*assert*是编译时变量，而不是运行时变量。它适用于 set!作为顶级语句，而不是绑定(bind)(当然，除非您在绑定(bind)中调用 eval)。