我刚刚读到：http://oldfashionedsoftware.com/2008/08/20/a-post-about-nothing/
据我了解，Null 是一个特征，它的唯一实例是null。
当一个方法接受一个 Null 参数时，我们只能直接传递一个 Null 引用或 null，而不能传递任何其他引用，即使它是 null （例如 nullString: String = null）。
我只是想知道在哪些情况下使用 Null 特征可能有用。
还有一个 Nothing 特质，我真的没有看到更多的例子。
我也不太明白使用 Nothing 和 Unit 作为返回类型有什么区别，因为两者都不返回任何结果，例如当我有一个执行日志记录的方法时如何知道使用哪一个?
除了返回类型之外，您还有 Unit / Null / Nothing 的用法吗？
【问题讨论】：
标签： scala
只有在方法从不返回时才使用 Nothing（这意味着它无法通过返回正常完成，它可能会引发异常）。没有任何东西永远不会被实例化，并且是为了类型系统的利益而存在的（引用 James Iry："The reason Scala has a bottom type is tied to its ability to express variance in type parameters."）。从您链接到的文章中：
Nothing 的另一个用途是作为永远不会发生的方法的返回类型 返回。如果您考虑一下，这是有道理的。如果一个方法的返回 type 是 Nothing，绝对不存在 Nothing 的实例， 那么这样的方法决不能返回。
您的日志记录方法将返回 Unit。有一个值 Unit 所以它实际上可以被返回。来自API docs：
Unit 是 scala.AnyVal 的子类型。类型只有一个值 单位，（），它不被底层的任何对象表示 运行时系统。具有返回类型 Unit 的方法类似于 Java 声明为 void 的方法。
【讨论】：
您引用的文章可能具有误导性。 Null 类型是为了兼容 Java 虚拟机，尤其是 Java。
我们必须考虑 Scala：
null 引用以访问，例如，Java 库和代码因此，有必要为null 值定义一个类型，即Null 特征，并以null 作为其唯一实例。
Null 类型没有什么特别有用的，除非你是类型系统或者你在编译器上开发。特别是，我看不出有任何合理的理由为方法定义 Null 类型参数，因为除了 null
【讨论】：
你有 Unit / Null / Nothing 的用法吗？ 返回类型？
Unit可以这样使用：
def execute(code: => Unit):Unit = {
// do something before
code
// do something after
}
这允许您传入要执行的任意代码块。
Null 可以用作任何可以为空的值的底部类型。一个例子是这样的：
implicit def zeroNull[B >: Null] =
new Zero[B] { def apply = null }
Nothing用于None的定义
object None extends Option[Nothing]
这允许您将None 分配给任何类型的Option，因为Nothing“扩展”了所有内容。
val x:Option[String] = None
【讨论】：
如果您使用Nothing，则无需执行任何操作（包括打印控制台）
如果你做某事，使用输出类型Unit
object Run extends App {
//def sayHello(): Nothing = println("hello?")
def sayHello(): Unit = println("hello?")
sayHello()
}
...那Nothing怎么用？
trait Option[E]
case class Some[E](value: E) extends Option[E]
case object None extends Option[Nothing]
【讨论】：
Option 中的 E 必须处于协变位置：trait Option[+E] 以允许像 val x: Option[Int] = None 这样的事情
我从未真正使用过Null 类型，但您使用Unit，而在java 上您将使用void。 Nothing 是一种特殊类型，因为正如 Nathan 已经提到的，不可能有 Nothing 的实例。 Nothing 是所谓的底部类型，这意味着它是任何其他类型的子类型。这（和逆变类型参数）就是为什么您可以将任何值添加到 Nil - 这是一个 List[Nothing] - 然后列表将属于此元素类型。 None 也属于 Option[Nothing] 类型。每次尝试访问此类容器中的值都会引发异常，因为这是从 Nothing 类型的方法返回的唯一有效方式。
【讨论】：
IO[Unit] 类型，用于打印到控制台等。
Nothing 经常被隐式使用。在下面的代码中，
val b: Boolean =
if (1 > 2) false
else throw new RuntimeException("error")
else 子句的类型为 Nothing，它是 Boolean（以及任何其他 AnyVal）的子类。因此，整个赋值对编译器都是有效的，尽管 else 子句并没有真正返回任何内容。
【讨论】：
这是来自scala.predef 的Nothing 示例：
def ??? : Nothing = throw new NotImplementedError
如果您不熟悉（搜索引擎无法搜索）??? 是 Scala 的占位符函数，用于尚未实现的任何内容。就像 Kotlin 的 TODO。
您可以在创建模拟对象时使用相同的技巧：使用自定义 notUsed 方法覆盖未使用的方法。不使用??? 的好处是你不会收到你从未打算实现的东西的编译警告。
【讨论】：
就范畴论而言，Nothing是初始对象，Unit是终端对象。 p>
https://en.wikipedia.org/wiki/Initial_and_terminal_objects
初始对象也称为coterminal或universal，终端对象也称为final 。
如果一个对象既是 initial 又是 terminal，则称为 zero object 或 null 对象。
【讨论】：