Clojure：为什么 if-let 在绑定向量中只允许 2 种形式？

Question

当我使用 if-let 时

(if-let [a 2 b nil] (+ a b))

我得到一个 IllegalArgumentException：

clojure.core/if-let requires exactly 2 forms in binding vector...

类似于当-让...

这不是我所期望的。 if-let 可以尝试所有绑定并在其中一个失败时中断并评估 else 表达式。

可以在clojuredocs 的 cmets 中找到相同的投诉。我找到了一个答案 here 并没有真正令人满意，因为海报似乎已经考虑到了嵌套的 if-let 结构。

有什么理由限制 *-let 宏的绑定？

更新： 似乎还不清楚，我对 if-let 的期望是：

• 它应该按顺序评估所有绑定。
• 当全部成功时，它应该评估'then'-case。
• 如果一个绑定失败，它应该立即中断并评估“else”情况。
• 如果绑定失败，即使是成功的绑定，也不应该在“else”表达式中可用

Answer 1

试试这个。

（defmacro if-let ([bindings true-expr] `(if-lets ~bindings ~true-expr nil)) ([绑定 true-expr false-expr] （条件 (or (not (seq bindings)) (not (zero? (rem (count bindings) 2)))) `（抛出（IllegalArgumentException。“if-lets 需要 2 个或多个 2 个表单在用户：1 的绑定向量中”）） (seq (drop 2 bindings)) `(if-let ~(vec (take 2 bindings)) (if-lets ~(vec (drop 2 bindings)) ~true-expr ~false-expr) ~false-expr) ：别的 `(if-let ~(vec 绑定) ~true-expr ~false-expr))))

这个宏通过了下面的这些测试。

（deftest ut-if-let （测试“if-lets 宏（正常情况）” (is (= 0 (if-lets [x 0] x))) (是 (= 0 (if-lets [x 0] x 1))) (is (= 1 (if-lets [x nil] x 1))) (is (= 0 (if-lets [x 0 y x] y))) (是 (= 0 (if-lets [x 0 y x] y 1))) (is (= 1 (if-lets [x nil y x] y 1))) (is (= 0 (if-lets [x 0 y x z y] z))) (is (= 0 (if-lets [x 0 y x z y] z 1))) (is (= 1 (if-lets [x nil y x z y] y 1))) (is (= true (if-lets [x true] true false))) (is (= false (if-lets [x false] true false))) (is (= true (if-lets [x true y true] true false))) (is (= false (if-lets [x false y true] true false))) (is (= false (if-lets [x true y false] true false))) (is (= true (if-lets [x true y true z true] true false))) (is (= false (if-lets [x false y true z true] true false))) (is (= false (if-lets [x true y false z true] true false))) (is (= false (if-lets [x true y true z false] true false))) ) ) (deftest ut-if-lets-ab （测试“if-lets 宏（异常情况）” (is (= (try (if-lets [] true false) (catch Exception e (.getMessage e))) “if-lets 需要用户：1 中的绑定向量中的 2 种或 2 种形式的倍数”）） (is (= (try (if-lets [x] true false) (catch Exception e (.getMessage e))) “if-lets 需要用户：1 中的绑定向量中的 2 种或 2 种形式的倍数”）） (is (= (try (if-lets [x true y] true false) (catch Exception e (.getMessage e))) “if-lets 需要用户：1 中的绑定向量中的 2 种或 2 种形式的倍数”）） ) )

Answer 2

if-let 和let 有不同的用途，if-let 不仅仅是一个更受限制的 let 版本。实例 if-let 与 let 的不同之处在于，该值仅适用于 then 子句，而不适用于 else。

user> (if-let [ans (+ 1 2 3)] ans :foo)   
6
user> (if-let [ans (+ 1 2 3)] ans ans)
CompilerException java.lang.RuntimeException: Unable to resolve symbol: ans in this context, compiling:(NO_SOURCE_PATH:1)
user> (let [ans (+ 1 2 3)] ans ans)
6   

if-let 旨在让您在绑定值只是为了测试和使用它的情况下更轻松。

Answer 3

试试这个：

(defmacro if-let-multi
  ([bindings then-exp]
     (let [values (take-nth 2 (rest bindings))]
       `(if (and ~@values) (let ~bindings ~then-exp) false)))
  ([bindings then-exp else-exp]
     (let [values (take-nth 2 (rest bindings))]
       `(if (and ~@values) (let ~bindings ~then-exp) ~else-exp))))

它在行动：

user> (if-let-multi [a 2 b nil] (+ a b))
false
user> (if-let-multi [a 2 b 3] (+ a b))
5
user> (if-let-multi [a 2 b nil] (+ a b) "NO WAY")
"NO WAY"