clojure - clojure 的 APersistentMap 实现有什么区别

Question

我试图弄清楚 PersistentHashMap、PersistentArrayMap、PersistentTreeMap 和 PersistentStructMap 之间的区别。

另外，如果我使用 {:a 1}它给了我一个 PersistentArrayMap 但是如果我给它对象或键以外的东西，它可以更改为其他任何一个吗？

Answer 1

您列出的四个实现分为三组:

“字面”:PersistentArrayMap和 PersistentHashMap : 处理映射字面量时使用的基本映射类型(尽管构造函数也可用于处理重复键的不同行为——在 Clojure 1.5.x 中，当发现重复键时，构造函数会抛出异常，构造函数像从左到右重复一样工作conj ing；此行为一直在从一个版本演变为另一个版本)。当超过一定数量的条目(9 IIRC)时，数组映射被提升为哈希映射。存在数组映射是因为它们对于小映射更快；它们与哈希映射的不同之处还在于，它们在提升为哈希映射之前将条目按插入顺序保存(您可以使用 clojure.core/array-map 来获得任意大的数组映射，如果您真的知道您会从插入顺序中受益，这可能会很有用遍历和映射不会太大，可能只是稍微超过通常的阈值；注意，后续的 assoc 到这样一个超大数组映射将返回一个哈希映射)。数组映射使用键和值交错的数组； PHM 使用 Phil Bagwell 的哈希数组映射树的持久版本，具有用于哈希冲突的单独链接和用于大部分空节点和至少半满节点的单独节点类型，并且很容易成为 Clojure 中最复杂的数据结构。

排序:PersistentTreeMap实例仅由特殊请求创建(调用 sorted-map 或 sorted-map-by )。它们被实现为红黑树，并按照默认的 compare 指定的特定顺序维护条目。如果使用 sorted-map 创建比较器或用户提供的比较器(如果使用 sorted-map-by 创建) .

特殊用途，可能已弃用:PersistentStructMap不经常使用，并且大多被视为已弃用以支持记录，尽管我实际上现在不记得是否有正式的弃用通知。最初的目的是为 map 提供对某些常用键的特别快速访问。这现在可以在使用关键字进行字段访问时通过记录来完成(在运算符位置使用关键字:(:foo instance-of-some-record-with-field-foo))，但重要的是要注意记录不是 =到具有相同条目的常规 map 。

所有这四种内置映射类型都属于同一个“相等分区”，也就是说，当(且仅当)它们包含相同的键(由 Clojure 的 = ) 具有相同的对应值。上面 3. 中提到的记录是类似映射的，但每种记录类型都形成了自己的相等分区。