解构（Destructuring）

Destructuring是Clojure中的一种功能，它允许人们从数据结构中提取值，例如向量，并将它们绑定到符号，而无需显式遍历数据结构。

让我们看看Destructuring究竟意味着什么以及它是如何发生的一个例子。

例子 (Example)

(ns clojure.examples.example
   (:gen-class))
(defn Example []
   (def my-vector [1 2 3 4])
   (let [[a b c d] my-vector]
   (println a b c d)))
(Example)

上述程序产生以下输出。

输出 (Output)

1 2 3 4

在上面的例子中，需要注意以下事项 -

• 我们将整数向量定义为1,2,3和4。

• 然后我们使用'let'语句直接将4个变量（a，b，c和d）分配给my-vector变量。

• 如果我们对四个变量运行'println'语句，我们可以看到它们已经分别分配给向量中的值。

因此，当使用'let'语句分配时，clojure已经解构了my-vector变量，该变量有四个值。 然后将解构的四个值分配给四个参数。

如果有多余的变量没有可以分配给它们的相应值，那么它们将被赋值为nil。 以下示例清楚地说明了这一点。

例子 (Example)

(ns clojure.examples.hello
   (:gen-class))
(defn Example []
   (def my-vector [1 2 3 4])
   (let [[a b c d e] my-vector]
   (println a b c d e)))
(Example)

上述程序产生以下输出。 您可以从输出中看到，由于最后一个变量'e'在向量中没有对应的值，因此它会计为nil。

输出 (Output)

1 2 3 4 nil

the-rest

'the-rest'变量用于存储剩余的值，这些值不能分配给任何变量。

以下程序显示了如何使用它的示例。

例子 (Example)

(ns clojure.examples.example
   (:gen-class))
(defn Example []
   (def my-vector [1 2 3 4])
   (let [[a b & the-rest] my-vector]
   (println a b the-rest)))
(Example)

上述程序产生以下输出。 从输出中，您可以清楚地看到3和4的值不能分配给任何变量，因此它们被分配给'the-rest'变量。

输出 (Output)

1 2 (3 4)

解构地图

就像矢量一样，地图也可以被破坏。 以下是如何实现这一目标的示例。

例子 (Example)

(ns clojure.examples.example
   (:gen-class))
(defn Example []
   (def my-map {"a" 1 "b" 2})
   (let [{a "a" b "b"} my-map]
   (println a b)))
(Example)

上述程序产生以下输出。 从程序中可以清楚地看到“a”和“b”的映射值分配给a和b的变量。

输出 (Output)

1 2

类似地，在向量的情况下，如果在解构发生时地图中没有对应的值，则该变量将被赋值为nil。

以下是一个例子。

例子 (Example)

(ns clojure.examples.example
   (:gen-class))
(defn Example []
   (def my-map {"a" 1 "b" 2})
   (let [{a "a" b "b" c "c"} my-map]
   (println a b c)))
(Example)

上述程序产生以下输出。

输出 (Output)

1 2 nil