我认为公认的答案很好，但似乎许多人没有抓住一些基本的问题。

首先，Scala的for推导式等同于Haskell的do表示法，它只不过是组合多个一元操作的语法糖。因为这句话很可能对任何需要帮助的人都没有帮助，让我们再试一次…:-)

Scala的推导式是用map、flatMap和filter组合多个操作的语法糖。或foreach。Scala实际上将for表达式转换为对这些方法的调用，因此任何提供它们的类或它们的子集都可以用于推导式。

首先，我们来谈谈翻译。有一些非常简单的规则:

This for(x <- c1; y <- c2; z <-c3) {...} is translated into c1.foreach(x => c2.foreach(y => c3.foreach(z => {...}))) This for(x <- c1; y <- c2; z <- c3) yield {...} is translated into c1.flatMap(x => c2.flatMap(y => c3.map(z => {...}))) This for(x <- c; if cond) yield {...} is translated on Scala 2.7 into c.filter(x => cond).map(x => {...}) or, on Scala 2.8, into c.withFilter(x => cond).map(x => {...}) with a fallback into the former if method withFilter is not available but filter is. Please see the section below for more information on this. This for(x <- c; y = ...) yield {...} is translated into c.map(x => (x, ...)).map((x,y) => {...})

当你看非常简单的理解，地图/foreach替代方案看起来确实更好。一旦你开始组合它们，你就很容易迷失在括号和嵌套级别中。当这种情况发生时，理解通常要清楚得多。

我将展示一个简单的例子，并有意省略任何解释。您可以决定哪种语法更容易理解。

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

or

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

withFilter

Scala 2.8引入了一个名为withFilter的方法，其主要区别在于，它不是返回一个新的、经过过滤的集合，而是按需过滤。过滤器方法的行为是根据集合的严格程度定义的。为了更好地理解这一点，让我们来看看一些带有List(严格)和Stream(非严格)的Scala 2.7:

scala> var found = false
found: Boolean = false

scala> List.range(1,10).filter(_ % 2 == 1 && !found).foreach(x => if (x == 5) found = true else println(x))
1
3
7
9

scala> found = false
found: Boolean = false

scala> Stream.range(1,10).filter(_ % 2 == 1 && !found).foreach(x => if (x == 5) found = true else println(x))
1
3

发生差异是因为filter立即与List一起应用，返回一个赔率列表——因为found为假。然后才执行foreach，但是，此时更改found是没有意义的，因为filter已经执行了。

在Stream的情况下，条件不会立即应用。相反，当foreach请求每个元素时，filter测试条件，这使foreach能够通过found影响它。为了让它更清楚，这里是等价的理解代码:

for (x <- List.range(1, 10); if x % 2 == 1 && !found) 
  if (x == 5) found = true else println(x)

for (x <- Stream.range(1, 10); if x % 2 == 1 && !found) 
  if (x == 5) found = true else println(x)

这导致了许多问题，因为人们希望按需考虑if，而不是预先应用于整个集合。

Scala 2.8引入了filter，无论集合的严格程度如何，它总是不严格的。下面的例子展示了在Scala 2.8上使用这两种方法的List:

scala> var found = false
found: Boolean = false

scala> List.range(1,10).filter(_ % 2 == 1 && !found).foreach(x => if (x == 5) found = true else println(x))
1
3
7
9

scala> found = false
found: Boolean = false

scala> List.range(1,10).withFilter(_ % 2 == 1 && !found).foreach(x => if (x == 5) found = true else println(x))
1
3

这产生了大多数人期望的结果，而不改变过滤器的行为。顺便说一句，在Scala 2.7和Scala 2.8之间，Range从非严格变成了严格。

我认为公认的答案很好，但似乎许多人没有抓住一些基本的问题。

首先，Scala的for推导式等同于Haskell的do表示法，它只不过是组合多个一元操作的语法糖。因为这句话很可能对任何需要帮助的人都没有帮助，让我们再试一次…:-)

Scala的推导式是用map、flatMap和filter组合多个操作的语法糖。或foreach。Scala实际上将for表达式转换为对这些方法的调用，因此任何提供它们的类或它们的子集都可以用于推导式。

首先，我们来谈谈翻译。有一些非常简单的规则:

This for(x <- c1; y <- c2; z <-c3) {...} is translated into c1.foreach(x => c2.foreach(y => c3.foreach(z => {...}))) This for(x <- c1; y <- c2; z <- c3) yield {...} is translated into c1.flatMap(x => c2.flatMap(y => c3.map(z => {...}))) This for(x <- c; if cond) yield {...} is translated on Scala 2.7 into c.filter(x => cond).map(x => {...}) or, on Scala 2.8, into c.withFilter(x => cond).map(x => {...}) with a fallback into the former if method withFilter is not available but filter is. Please see the section below for more information on this. This for(x <- c; y = ...) yield {...} is translated into c.map(x => (x, ...)).map((x,y) => {...})

当你看非常简单的理解，地图/foreach替代方案看起来确实更好。一旦你开始组合它们，你就很容易迷失在括号和嵌套级别中。当这种情况发生时，理解通常要清楚得多。

我将展示一个简单的例子，并有意省略任何解释。您可以决定哪种语法更容易理解。

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

or

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

withFilter

Scala 2.8引入了一个名为withFilter的方法，其主要区别在于，它不是返回一个新的、经过过滤的集合，而是按需过滤。过滤器方法的行为是根据集合的严格程度定义的。为了更好地理解这一点，让我们来看看一些带有List(严格)和Stream(非严格)的Scala 2.7:

scala> var found = false
found: Boolean = false

scala> List.range(1,10).filter(_ % 2 == 1 && !found).foreach(x => if (x == 5) found = true else println(x))
1
3
7
9

scala> found = false
found: Boolean = false

scala> Stream.range(1,10).filter(_ % 2 == 1 && !found).foreach(x => if (x == 5) found = true else println(x))
1
3

发生差异是因为filter立即与List一起应用，返回一个赔率列表——因为found为假。然后才执行foreach，但是，此时更改found是没有意义的，因为filter已经执行了。

在Stream的情况下，条件不会立即应用。相反，当foreach请求每个元素时，filter测试条件，这使foreach能够通过found影响它。为了让它更清楚，这里是等价的理解代码:

for (x <- List.range(1, 10); if x % 2 == 1 && !found) 
  if (x == 5) found = true else println(x)

for (x <- Stream.range(1, 10); if x % 2 == 1 && !found) 
  if (x == 5) found = true else println(x)

这导致了许多问题，因为人们希望按需考虑if，而不是预先应用于整个集合。

Scala 2.8引入了filter，无论集合的严格程度如何，它总是不严格的。下面的例子展示了在Scala 2.8上使用这两种方法的List:

scala> var found = false
found: Boolean = false

scala> List.range(1,10).filter(_ % 2 == 1 && !found).foreach(x => if (x == 5) found = true else println(x))
1
3
7
9

scala> found = false
found: Boolean = false

scala> List.range(1,10).withFilter(_ % 2 == 1 && !found).foreach(x => if (x == 5) found = true else println(x))
1
3

这产生了大多数人期望的结果，而不改变过滤器的行为。顺便说一句，在Scala 2.7和Scala 2.8之间，Range从非严格变成了严格。

除非你能从Scala用户那里得到更好的答案(我不是)，以下是我的理解。

它仅作为以for开头的表达式的一部分出现，该表达式说明如何从现有列表生成新列表。

喜欢的东西:

var doubled = for (n <- original) yield n * 2

因此，每个输入都有一个输出项(尽管我相信有一种方法可以删除重复项)。

这与yield在其他语言中所支持的“命令式延续”有很大不同，在其他语言中，它提供了一种方法，可以从一些具有几乎任何结构的命令式代码生成任意长度的列表。

(如果你熟悉c#，它更接近LINQ的选择操作符，而不是yield return)。

根据Scala文档，它清楚地说“从现有的集合中生成一个新的集合”。

另一个Scala文档说，“Scala提供了一种轻量级符号来表示序列推导。推导式的形式为(enums) yield e，其中enums指以分号分隔的枚举数列表。枚举器可以是引入新变量的生成器，也可以是过滤器。”

它用于序列推导式(就像Python的列表推导式和生成器一样，在这里你也可以使用yield)。

它与for结合应用，并将一个新元素写入结果序列。

简单示例(来自scala-lang)

/** Turn command line arguments to uppercase */
object Main {
  def main(args: Array[String]) {
    val res = for (a <- args) yield a.toUpperCase
    println("Arguments: " + res.toString)
  }
}

f#中对应的表达式为

[ for a in args -> a.toUpperCase ]

or

from a in args select a.toUpperCase 

在Linq中。

Ruby的产量有不同的影响。

为了理解，考虑以下内容

val A = for (i <- Int.MinValue to Int.MaxValue; if i > 3) yield i

大声读出来可能会有帮助

对于每一个整数i，如果它大于3，那么yield (produce) i并将其添加到列表a中。

在数学集合构建符号方面，上面的for-comprehension类似于

这可以理解为

"对于每一个整数，如果它大于，那么它就是集合中的成员"

或者作为替代

"是所有整数的集合，每个都大于"