在子向量上 reduce-kv 失败

Question

在将元素索引传递给 "key" 参数的向量上，reduce-kv 可以按预期工作。然而，在子向量上会失败，因为在 clojure.lang.APersistentVector$SubVector 中没有实现 IKVReduce。

(reduce-kv + 0 (link: 1 2 3))
9

(reduce-kv + 0 (subvec (link: 1 2 3) 1))
IllegalArgumentException 无关于协议：#'clojure.core.protocols/IKVReduce 的类：clojure.lang.APersistentVector$SubVector 的方法：:kv-reduce 实现 clojure.core/-cache-protocol-fn (core_deftype.clj:583)

一种解决方案是将子向量复制到一个向量中

(reduce-kv + 0 (into (link: ) (subvec (link: 1 2 3) 1)))
6

但是，这里的 vec 函数不会工作。从 Clojure 1.7 开始，vec 将返回一个子向量而不是复制。

(reduce-kv + 0 (vec (subvec (link: 1 2 3) 1)))
IllegalArgumentException 无关于协议：#'clojure.core.protocols/IKVReduce 的类：clojure.lang.APersistentVector$SubVector 的方法：:kv-reduce 实现 clojure.core/-cache-protocol-fn (core_deftype.clj:583)

Clojure 用户期望子向量支持所有正常的向量操作，而这个异常令人困惑。问题的原因是 subvec 返回的 clojure.lang.APersistentVector$SubVector 没有实现 clojure.lang.IKVReduce。PersistentVector 继承自 APersistentVector 并实现了 IKVReduce，但 SubVector 没有获得 IKVReduce 的支持。这可能是忽略了一个细节。

有两个补丁附在这里。第一个补丁通过在 core.clj 中扩展 IKVReduce 协议来修复了这个问题。这对于 Clojure 用户来说是一个方便的临时解决方案。第二个补丁，由 Alex Miller 建议，直接在 APersistentVector$SubVector 中添加了 IKVReduce 接口的 Java 实现。应该审查的是第二个补丁。两个补丁中包括了相同的测试。

Answer 1

评论者：[email protected]

这是我目前的解决方案

`
(extend-type clojure.lang.APersistentVector$SubVector
clojure.core.protocols/IKVReduce
(kv-reduce [subv f init]

(transduce (map-indexed vector)
           (fn ([ret] ret) ([ret [k v]] (f ret k v)))
           init
           subv)))

`

在我的测试中，通常将子向量复制到常规向量中速度更快，但我更喜欢transduce修正的样式。如果直接在APersistentVector.java中添加一个原生Java实现，可能会更快。如果Clojure/core团队想要补丁，我很愿意做这项工作。

Answer 2

_评论者：[email protected]_

使用更多交互操作改进性能的修正解决方案。  与常规向量的reduce-kv速度相当。


(when-not (satisfies?   clojure.core.protocols/IKVReduce (subvec [1] 0))
  (extend-type clojure.lang.APersistentVector$SubVector
    clojure.core.protocols/IKVReduce
    (kv-reduce
      [subv f init]
      (let [cnt (.count subv)]
        (loop [k 0 ret init]
          (if (< k cnt)
            (let [val (.nth subv k)
                ret (f ret k val)]
              (if (reduced? ret)
                @ret
                (recur (inc k) ret)))
            ret))))))

Answer 3

评论者：[email protected]

支持SubVector的IKVReduce

Answer 4

评论者：[email protected]

补丁还添加了对常规向量和子向量的reduce-kv测试。

Answer 5

评论者：alexmiller

为什么不在APersistentVector$SubVector中直接实现IKVReduce呢？

Answer 6

评论者：[email protected]

Java在子向量上实现IKVReduce

Answer 7

评论者：[email protected]

是的，这很有道理。我犹豫了一下，因为我不想重新设计层次结构使SubVector成为PersistentVector的子类，但这并不是修复这个错误所必需的。CLJ-2065-Support-IKVReduce-on-SubVector.patch只是Java一侧，加上相同的测试。

Answer 8

评论者：[email protected]

更新补丁，以内联nth()调用，避免不必要的边界检查。

Answer 9

参考：https://clojure.atlassian.net/browse/CLJ-2065 (由[email protected]报告)

Answer 10

JIRA工单有点过时。它只说该错误影响1.9，但我可以确认它仍在1.10.3中出现。

Comments

是的，我们通常假设这只是“在发现的”地方，除非由于回归或其他原因有进一步的说明，所以没问题。