为什么矢量实现了关联？

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 

或者，如果您有2D矢量：

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

两者都很有效率。