请注意,在 Ruby 2.0+ 中,您不需要这样做,您只需使用Enumerable#lazy
,它会返回一个Enumerator::Lazy
.
由于我不清楚的原因,Lazy
没有flatten
,但它有flat_map
,所以原则上你可以使用flat_map
身份功能。
module Enumerable
def lazy_flatten
self.lazy.flat_map { |x| x }
end
end
Lazy#flat_map
主要负责分解任何可分解的元素,但不完全——来自文档:
如果以下任一条件为真,则 block 返回的值x被分解:
- x对
each
and都有响应force
,这意味着它x
是一个惰性枚举器。
- x是一个数组或响应
to_ary
。
请注意,这to_ary
不是 上的方法Enumerable
,大概是为了阻止从无限序列到数组的隐式转换。这意味着,例如,如果您尝试使用上述代码lazy_flatten
包含 aSet
或 aRange
的内容,它(arguaby,见下文)将不起作用:
a = [[1, 2, 3], Set[4, 5], 6, 7..8]
# => [[1, 2, 3], #<Set: {4, 5}>, 6, 7..8]
f = a.lazy_flatten
# => #<Enumerator::Lazy: #<Enumerator::Lazy: [[1, 2, 3], #<Set: {4, 5}>, 6, 7..8]>:flat_map>
f.to_a
# => [1, 2, 3, #<Set: {4, 5}>, 6, 7..8]
但是,这与 的行为相同Array#flatten
:
a.flatten
# => [1, 2, 3, #<Set: {4, 5}>, 6, 7..8]
(虽然Array#flatten
不会检测和分解惰性枚举器,但Lazy#flat_map
会。)
而 OP 的代码或Mladen Jabnović 的答案中的代码将分解Set
和Range
:
f = a.lazy_flatten # (M.J.'s code)
# => #<Enumerator: #<Enumerator::Generator:0x00007fd819c166c0>:each>
f.to_a
# => [1, 2, 3, 4, 5, 6, 7, 8]
但是,如果传递包含无限序列的内容,该代码也将无限迭代:
a = [[1, 2, 3], Set[4, 5], 6, 7..8, 9..Float::INFINITY]
# => [[1, 2, 3], #<Set: {4, 5}>, 6, 7..8, 9..Infinity]
f = a.lazy_flatten # (M.J.'s code)
# => #<Enumerator: #<Enumerator::Generator:0x00007fd819a73d18>:each>
f.to_a
# => spins at 100% CPU for a while and eventually runs out of memory
如果您认为这是一个特性,而不是一个错误,那么一种方法是修改flat_map
基于 - 的实现,以将它找到的任何可枚举转换为惰性枚举:
module Enumerable
def lazy_flatten
self.lazy.flat_map do |x|
x.respond_to?(:lazy) ? x.lazy : x
end
end
end
这甚至适用于嵌套的惰性枚举,因为Lazy#lazy
它足够聪明以返回自身。