Scala特质延迟初始化疑问：为何构造参数写法无空指针异常？

一、构造参数重写无异常的原因 #

先明确两种写法的差异：

普通重写的类（会报错） #

trait A {
  def variable: String
  // 初始化阶段直接执行检查逻辑
  if (variable.size > 3) println("字符串过长")
}

class B extends A {
  override def variable: String = "test"
}

// new B() → 抛出"A.variable() is null"异常

构造参数重写的类（无异常） #

class C(variable: String) extends A {
  override def variable: String = variable
}

// new C("hello") → 正常执行，输出"字符串过长"

差异核心在于Scala的初始化顺序：

• 当用构造参数重写时，类C的主构造参数是实例创建时最早完成赋值的部分，甚至早于特质A的初始化逻辑执行。所以当A里的if (variable.size >3)运行时，调用的variable方法返回的是已经初始化好的构造参数值，自然不会出现null。
• 而普通重写的B类，override def variable是一个方法，在A的初始化阶段，B的实例还未完成初始化，此时调用variable()会返回引用类型的默认值null，执行variable.size就会触发空指针异常。

二、延迟检查逻辑的几种方法 #

要避免初始化阶段的空指针，核心是让检查逻辑不在父类（特质）初始化时立即执行，而是延迟到子类实例完全初始化后再运行，常用方案有：

1. 将检查逻辑封装为lazy val #

lazy val会在第一次被调用时才初始化计算，此时子类的variable已经准备就绪：

trait A {
  def variable: String
  // 延迟到第一次访问时执行检查
  lazy val checkVariable: Unit = {
    if (variable.size > 3) println("字符串过长")
  }
}

class B extends A {
  override def variable: String = "test"
}

// 使用时主动触发检查
new B().checkVariable

2. 将检查逻辑定义为def #

方法调用本身就是延迟执行的，只有主动调用时才会执行检查逻辑：

trait A {
  def variable: String
  def checkVariable(): Unit = {
    if (variable.size > 3) println("字符串过长")
  }
}

class B extends A {
  override def variable: String = "test"
}

new B().checkVariable()

3. 早初始化（Early Initialization） #

这种写法可以让子类的成员在父类初始化前就完成定义，但语法相对繁琐，Scala新版本更推荐用lazy val替代：

// 提前初始化variable，让特质A初始化时能拿到有效值
class B extends {
  override def variable: String = "test"
} with A

new B() // 正常执行

内容的提问来源于stack exchange，提问作者worldterminator