Scala 用于理解和部分映射

Question

Scala 语言规范部分 6.19 说：

A 的理解 for (p <- e) yield e0 被翻译为 e.map { case p =>; e0 }

那么...

scala> val l : List[Either[String, Int]] = List(Left("Bad"), Right(1))
l: List[Either[String,Int]] = List(Left(Bad), Right(1))

scala> for (Left(x) <- l) yield x
res5: List[String] = List(Bad)

到目前为止一切顺利：

scala> l.map { case Left(x) => x }
<console>:13: warning: match is not exhaustive!
missing combination          Right

       l.map { case Left(x) => x }
             ^
scala.MatchError: Right(1)
    at $anonfun$1.apply(<console>:13)
    at ...

为什么第二个版本不起作用？或者更确切地说，为什么第一个版本有效？

Answer 1

如果您在 for 理解中使用模式匹配，编译器实际上会在应用 之前插入对 filter 的调用，并使用 instanceOf 检查>地图。

编辑：

第 6.19 节中还提到：

如果 g 被转换为单个生成器 p <- e.withFilter((x1, ..., xn) => g )，则生成器 p <- e 后跟一个防护，其中 x1, ... , xn 是 p 的自由变量。

生成器之前定义为：

生成器 ::= Pattern1 '<-' Expr [Guard]

检查字节码时，您将看到对 filter 的调用位于对 map 的调用之前。

Answer 2

作为Eastsun评论的补充：Scala 2.8有一个方法collect，它可以在你的示例中工作：

l.collect { case Left(x) => x }
//--> List[String] = List(Bad)

Answer 3

Scala 2.7 语言规范，第 83 页，倒数第二段（此处没有 2.8 规范）。插入用于生成器模式匹配的过滤器是理解翻译过程的第一步。

需要注意的是，我上次检查时，这不适用于键入的模式，这可能会令人惊讶。所以在你的例子中

for(x:Left <- l) yield x  

是行不通的，会抛出类型错误