Clojure 有短路逻辑吗？

Question

在许多语言中，如果您按照 foo() 返回 true 的方式编写某些内容

if (foo() || bar() || foobar()) { /* do stuff */ }

，则不会评估 bar() 和 foobar() 。

假设我有以下 Clojure 代码：

(let [a (simple-function args)
      b (complex-function args)
      c (too-lazy-to-optimize-this-function args)]
  (or a b c))

如果 a 计算结果为 true，b 和 c 也会被计算，还是会被忽略？

谢谢！

Answer 1

既然您回答了自己的问题，请注意，尽管在您的示例中 b 和 c 可能不会在 (或 abc) 调用中求值，但 let 绑定会在此之前求值，因此会求值“too-lazy-to-optimize-this-function”调用反正。 Clojure 并不那么懒惰。

需要明确的是：要有条件地评估函数调用，您需要将评估它们的表达式放在 or 调用中，基本上：

(or (simple-function args)
    (complex-function args)
    (too-lazy-to-optimize-this-function args))

Answer 2

其他答案都很好，但是当有疑问时，您可以随时在 REPL 上进行测试：

user=> (or true (do (println "hello") true))
true
user=> (or false (do (println "hello") true))
hello
true

Answer 3

如有疑问，请参阅文档：

或
宏
用法：

<前><代码>（或）
（或x）
（或 x 和下一个）

从左到右一次评估一个表达式。如果一个表格
返回逻辑真值，或者返回该值但不返回
评估任何其他表达式，否则返回
最后一个表达式的值。 （或）返回零。

（强调我的。）

和<的文档/code>显示它的行为方式也相同。

Answer 4

当我输入完这个问题后，我意识到我可以只查看“或”的文档。

来自文档：
“从左到右一次评估一个表达式。如果一个表格
返回逻辑真值，或者返回该值但不返回
评估任何其他表达式，否则返回
最后一个表达式的值。 （或）返回零。”

Answer 5

是的，Clojure 确实有短路评估。

Clojure/其他 Lisp 中的一个有趣功能是，还可以使用还提供短路评估的新结构来扩展语言。使用大多数其他语言中的函数无法完成此操作，因为必须在调用函数之前评估函数的所有参数。

下面是在 Clojure 中实现短路 NAND 函数的宏示例：

(defmacro nand 
  ([x] 
    `(not ~x))              ; NAND is equivalent to NOT for one argument
  ([x & xs] 
    `(let [nand# (not ~x)]
       (if nand# 
         true               ; short circuit if we can prove the nand is true
         (nand ~@xs)))))    ; continue with the other expressions otherwise

(nand true true)
=> false

(nand false (println "Expression with a side effect!"))
=> true

Answer 6

if (foo() || bar() || foobar()) { /* do stuff */ }

到

(if (or (foo) (bar) (boobar)) (comment do stuff))

或

(when (or (foo) (bar) (boobar)) (comment do stuff))