`update-vals`未能保留排序后的映射？

Question

你好！我们最近发现，当对排序后的映射应用`update-vals`时，由于其非持久性，映射会转换回非排序的数组/哈希映射。以下是一个示例。作为备注，这与`medley/map-vals`不同，后者保留排序，我们曾在此功能中使用过，直到1.11版本。

这是否是预期的行为？如果是这样，我很想了解这一行为的意图 :) 感谢！

user> (def m (sorted-map :a 0 :b 0))
;; => #'user/m
user> (type m)
;; => clojure.lang.PersistentTreeMap
user> (type (update-vals m inc))
;; => clojure.lang.PersistentArrayMap
user> (type (medley.core/map-vals inc m))
;; => clojure.lang.PersistentTreeMap

Answer 1

是的，这是预期行为。在通用映射类型和性能之间有一些权衡。两者都已被考虑，最后决定更关注最常见的类型（哈希和数组映射）的性能。

如文档字符串所述，此函数返回“新映射”，并且不会保留映射类型。

Comments

刚刚遇到这个问题。考虑到许多功能都已经保留类型，在文档字符串中也没有任何相反的说明，因此保持类型是一种合理的期待。文档字符串说该函数返回“一个新映射”，但这并不能表明类型发生了变化。我们处理的是不可变数据结构，当然函数返回一个新映射，它几乎别无选择。

Answer 2

这种设计是有意为之，这是为了性能。有序映射主要用于调试。

如果你想让你的有序映射正常工作，请使用此回答底部的代码。

```clojure
(defn update-vals
  "m f => {k (f v) ...}

  Given a map m and a function f of 1-argument, returns a new map where the keys of m
  are mapped to result of applying f to the corresponding values of m."
  {:added "1.11"}
  [m f]
  (with-meta
    (persistent!
      (reduce-kv (fn [acc k v] (assoc! acc k (f v)))
        (if (instance? clojure.lang.IEditableCollection m)
          (transient m)
          (transient (empty m)))
        m))
    (meta m)))

(update-vals
  (sorted-map
    :d :e
    :b :c
    :h :a
    :a :g
    )
  str)
```

错误

```clojure
1. Unhandled java.lang.ClassCastException
   class clojure.lang.PersistentTreeMap cannot be cast to class clojure.lang.IEditableCollection
   (clojure.lang.PersistentTreeMap and clojure.lang.IEditableCollection are in unnamed module of loader 'app')
```

与有序映射一起工作的代码，但速度较慢

```clojure
(defn update-vals
  "m f => {k (f v) ...}

  Given a map m and a function f of 1-argument, returns a new map where the keys of m
  are mapped to result of applying f to the corresponding values of m."
  {:added "1.11"}
  [m f]
  (with-meta
    (reduce-kv (fn [acc k v] (assoc acc k (f v)))
      (empty m)
      m)
    (meta m)))
```

Comments

谢谢，但我看不到为什么`update-vals`不能在对有序映射使用排序保持逻辑的同时，也为无序映射保持性能，所以我想知道为什么这个函数不支持有序映射，因为它没有像我所知道的那样记录下来：）

---

我发布的代码已经修改，以使其在有序映射上工作，这就是`(transient (empty m))`的作用。该代码会产生错误。我猜`assoc!`在有序映射上不可用。

`(assoc! (sorted-map :a :b) :c :d)`会出现错误

---

"assoc!" 是用于瞬时的。请参阅 API 文档 https://clojure.github.io/clojure/clojure.core-api.html#clojure.core/assoc!

---

我在第一个例子中使用了瞬时。尽管在第二个例子中我搞砸了。

---

=>(assoc! (transient (sorted-map :a :b)) :c :d)
   对于类型 {:a :b}，没有定义协议方法 IEditableCollection.-as-transient

---

我不懂这个点
> 排序列表主要用于调试
排序列表在我看来是一个合适的数据结构。不知道调试在这里该怎么定位。