Clojure - 解构

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

让我们看一个例子，了解解构的确切含义以及它是如何发生的。

示例

(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)

上面的程序产生以下输出。

输出

1 2 3 4

在上面的例子中，需要注意以下几点 −

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

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

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

因此，clojure 解构了 my-vector 变量，当使用"let"语句对其进行赋值时，该变量有四个值。 然后将解构的四个值相应地分配给四个参数。

如果有多余的变量没有对应的可以赋值的值，那么它们将被赋值为nil。 下面的例子可以清楚地说明这一点。

示例

(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"在向量中没有对应的值，因此它为零。

输出

1 2 3 4 nil

the-rest

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

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

示例

(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"变量。

输出

1 2 (3 4)

Destructuring Maps

就像向量一样，映射也可以被解构。 以下是如何实现这一点的示例。

示例

(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的变量。

输出

1 2

与向量的情况类似，如果解构发生时映射中没有对应的值，则该变量将被赋予 nil 值。

Following is an 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)

上面的程序产生以下输出。

输出

1 2 nil