这种解构如何形成工作？

Question

考虑这种形式:

(def v [42 "foo" 99.2 [5 12]])

我已经读过如果我必须在let表单中声明一些未使用的变量,我应该用_ 这种解构形式表示它们:

(let [[x _ _ [y z]] v]
  (+ x y z))

我的问题是如何进行分配_？由于这不会引发异常,我认为第二个_会覆盖第一个,但我不确定.那怎么做呢？

Answer 1

这种使用_纯粹是传统的:从Clojure的角度来看,它只是一个常规符号,可用于命名本地.因此,您只需直接检查价值_即可确认您的理解:

(let [[x _ _ [y z]] v]
  _)
;= 99.2

至于幕后发生的事情,最简单的检查方法是宏扩展let表单:

(macroexpand-1 '(let [[x _ _ [y z]] v] _))

为清晰起见,上面的结果重新格式化如下:

(let* [vec__7 v
       x (clojure.core/nth vec__7 0 nil)
       _ (clojure.core/nth vec__7 1 nil)
       _ (clojure.core/nth vec__7 2 nil)
       vec__8 (clojure.core/nth vec__7 3 nil)
       y (clojure.core/nth vec__8 0 nil)
       z (clojure.core/nth vec__8 1 nil)]
  _)

所以第二个_只是影响第一个.

let*是背后的实施细节let; 它是编译器直接理解的特殊形式,let宏添加了解构支持.