clojure - Clojure 的 let 绑定(bind)形式中下划线有什么用？

Question

let 的绑定(bind)向量中的下划线有什么作用，所以如果我写 (let [a blabla _ (println a)] 等...这个下划线在关键字处做什么？

Answer 1

下划线是有效的符号标识符，如示例代码所示:

(let [_ 1] 
  (println _))
=> 1

按照惯例，当您有一个不会使用的标识符时，您可以使用_，但这不是强制性的。

在您的示例中，副作用情况都会发生(在您的情况下，println行返回nil，因此您不会将其结果绑定(bind)到符号)

在不需要某些值的解构情况下也会发生。

 (let [[a _ _ d] [1 2 3 4]] 
    (println a))
 => 1

在这种情况下，您对第二个和第三个值不感兴趣，因此标识符 _ 是惯用的表达方式，表示您不关心。

在常规 Clojure 中，下划线 _ 被视为与任何其他符号(例如“垃圾”)一样。然而，它在某些图书馆中具有特殊含义。例如，在 Datomic 中，_ 被视为阻止绑定(bind)/统一的“通配符”。在 clojure.core.match 中，_ 也被视为通配符。

参见:

• Datomic Query
• clojure.core.match