在Foreach/Map块中抛出异常

Question

我很好奇为什么在下面的foreach块中抛出异常.我希望没有值使它通过过滤器,因此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是所有类型的子类型,因此它与块Function[Int, T]的参数兼容foreach.

如果事先创建函数,则可以更清楚地看到这一点:

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

如果要创建Function[Int, Nothing],则需要将参数添加到块中:

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