这是在 Scala 中初始化空引用的正确方法吗？

Question

假设我有一个未初始化的 MyObject 实例：

var a:MyObject = null

这是将其初始化为 null 的正确方法吗？

Answer 1

替代方案

使用 null 作为最后的手段。正如已经提到的，Option 取代了 null 的大部分用法。如果您使用 null 来实现字段的延迟初始化并进行一些昂贵的计算，则应该使用 lazy val。

规范初始化为 null

也就是说，Scala 确实支持 null。我个人将它与 Spring 依赖注入结合使用。

您的代码完全有效。不过，我建议您使用 var t: T = _ 将 t 初始化为其默认值。如果 T 是原语，您将获得特定于该类型的默认值。否则你会得到null。

这不仅更简洁，而且当您事先不知道 T 是什么时，这是必要的：

scala> class A[T] { var t: T = _ }
defined class A

scala> new A[String].t
res0: String = null

scala> new A[Object].t            
res1: java.lang.Object = null

scala> new A[Int].t   
res2: Int = 0

scala> new A[Byte].t
res3: Byte = 0

scala> new A[Boolean].t
res4: Boolean = false

scala> new A[Any].t   
res5: Any = null

高级

使用 var t: T= null 是一个编译错误如果 T 是无界的：

scala> class A[T] { var t: T = null }
<console>:5: error: type mismatch;
 found   : Null(null)
 required: T
       class A[T] { var t: T = null }

您可以添加一个隐式参数作为 T 可为空的证据 - AnyRef 的子类型而不是 NotNull 的子类型不完全

scala> class A[T](implicit ev: Null <:< T) { var t: T = null }           
defined class A

Answer 2

规范的答案是不要使用 null。相反，请使用选项类型：

var a = None : Option[MyObject]

当您想要设置它时：

a = Some(foo)

当您想要从中读取内容时，测试 None：

a match {
  case None => Console.println("not here")
  case Some(value) => Console.println("got: "+value)
}

Answer 3

正如 David 和 Retronym 已经提到的，在大多数情况下使用 Option 是个好主意，因为 Option 使您更明显地必须处理无结果的情况。但是，返回 Some(x) 需要创建对象，并且调用 .get 或 .getOrElse 可能比 if 语句更昂贵。因此，在高性能代码中，使用 Option 并不总是最好的策略（特别是在集合查找代码中，您可能会多次查找某个值，并且不希望相应地创建很多对象） 。话又说回来，如果您正在执行类似返回整个网页（可能不存在）的文本之类的操作，则没有理由不使用Option。

另外，只是为了用 null 来补充一下关于泛型的反义词，如果你真的意味着它应该是 null ，你可以以一种完全成熟的方式来做到这一点：

class A[T >: Null] { var t: T = null }

这适用于2.7 和 2.8。它比 <:< 方法不太通用，因为它不遵守 NotNull AFAIK，但它在其他方面完全按照您希望的方式执行。

Answer 4

我遇到了这个问题，因为 scalastyle 告诉我在使用 null 初始化测试中的对象时不要使用 null。

我的解决方案无需更改任何满足 scalastyle 的类型：

var a: MyObject = (None: Option[MyObject]).orNull