scala - 为什么 Option 的 orNull 方法有这个多余的隐式参数？

Question

我想知道 (implicit ev: Null <:< A1) 的原因是什么？这里:

sealed abstract class Option[+A] extends Product with Serializable { 
  def orNull[A1 >: A](implicit ev: Null <:< A1): A1 = this getOrElse null
  ...
}

不会

def orNull[A]: A = this getOrElse null

考虑到它甚至似乎不适用于像

这样的值类型，就足够了

Option(1).orNull

但是

Option(1).getOrElse(null)

有吗？

Option的source code

Answer 1

并非所有 scala 类型都可以为 null。特别是，Any 有两个子项:AnyRef 和 A​​nyVal。 AnyRef 可以处理 null 类型。 AnyVal 类型可以是 JVM 上的基元，因此不能为 null。隐含的是延迟类型检查，允许 Option[String] 使用 orNull 但不允许 Option[Int]。

注意:Int 被装箱/拆箱的对象/基元的这种二分法在 Scala 中有非常奇怪的表现，例如 null.asInstanceOf[Int] == 0//true。