Scala：“map”与“foreach”——在实践中是否有理由使用“foreach”？

Question

在 Scala 集合中，如果想要遍历集合（不返回结果，即对集合的每个元素产生副作用），可以使用

final def foreach(f: (A) ⇒ Unit): Unit

或

final def map[B](f: (A) ⇒ B): SomeCollectionClass[B]

除了可能的惰性映射 (*) 之外，从最终用户的角度来看，我发现这些调用的差异为零：

myCollection.foreach { element =>
  doStuffWithElement(element);
}

myCollection.map { element =>
  doStuffWithElement(element);
}

鉴于我可以忽略地图输出的内容。当map 似乎包含foreach 的所有功能时，我想不出应该存在和使用两种不同方法的任何具体原因，事实上，如果一个智能编译器& VM 不会优化该集合对象的创建，因为它没有分配给任何东西，也没有在任何地方读取或使用。

所以，问题是 - 我是对的 - 没有理由在代码中的任何地方调用 foreach？

注意事项：

(*) 惰性映射概念as throughly illustrated in this question 可能会改变一些事情并证明foreach 的使用是合理的，但据我所知，特别需要偶然发现LazyMap，正常

(**) 如果一个人不是使用一个集合，而是编写一个集合，那么人们很快就会发现for 理解语法实际上是一个事实生成“foreach”调用的语法糖，即这两行生成完全等效的代码：

for (element <- myCollection) { doStuffWithElement(element); }
myCollection.foreach { element => doStuffWithElement(element); }

因此，如果有人关心其他人使用具有for 语法的集合类，则可能仍希望实现foreach 方法。

Answer 1

我能想到几个动机：

1. 当foreach 是Unit 类型方法的最后一行时，您的编译器不会发出警告，但会发出map 警告（并且您需要-Ywarn-value-discard 开启）。有时你会使用map 得到warning: a pure expression does nothing in statement position; you may be omitting necessary parentheses，但不会使用foreach。
2. 一般可读性 - 读者可以一眼就知道您正在改变某些状态而不返回某些内容，但是如果使用 map，则需要更多的认知资源来理解相同的操作
3. 在 1 的基础上，您还可以在传递命名函数时进行类型检查，然后传入 map 和 foreach
4. 使用foreach 不会建立新列表，因此会更高效（感谢@Vishnu）

Answer 2

如果构建器机器可以被优化掉，我会印象深刻。

scala> :pa
// Entering paste mode (ctrl-D to finish)

implicit val cbf = new collection.generic.CanBuildFrom[List[Int],Int,List[Int]] {
def apply() = new collection.mutable.Builder[Int, List[Int]] {
val b = new collection.mutable.ListBuffer[Int]
override def +=(i: Int) = { println(s"Adding $i") ; b +=(i) ; this }
override def clear() = () ; override def result() = b.result() }
def apply(from: List[Int]) = apply() }

// Exiting paste mode, now interpreting.

cbf: scala.collection.generic.CanBuildFrom[List[Int],Int,List[Int]] = $anon$2@e3cee7b

scala> List(1,2,3) map (_ + 1)
Adding 2
Adding 3
Adding 4
res1: List[Int] = List(2, 3, 4)

scala> List(1,2,3) foreach (_ + 1)

Answer 3

scala> (1 to 5).iterator map println
res0: Iterator[Unit] = non-empty iterator

scala> (1 to 5).iterator foreach println
1
2
3
4
5