clojure 'val‘返回的值是什么？

Question

我刚刚开始学习clojure，并且一直在阅读一些简单的示例，然后尽我最大的努力获取概念。

然而，我对val在下面的示例中所做的工作感到有点困惑。这已经从用于val的Clojure文档示例中获得。

(first {:one :two}) ;; => [:one :two]

在这里，一个键为:one，值为:two的:one被传递给first。在幕后，Clojure将此hash-map转换为sequence of vectors。因为这个vector中只有一个sequence，所以它返回[:one :two]。

(val (first {:one :two})) ;; => :two
(val [:one :two]) ;; => ClassCastException clojure.lang.PersistentVector cannot be cast to java.util.Map$Entry
(val {:one :two}) ;; => ClassCastException clojure.lang.PersistentArrayMap cannot be cast to java.util.Map$Entry

如果我试图在一个(我认为) val上调用一个hash-map (我意识到它实际上是一个“持久数组映射”)，我就会得到上面看到的异常。

我还对以下内容感到困惑：

(first {:one :two}) ;; # => [:one :two]  (this is a vector right?)
(val [:one :two]) ;; # => ClassCastException (why doesn't this give back the same result as the example above?)

为什么我不能直接将(first {:one :two})的结果插入到val中并得到相同的结果呢？

此外，页面上列出的另一个示例如下：

(map val {:a 1 :b 2}) ;; => (1 2)

我是这样读这句话的。走array-map {:a 1 :b 2}。对于每个键值对，调用对上的val来返回值。从生成的对sequence的调用返回一个map。这是正确的阅读方法吗？

一如既往，谢谢你的帮助。

Answer 1

正如您已经注意到的，映射序列生成MapEntry值，这些值看起来类似并且可以与向量进行比较。

user=> (= (first {:a 1 :b 2}) [:a 1])
true

但不是同一个班

user=> (= (class (first {:a 1 :b 2})) (class [:a 1]))
false

因此，尽管(first {:a 1})的repl上的输出看起来像一个向量，但它不是，它是一个MapEntry，所以它可以传递给val，但是向量[:a 1]不能，因此类强制转换异常。

在较高级别上，对map所做的读取是正确的，更具体的是“对于来自{:a :B2}(即MapEntry值)的序列中的每个条目调用每个项( MapEntry)上的函数val，并根据结果生成一个序列”。

这就解释了为什么

user=> (map val '([:a 1] [:b 2]))

将导致与序列生成Vector元素相同的Vector元素，而不是MapEntry元素。

Answer 2

val返回地图条目的值，而不是映射。

(first {:one :two})返回第一个映射条目(尽管它似乎只是一个vec)

(map val {:one :two})返回每个条目的值，并且等效于(vals {:one :two})

Answer 3

(first {:one :two}) ;; # => [:one :two]  (this is a vector right? No, it's not.)

在本例中，[:one :two]是一个MapEntry，而不是向量。