在clojure中获取惰性seq的第一个元素的习惯方法

Question

在处理seq中的每个元素时，我通常使用first和rest。 但是，这些将导致lazy-seq通过调用参数seq而失去其“懒惰”。我的解决方案一直使用(first (take 1 coll))和(drop 1 coll)来代替lazy-seq s，而我认为drop 1就好了，我不是特别喜欢拨打first和take来获得第一个元素。

有没有更习惯的方式来做到这一点？

Answer 1

为first和rest文档字符串说，这些功能呼吁他们的论点seq传达，传递一个seqable收集这本身不是一个序列，就像当你不必调用seq自己的想法，说，一个矢量或集合。例如，

(first [1 2 3]) 
;= 1 

如果 first没有在它的参数调用 seq

是行不通的;你必须说

(first (seq [1 2 3])) 

而不是，这将是不方便的。

take和drop也会在它们的参数上调用seq，否则就不能像上面解释的那样在向量等上调用它们。事实上，所有标准seq集合都是如此 - 那些不直接调用seq的集合是建立在低级别组件上的。

这绝不会影响懒惰seqs的懒惰。作为first/rest调用的结果而发生的强制/实现是获得所请求结果的可能最小量。 （这取决于参数的类型;如果它实际上并不是懒惰的，那么调用first时不会涉及额外的实现;如果它部分是懒惰的 - 也就是分块 - 则会有一些额外的实现实现（一次最多可以计算32个初始元素）;如果完全惰化，则只计算第一个元素。）

显然first当传递一个懒惰的seq时，必须强制实现它的第一个元素 - - 这就是整个观点。 rest实际上有些懒惰，因为它实际上并不强制实现seq的“休息”部分（这与next相对，其基本相当于(seq (rest ...))）。它确实强迫第一个元素被实现，以便它可以立即跳过它，这是一个有意识的设计选择，它可以避免不必要的lazy seq对象分层并保留原始seq的头部;你可以说类似(lazy-seq (rest xs))这样的东西来推迟这个初始实现，代价是保持到xs，直到实现懒惰的seq包装器。