主页 / 问题 / 668479
Accepted
Mikhailov Valentin
Asked:2020-05-20 21:50:42 +0800 CST2020-05-20 21:50:42 +0800 CST

为什么我们需要 Nothing、Null、Nil 和 None

  • 772

从名称来看，所有类型的意思都是一样的。在什么情况下scala应该应用：,,Nothing和，它们Null有何不同？NilNone

scala

1 个回答

  1. Best Answer

    这里写得好。我会补充一些东西，我会总结一些东西。

    Nothing类型是最低类型。这意味着具有此类型的变量绝对可以分配给任何其他类型。

    示例 1：

    def isTen(number: Int): Boolean =
  if (10 == number) true
  else throw new Exception("Number is not ten")

    true有一个类型Boolean，抛出异常有一个类型Nothing，并且由于它Nothing是类型层次结构中的继承人Boolean，所以结果是一个类型Boolean。

    示例 2：

    def genericIsTen[T](value: T): T =
  if (10 == value) value
  else throw new Exception("Generic is not ten")

    由于它Nothing 是最低类型，这意味着在类型层次结构中，任何类型的继承者都可以Boolean是泛型。

    示例 3：

    trait Box[+T]

case class Full[T](value: T) extends Box[T]
object Empty extends Box[Nothing]

def boxedIsTen(value: Int): Box[Int] =
  if (10 == value) Full(value)
  else Empty

    与上面的示例类似，具有类型的对象Box[Nothing]很容易分配给类型Box[Int]（由于协方差，即该特征具有加号）。

    推理，如您所见，Nothing当您需要一种类型被另一种类型接受时，使用类型。被另一种类型“磨损”。

    Null类型几乎是最低级的类型 。在类型层次结构中，它是所有对象的继承者，但不是所有基元的继承者。这意味着它将以与 Nothing 相同的方式为对象工作。

    isTen(null) // НЕ будет работать так как функция хочет примитив
genericIsTen((null) // будет работать
boxedIsTen(null) // НЕ будет работать так как функция хочет Int

    Nil不是类型，而是对象Nil。该对象的类型是Nil.type。一个对象Nil是两个类后代之一，List并且在 type 的空列表中使用List。好吧，既然他是List-a的继承人，那么他所有的方法他都可以使用。

    sealed abstract class List[+A] { /* ... */ }

case object Nil extends List[Nothing] { /* ... */ }
final case class ::[B]( /* ... */ ) extends List[B] { /* ... */}

def listIsTen(number: Int): List[Int] =
  if (10 == number) List(number)
  else Nil

    None也不是类型，而是对象None。该对象的类型是None.type。对象None是两个类后代之一，Option用作空变体Option。

    sealed abstract class Option[+A]

case object None extends Option[Nothing] { /* ... */ }
final case class Some[+A](x: A) extends Option[A] { /* ... */ }

def optionIsTen(number: Int): Option[Int] =
  if (10 == number) Some(number)
  else None
    • 10

相关问题