scala – Unit和Nothing有什么区别?

两种类型的单位和无指示一个不返回任何东西的函数。它们之间有什么区别?
单元是一种类型,只有一个值 – 见Unit type.另一方面,没有什么没有可能的价值 – 见Bottom type

不返回任何东西的函数必须具有返回类型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下的逻辑假,其中我们将类型视为命题和函数作为证明。

翻译自:https://stackoverflow.com/questions/13539822/whats-the-difference-between-unit-and-nothing

转载注明原文:scala – Unit和Nothing有什么区别?