Scala 2/3中包对象与顶层变量的构造时机判定问题

我做了一组实验，发现Scala里包对象的构造时机存在不一致行为：原本期望两个包对象都会在首次使用其关联的case class时完成构造，但只有继承特质的那个包对象符合预期。以下是实验细节：

基础代码：特质与计数单例 #

trait Foundation {
  import Foundation.*

  // 初始化块：访问计数器自增
  {
    initialisationCounter.incrementAndGet()
  }

  case class Top1()
}

object Foundation {
  lazy val initialisationCounter = new AtomicInteger()
}

两个测试用的包对象 #

在pkg1包下，包对象继承上述特质：

package object pkg1 extends Foundation {}

在pkg2包下，包对象包含独立的初始化块和case class：

package object pkg2 {
  {
    initialisationCounter.incrementAndGet()
  }

  case class Top1() {}
}

Scalatest测试代码 #

class PackageObjInit extends SparkEnvSpec {
  it("继承特质的包对象") {
    Foundation.initialisationCounter.set(0)
    val top = pkg1.Top1()
    assert(Foundation.initialisationCounter.intValue() == 1) // 测试通过
  }

  it("独立定义的包对象") {
    Foundation.initialisationCounter.set(0)
    val top = pkg2.Top1()
    assert(Foundation.initialisationCounter.intValue() == 1) // 测试失败，计数器仍为0
  }
}

原因：这是有意设计而非缺陷 #

这个不一致是Scala编译器的有意实现，核心是Scala对「包级类」和「包对象成员」的加载逻辑做了明确区分：

• 对于pkg2.Top1：这个case class本质是包级独立类（字节码层面属于pkg2包，和pkg2包对象是两个独立的字节码文件）。访问包级类不会触发包对象的初始化，因为包对象的初始化仅在访问它的直接成员（比如方法、val/var、继承来的成员）时才会触发。
• 对于pkg1.Top1：这个case class来自Foundation特质，而pkg1包对象继承了该特质。此时Top1会被视为包对象的继承成员，访问它必须先初始化包对象（特质的初始化逻辑属于包对象初始化流程的一部分），因此触发了初始化块的执行。

统一判定构造时机的规则 #

可以通过以下规则准确判断包对象和顶层变量的初始化时机：

• 包对象初始化：仅在首次访问包对象的直接成员（包括自身定义的方法/变量、继承自特质的成员、包对象内部的嵌套类）时触发。单纯访问包下的独立类（哪怕代码写在包对象块里）不会触发初始化。
• 顶层变量（包级val/var）：
  • Scala 2中：顶层变量会在首次访问该变量，或访问所在包的任意成员时初始化；
  • Scala 3中：默认是懒加载，仅在首次访问该变量时初始化，可通过inline或lazy关键字调整行为。
• 强制统一初始化的技巧：如果需要包对象在包内任意类被访问时就初始化，可以把类定义为包对象的嵌套类，或者在类的构造函数里显式引用包对象的某个成员（比如pkg2.package），强制触发包对象初始化。

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