Scala中用于理解的补救语法问题

Question

我在Scala 2.10中遇到了语法问题，无法理解。

< code>for(a

那么为什么for（a

类型检查器抱怨第二个表达式(< code>b




Answer 1

匿名用户

丹尼尔解释了其中的复杂性。但是我想补充一些细节，因为正如你所看到的，我发现这种行为非常不直观，我自己也遇到过几次混合Option和List的问题。这特别烦人，因为正如你所看到的，它只在一个方向上工作，而不是另一个。

因此，根据您将拥有的用于理解的规则

def test(a: Option[List[Int]]) = a.flatMap(_.map(identity))

失败与

<console>:7: error: type mismatch;
 found   : List[Int]
 required: Option[?]
           def test(a: Option[List[Int]]) = a.flatMap(_.map(identity))
                                                           ^

但你可以让它工作：

def test(a: Option[List[Int]]) = (a: Iterable[List[Int]]).flatMap(_.map(identity))

test(Some(List(1,2)))  // List(1,2)

或使用＜code＞返回＜/code＞：

for(a <- Some(List(1,2)).toIterable; b <- a) yield b

< code>for应该自己进行这种转换吗？老实说，我不知道，但我和你一样惊讶它不起作用。

Answer 2

匿名用户

我最近解释了这一点——希望有人能找到链接。这是一个反复出现的问题，因此很可能会被关闭。

无论如何，外部发生器控制着表象。这发生在每一层，所以如果我有这个:

for { 
  a <- A
  b <- B
  c <- C
} yield f(a, b, c)

那么< code>f(a，B，c)的表示由< code>C控制，其表示由< code>B控制，最终结果的表示由< code>A控制。因此，出于最实际的目的，理解的表征是由第一个发生器控制的。

那么我说的“代表”是什么意思呢？好吧，理解通常是一种单一理解（实际上，它只是对flatMap和map等方法的一组调用，因此它可以是任何类型检查）。这意味着给定一个 monad M[A] 和一个函数 A =

这意味着，在大多数情况下，不可能将选项和列表组合在一起进行理解。所有集合在GenTraversableOnce中都有一个共同的父级，因此将它们组合起来没有问题（尽管事情比引擎盖下要复杂得多）。

但是，存在从< code>Option到< code>Iterable的隐式转换。既然如此，当Scala找到< code>b时

但是，在第二种情况下不会发生这种情况。使用 Option 进行理解是可以的，因此无需将其转换为可迭代。不幸的是，人们无法将列表转换为选项（这种转换的结果是什么？），这会导致错误。

Scala不会“回溯”到

我衷心建议您查看相关问题，并了解如何翻译理解。