令人混淆的因素是实现中数组映射的一般自动提升。即使是用户定义的数组映射也会在被关联操作时自动提升。默认情况下，数组映射（可能通过常规哈希映射读取器字面量或提供8个键值的哈希映射构造函数构建），如果其大小变为>8，将自动提升到哈希映射。即使是用户定义的数组映射也不是免疫的；如果你保持计数不变，你可以在保留数组映射实现的同时更新现有键，但一旦增加一个新的条目，结构将提升到哈希映射（以提高效率）。
公平地说，假设使用身份行走，我预期输入将保持不变，并且不会返回哈希映射（这是我的假设）。实际上，'walk' 函数会修改数组映射，尽管实际上没有进行任何修改操作。
以下是 'walk' 函数实现中发生的情况，它会在 'cond' 中的条件中贯穿直到遇到通配符集合实现。
(coll? form) (outer (into (empty form) (map inner form)))
`empty` 创建一个空的数组映射，然后通过 `conj`（实际上是通过 `conj!` 临时地）来增长，最终达到数组映射的限制（8），然后转为哈希映射。
一种简单的解决方案是为 'walk' 提供一个自定义情况来检测数组映射并将其保持不变。为了做到这一点，你必须显式地构造数组映射。
(defn walk
[inner outer form]
(cond
(list? form) (outer (apply list (map inner form)))
(instance? clojure.lang.IMapEntry form)
(outer (clojure.lang.MapEntry/create (inner (key form)) (inner (val form))))
(seq? form) (outer (doall (map inner form)))
(instance? clojure.lang.PersistentArrayMap form)
(outer (apply array-map (reduce (fn [acc [k v]] (conj acc (inner k) (inner v))) [] form)))
(instance? clojure.lang.IRecord form)
(outer (reduce (fn [r x] (conj r (inner x))) form form))
(coll? form) (outer (into (empty form) (map inner form)))
:else (outer form)))
如果对核心的 'walk' 进行 monkey-patch，看起来似乎可以工作。
clojure.walk=> (def x (array-map :a 1 :b 2 :c 3 :d 4 :e 5 :f 6 :g 7 :h 8 :i 9 :j 10))
#'clojure.walk/x
clojure.walk=> (def xw (clojure.walk/postwalk identity x))
#'clojure.walk/xw
clojure.walk=> xw
{:a 1, :b 2, :c 3, :d 4, :e 5, :f 6, :g 7, :h 8, :i 9, :j 10}
clojure.walk=> (= xw x)
true
clojure.walk=> (= (seq xw) (seq x))
true
clojure.walk=> (type xw)
clojure.lang.PersistentArrayMap
然而，提升（promotion）仍然可能发生，比如如果 'outer' 执行了一些操作来扩大结果映射。
