问题描述
假设我想使用let创建多个绑定并执行一个体。我可以这样轻松地做
(let [a 1
b (inc a)
c (* b b)]
[a b c])
但是,如果我要用if-let做同样的事情,我必须通过嵌套它们来做到,因为if-let一次只能接受一个绑定。
(if-let [a 1]
(if-let [b (inc a)]
(if-let [c (* b b)]
[a b c]
"error")
"error")
"error")
这非常不优雅,因为
1) 如果所有绑定都在同一缩进级别上,它不是那么容易阅读
2) else子句被多次复制。
3) else子句在不同的上下文中评估,取决于哪个绑定失败。如果a已经被绑定,该怎么办?如果if-let遮蔽了a,而b没有得到绑定,else子句将执行与如果第一个if-let中a没有被遮蔽时不同的值绑定的a。(请参见下面的代码示例)
我想能写成这样
(if-let [a 1
b (inc a)
c (* b b)]
[a b c]
"error")
=> [1 2 4]
(let [a :original]
(if-let [a :shadowed
b false]
a a))
=> :original
我还想能够用when-let、if-some和when-some做到类似的事情。
*建议:*
我重新编写了那些宏,使它们能够处理多重绑定。如果只提供一个绑定,它们的行为保持不变。如果提供多个绑定,则它们应该只在所有绑定都通过时执行体。在if-let或if-some中,一些绑定传递而一些失败的情况下,不应将任何绑定泄露到else子句中。
*补丁:*
- clojure-core v2 8-3-2017.patch - Clojure补丁,包含宏更新。对于if-let和if-some,我不得不添加一些额外的逻辑,以防止它们在有些绑定通过而有些失败的情况下泄漏绑定到else子句。它还包括每个宏的一些额外测试。
- core.specs.alpha.patch - core.specs.alpha补丁,包含对core.specs的一致更新