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' 变量用于存储剩余的值，这些值不能分配给任何变量。

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

例子

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

解构地图

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

例子

(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 值。

下面是一个例子。

例子

(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