为什么向量要实现联想？

Question

我惊讶地发现，clojure向量实现了关联接口。

(associative? [1 2 3]) ; => true

我假设这个接口提供了按键优化的索引。按照这个假设，界面似乎适合于地图数据结构，但对于向量来说却很奇怪，在我看来，向量并不遵循键值启发。

我为Associative或vector的实现建立的思维模型是否不正确?这个设计选择有什么用途？

Answer 1

一开始它看上去并不直观，但是向量是由它们的索引所决定的，这使得它们能够使用所有标准的关联函数。这使得对它们进行简单操作变得非常容易：

(def v [1 2 3])

(assoc v 1 4)
[1 4 3]

(update v 1 inc)
[1 3 3]

(get v 1) ; The same as (v 1)
2 

或者，如果你有一个二维矢量：

(def v [[1 2 3]
        [4 5 6]
        [7 8 9]])

(assoc-in v [2 1] 0)
[[1 2 3]
 [4 5 6]
 [7 0 9]]

如果没有这种设计选择，就需要创建一整套独立的函数，并专门用于向量。有了一个标准化的接口，您就可以编写那些不关心它们所使用的结构的函数。

可以这样想:假设您想要编写一个“替换”向量元素的函数。它的签名是否与现有的assoc函数有什么不同？

Answer 2

Clojure向量将索引与值关联起来。这意味着你可以这样做：

(assoc [0 1] 0 2)

(reduce-kv (fn [m idx v]
             (assoc m idx v)) {} [0 1 2])

两者都很有效率。