scala – Unit和Nothing有什么区别？

不返回任何东西的函数必须具有返回类型Unit。如果是Nothing，那么函数不能返回结果。退出函数的唯一方法是通过异常。

没有什么以不同的方式使用。它的特点是两个属性：

> Nothing是每个其他类型的子类型(包括Null)。
>没有此类型的实例。

这是什么时候有用？考虑无：

object None extends Option[Nothing]

因为Option在它的类型参数中是协变的，并且Nothing是一切的子类型，Option [Nothing]是每个类型A的Option [A]的子类型。所以，我们可以使一个对象None是Option [A]这是合理的，因为Nothing不能被实例化，因此Option [Nothing]将永远没有值。同样

object Nil extends List[Nothing]

单位对应于逻辑真，Nothing对应于在Curry-Howard isomorphism下的逻辑假，其中我们将类型视为命题和函数作为证明。