何时在Clojure中使用let vs.if-let


When to use let vs. if-let in Clojure

何时使用if-let而不是let会使代码看起来更好，并且会对性能产生任何影响？

我想当您想在代码的" then "部分中引用if条件的值时，应该使用if-let：

即代替

1
2
3
4
(let [result :foo]
  (if result
    (do-something-with result)
    (do-something-else)))

您写：

1
2
3
(if-let [result :foo]
  (do-something-with result)
  (do-something-else))

有点整洁，可节省缩进一个层次。就效率而言，您可以看到宏扩展不会增加太多开销：

1
2
3
4
5
(clojure.core/let [temp__4804__auto__ :foo]
  (if temp__4804__auto__
    (clojure.core/let [result temp__4804__auto__]
      (do-something-with result))
    (do-something-else)))

这也说明了绑定不能在代码的" else "部分中引用。

相关讨论

if-let的一个好用例是消除使用回指的需求。例如，Arc编程语言提供了一个名为aif的宏，当给定表达式的计算结果为逻辑真时，该宏允许您在if表单的主体内绑定一个名为it的特殊变量。我们可以在Clojure中创建相同的东西：

1
2
3
4
5
(defmacro aif [expr & body]
  `(let [~'it ~expr] (if ~'it (do ~@body))))

(aif 42 (println it))
; 42

这很好，很好，除了回指不嵌套，而if-let可以嵌套：

1
2
3
4
5
6
7
8
(aif 42 (aif 38 [it it]))
;=> [38 38]

(aif 42 [it (aif 38 it)])
;=> [42 38]

(if-let [x 42] (if-let [y 38] [x y]))
;=> [42 38]