由向量/chunked-seqs构建的lazy-seqs有时会在首次/下一次reduce时较慢。
观察
`
(def xs (vec (range 3000000)))
(time (reduce max xs)) ;; #1: 130ms, (参考)
(time (reduce max (lazy-cat xs))) ;; #2: 130ms,同样快
(time (reduce max 0 (lazy-cat xs))) ;; #3: 500ms,慢4倍!!
;; 使用concat加倍它们,它们不会慢2倍,而是慢10倍
(time (reduce max (lazy-cat xs xs))) ;; #4: 1200ms
(time (reduce max 0 (lazy-cat xs xs))) ;; #5: 1200ms
`
对于#3的解释:问题是当你没有给出init时,{{seq-reduce}}将会正确地再次调用{{reduce}}并采取快速路径。然而,给出了init后,它将始终保持首次/下一次,而不会逸出到快速reduce。
注意:在Clojure中,它们按照正确的方式扩展(前三个约为45ms,最后两个约为110ms)。
原因是Clojure正确地逸出到快速路径
https://github.com/clojure/clojure/blob/2b242f943b9a74e753b7ee1b951a8699966ea560/src/clj/clojure/core/protocols.clj#L131-L143
这是一个RFC,因为我对实现并不完全确定。需要小心以免在这里堆栈溢出...
问题
1. Should ChunkedCons实现IReduce?我认为是的。