在Foreach/Map Block中抛出异常

Question

我很好奇为什么在下面的foreach块中抛出异常。我希望没有值使它通过过滤器，因此永远不会到达该块。与map发生相同的行为。

scala> (1 to 10) filter { _ > 12 } foreach { throw new Exception } 
java.lang.Exception 
    ... 33 elided 

我期望的异常没有抛出，并表现得更像下面这样永远不会执行println哪里。

scala> (1 to 10) filter { _ > 12 } foreach { println _ } 

也许这与如何处理异常有关？为什么是这样？

Answer 1

{ throw new Exception } 

只是其抛出异常的块 - 结果它具有类型Nothing。由于Nothing是所有类型的子类型，因此它与作为foreach块参数所需的Function[Int, T]兼容。

你可以看到这个更清楚，如果你创建预先的功能：如果你想创建你所需要的参数添加到块Function[Int, Nothing]

//throws exception 
val f: Function[Int, Unit] = { throw new Exception } 

：

(1 to 10) filter { _ > 12 } foreach { _ => throw new Exception }