异常抛出的类型为“Nothing”？

Question

如此处所述 - Chapter 7 of Programming in Scala, Built-in Control Structures, 7.4 Exception handling with try expressions:

在 Scala 中，throw 是一个具有结果类型的表达式。

从技术上讲，异常抛出的类型为 Nothing。您可以将 throw 用作表达式，即使它实际上永远不会计算出任何值。这一点技术体操听起来可能很奇怪，但在像前面的例子这样的情况下经常有用。 if 的一个分支计算一个值，而另一个抛出异常并计算Nothing。整个 if 表达式的类型就是计算某些东西的那个分支的类型。

例子是：

val half =
  if (n % 2 == 0)
    n / 2
  else
    throw new RuntimeException("n must be even")

然后我去了 Scala 并尝试：

scala> val n = 1
n: Int = 1

scala> val half = if (n % 2 == 0) n / 2 else throw new RuntimeException("n must be even")
java.lang.RuntimeException: n must be even
  ... 29 elided

scala> half
<console>:12: error: not found: value half
       half
       ^

表示找不到half。但是，根据这本书，我认为它应该说它是已定义的，并且它的类型为Nothing。

这里有什么问题？

Answer 1

这是说没有找到一半。但是，根据这本书，我 假设它应该说它已定义并且类型为 Nothing。

如果你重读那一段，你会发现half的类型不应该是Nothing，而应该是Int：

整个if表达式的类型就是那个分支的类型 它确实计算了一些东西。

计算值的分支产生Int 类型。您可以通过将half 定义为方法而不是值来证明这一点：

scala> def half = if (n % 2 == 0) n / 2 else throw new RuntimeException("n must be even")
half: Int

如果您真的想查看 throw 的类型为 Nothing，请将其添加到您的 IDE 中并使其显示类型：

val exception: Nothing = throw new RuntimeException("n must be even")

关于half，没有找到，因为它的声明抛出异常，导致REPL无法绑定值。