Clojure 2d 列表到哈希映射

Question

我有一个这样的无限列表：
((1 1)(3 9)(5 17)...)
我想用它制作一个哈希图：
{:1 1 :3 9 :5 17 ...)

“内部”列表的第一个元素基本上是关键字，而第二个元素是值。我不确定在创建时创建我使用的列表是否更容易：

(迭代 (fn [[a b]] [(计算 a) (计算 b)]) [1 1])

(b) 的计算需要 (a)，所以我认为在这一点上 (a) 不能是关键字...重点是可以轻松访问给定 (a) 的值 (b)。

任何想法将不胜感激......

--编辑--
好的，我想通了：

(def my-map (into {} (map #(hash-map (keyword (str (first %))) (first (rest %))) my-list)))

问题是：它似乎并不懒惰......即使我没有消费它，它也会永远消失。有没有办法让它偷懒？

Answer 1

问题是哈希映射既不能无限也不能惰性。他们设计用于快速键值访问。因此，如果您有一个哈希映射，您将能够执行快速键查找。键值访问是hash-map的核心思想，但它使得惰性无限hash-map的创建变得不可能。

假设，我们有一个无限的 2d 列表，那么您可以使用 into 创建 hash-map：

(into {} (vec (map vec my-list)))

但是没有办法使这个哈希映射无限。因此，您唯一的解决方案是创建自己的哈希映射，例如 Chouser suggested。在这种情况下，您将拥有一个无限的 2d 序列和一个在其中执行惰性键查找的函数。

其实他的解决方案可以稍微改进一下：

(def my-map (atom {}))

(def my-seq (atom (partition 2 (range))))

(defn build-map [stop]
  (when-let [[k v] (first @my-seq)]
    (swap! my-seq rest)
    (swap! my-map #(assoc % k v))
    (if (= k stop)
        v
        (recur stop))))

(defn get-val [k]
  (if-let [v (@my-map k)]
    v
    (build-map k)))

my-map 在我的示例中存储当前的哈希映射，my-seq 存储尚未处理的元素序列。 get-val 函数执行惰性查找，使用 my-map 中已处理的元素来提高其性能：

(get-val 4)
=> 5
@my-map
=> {4 5, 2 3, 0 1}

还有一个加速：

(time (get-val 1000))
=> Elapsed time: 7.592444 msecs
(time (get-val 1000))
=> Elapsed time: 0.048192 msecs

Answer 2

为了懒惰，计算机必须在每次请求键时对输入序列进行线性扫描，至少如果键超出了目前已扫描的范围。一个简单的解决方案是每次都扫描序列，如下所示：

(defn get-val [coll k] (一些 (fn [[a b]] (当 (= k a) b)) coll)) (get-val '((1 1)(3 9)(5 17)) 3) ;=> 9

一个稍微不那么天真的解决方案是使用memoize 来缓存get-val 的结果，尽管这仍然会扫描输入序列而不是严格必要的。更积极的缓存解决方案是使用原子（如 memoize 在内部所做的那样）缓存所看到的每一对，从而仅在查找需要尚未看到的内容时消耗更多的输入序列。

无论如何，我不建议将其包装在哈希映射 API 中，因为这意味着可能不需要但难以实现的高效不可变“更新”。我通常也不建议对键进行关键字化。

Answer 3

如果你用 flatten 将它展平为 (k v k v k v k v) 的列表，那么你可以使用 apply 来调用带有该列表的 hash-map，因为它的参数将为你提供你寻找的列表。

user> (apply hash-map (flatten '((1 1)(3 9)(5 17))))
{1 1, 3 9, 5 17}

虽然它没有关键字化第一个参数。

至少在 clojure 中 与键关联的最后一个值被称为该键的值。如果不是这种情况，那么您不能为已经在映射中的键生成具有不同值的新映射，因为查找函数将返回第一个（现在是阴影键）。如果查找函数搜索到最后，那么它不是懒惰的。您可以通过编写自己的使用关联列表的地图实现来解决这个问题，尽管它会缺乏 Clojure 基于 Trei 的地图的性能保证，因为在最坏的情况下它会退化为线性时间。

我不确定保持输入序列惰性是否会产生预期的结果。

Answer 4

要从您的序列中制作哈希图，您可以尝试：

(defn to-map [s] (zipmap (map (comp keyword str first) s) (map second s)))

=> (to-map '((1 1)(3 9)(5 17)))
=> {:5 17, :3 9, :1 1}

Answer 5

您可以稍后通过这种方式将该结构转换为哈希映射

(def it #(iterate (fn [[a b]] [(+ a 1) (+ b 1)]) [1 1])) 
(apply hash-map (apply concat (take 3 (it))))
=> {1 1, 2 2, 3 3}