Clojure 中的向量与具有不可变数据的列表

Question

我已经写了两次相同的函数，每次都分别使用一个列表和一个向量。该函数找到一个元素并返回集合中的下一个元素，如果找到的元素位于末尾，则返回。如果找不到元素，则返回nil。

列出版本

(def syms '(\< \^ \> \v))

(defn next-elem- [coll elem]
  (loop [coll-rest coll]
    (cond
      (empty? coll-rest) nil
      (= (first coll-rest) elem) (nth coll-rest 1 (first coll))
      :else (recur (rest coll-rest)))))

(defn rotate-left [sym]
  (next-elem- syms sym))

矢量版

(def syms [\< \^ \> \v])

(defn next-index- [coll i]
  (let [elem-count (count coll)]
    (cond
      (or (< i 0) (> i elem-count)) -1
      (= i (dec elem-count)) 0
      :else (inc i))))

(defn rotate-left [sym]
  (let [i (.indexOf syms sym)]
    (get syms (next-index- syms i) nil)))

测试

(assert (= \< (rotate-left \v)))
(assert (= nil (rotate-left \o)))

哪个版本更好？我读过列表通常在函数式编程中是首选，至少在 F# 向量（那里的数组）中是可变的，这不是我需要的。处理索引也感觉很尴尬，但作为非函数式程序员更容易理解。

PS：这是我编写的第一个函数式程序之一，所以它可能不是最优的。 PPS：我是否正确使用了反斜杠，还是应该使用其他东西来代替它？

Answer 1

next-elem- 的第一个版本更好，因为它适用于任何序列。第二个版本依赖序列来进行高效的索引访问，这真的很容易意外失败并得到一个低性能的代码。

建议：将rest 更改为next。不推荐使用 Rest，在所有情况下，next 都会更好。

同时避免使用列表。它们是非常具体的数据结构，很少需要。每当您需要线性序列时，请先考虑向量。

您的代码的功能版本：

(defn next-elem- [coll elem]
  (->> (concat coll [(first coll)])
       (drop-while #(not= % elem))
       (second)))