为什么矢量实现了关联？

Question

我很惊讶地发现clojure向量实现了Associative接口.

(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功能有任何不同; 除了特别期待一个载体？