Into or vec：在 Clojure 中将序列转换回向量

Question

我有以下代码递增向量中每对的第一个元素：

(vec (map (fn [[key value]] [(inc key) value]) [[0 :a] [1 :b]]))

但是我担心这段代码不优雅，因为它首先使用 map 创建一个序列，然后将其转换回向量。

考虑这个类比：

(into [] (map (fn [[key value]] [(inc key) value]) [[0 :a] [1 :b]]))

在#clojure@irc.freenode.net 上有人告诉我，使用上面的代码很糟糕，因为into 会扩展为(reduce conj [] (map-indexed ...))，这会在此过程中产生许多中间对象。然后有人告诉我，实际上into 并没有扩展到(reduce conj ...)，而是尽可能使用瞬变。还测量经过的时间表明into 实际上比vec 快。

所以我的问题是：

1. 在向量上使用map 的正确方法是什么？
2. 当我将vec 和into 与向量一起使用时，下面会发生什么？

相关但不重复的问题：

• Clojure: sequence back to vector
• How To Turn a Reduce-Realized Sequence Back Into Lazy Vector Sequence

Answer 1

实际上，从 Clojure 1.4.0 开始，首选的方法是使用 mapv，它类似于 map，只是它的返回值是一个向量。这是迄今为止最有效的方法，根本没有不必要的中间分配。

Clojure 1.5.0 将带来一个新的 reducers 库，它将为 map、filter、take、drop 等提供通用方法，同时创建向量，可与 into [] 一起使用。您可以在 1.5.0 alpha 版和最近的 ClojureScript 标记版本中使用它。

对于(vec some-seq) 和(into [] some-seq)，第一个最终委托给Java 循环，该循环将some-seq 倒入一个空的瞬态向量中，而第二个在非常高效的Clojure 代码中做同样的事情。在这两种情况下，都需要进行一些初始检查，以确定在构造最终返回值时采用哪种方法。

vec 和 into [] 对于小长度（最多 32 个）的 Java 数组有很大不同——第一个将为数组起别名（将其用作新创建的向量的尾部）并要求数组不随后进行修改，以免向量的内容发生变化（参见文档字符串）；后者创建一个带有新尾部的新向量，并且不关心数组的未来变化。