Scala 集合深度剖析:迭代器、视图与集合创建及转换
1. Scala 集合视图特性
在 Scala 早期版本中,像 val actors = (1 to 10) map (i => actor { ... })
这样的代码,由于 (1 to 10)
生成的范围表现得像视图, map
操作的结果同样是视图。这意味着没有元素被计算,自然也不会创建任何 actor
。若要创建 actor
,需要强制计算整个表达式的范围,但这并不直观。
为避免此类意外情况,Scala 2.8 版本为集合制定了更规范的规则。除了流( streams
)和视图( views
)外,所有集合都是严格求值的。从严格集合转换为惰性集合的唯一方式是使用 view
方法,而从惰性集合转换回严格集合则使用 force
方法。所以,在 Scala 2.8 中,上述 actors
的定义会按预期创建并启动十个 actor
。若要恢复之前令人意外的行为,需显式调用 view
方法:
val actors = for (i <- (1 to 10).view) yield actor { ... }
视图是调和效率与模块化需求的强大工具。不过,为避免陷入延迟求值