Scala For-Loop / For-Yield 优化？

Question

在 Scala 中，for 和 for-yield 循环通常被转换为使用 Lambda 调用的 map、flatMap 和 filter 的序列。由于编译器将那里的 Lambda 转换为匿名类，而不是 Java 8 的花哨的 invokedynamic / LambdaMetafactory / Unsafe.defineAnonymousClass 系统。这显然会为临时类及其实例带来大量开销，以及通常复制其底层集合的 map、flatMap 和过滤器操作的开销。当通常更快的迭代方法可用时，至少在字节码级别上，是否有任何特别的理由使用函数式方法来解决问题？

例如，为什么

for {
  sl <- l
  el <- sl
  if el > 0
} println el.toString.length

翻译成

l.flatMap(sl => sl.filter(el => el > 0).foreach(el => println el.toString.length))

代替

for (sl <- l) // Iterable for loop
{
    for (el <- sl) // Iterable for loop
    {
        println el.toString.length
    }
}

Answer 1

之所以这样实现，是因为 SLS 是这样定义它的。这些规则相当大，无法粘贴到此处，但它们已完全包含在规范中。

For Comprehensions and For Loops

示例 以下代码生成 1 到 n−1 个和为素数。

for  { i <- 1 until n
       j <- 1 until i
       if isPrime(i+j)
} yield (i, j)

for 推导式翻译为：

(1 until n)
  .flatMap {
     case i => (1 until i)
       .withFilter { j => isPrime(i+j) }
       .map { case j => (i, j) } }