Scala 3能否在trait中实现强制不变量校验？

Scala 3 中 trait 完全可以实现不变量强制校验，不需要依赖抽象类。这类约束的实现限制本质来自JVM平台的类初始化顺序规则，即便使用抽象类也会遇到相同的坑，和trait本身的能力无关。

原有代码的问题修正 #

你给出的示例trait存在一个递归赋值的错误：

trait Chargeable(capacity: Double) {
    val capacity = capacity // 这行是递归定义，最终capacity会被初始化为Double默认值0.0，拿不到传入的构造参数
    val charge: Double
}

Scala 3的trait支持直接在主构造参数前加val/var关键字，将参数直接作为类的公开成员，不需要重复赋值：

trait Chargeable(val capacity: Double) // 直接声明为val即可对外暴露capacity

最优实现方式（构造时直接触发校验） #

你只需要把需要校验的charge字段也作为trait的主构造参数，让子类在继承时直接传入实际值，就可以在trait内直接写校验逻辑，和抽象类的写法、效果完全一致，构造非法参数时会立刻抛出异常：

trait Chargeable(val capacity: Double, val charge: Double):
  // 不变量校验直接写在trait初始化块中
  require(charge >= 0, s"电量不能为负数，当前传入值: $charge")
  require(charge <= capacity, s"电量$charge 超过额定容量$capacity，不允许创建实例")

// 子类实现时，只需要在继承时将自身的charge参数传给父trait即可
final case class BigBattery(override val charge: Double) extends Chargeable(capacity = 9000, charge = charge)

测试效果完全符合你的预期：

@main def demo(): Unit =
  val normalBattery = BigBattery(8500) // 正常创建实例，无异常
  println(normalBattery.capacity) // 输出9000.0
  println(normalBattery.charge) // 输出8500.0
  BigBattery(9001) // 构造时直接抛出IllegalArgumentException: 电量9001.0 超过额定容量9000.0，不允许创建实例

实现原理 #

这种写法不会碰到初始化顺序问题：父trait的charge参数直接接收子类主构造器传入的实际值，不是读取子类未初始化的成员变量，因此执行require校验时拿到的就是真实入参，不会出现读到默认值导致校验失效的问题。

特殊场景：抽象成员的不变量实现 #

如果你因为设计原因，不想把charge作为trait的构造参数，而是要作为抽象成员让子类实现，可以用lazy val懒加载特性，把校验逻辑延后到所有成员初始化完成后执行，规避初始化顺序问题：

trait Chargeable(val capacity: Double):
  val charge: Double // 抽象成员，由子类实现
  // 懒加载校验逻辑，第一次访问时所有子类成员已经完成初始化
  final private lazy val invariantCheck =
    require(charge >= 0, "电量不能为负数")
    require(charge <= capacity, s"电量$charge 超过额定容量$capacity")
  // 可选：提供一个公开方法手动触发校验，或者在业务逻辑访问charge前自动触发

注意这种方式默认会在第一次访问invariantCheck时才触发校验，如果需要构造时就抛出异常，可以在子类主构造器的最后手动调用invariantCheck。

注意事项 #

不管使用trait还是抽象类，只要父类型的校验逻辑直接读取子类实现的抽象val成员，都会因为子类成员尚未初始化读到JVM默认值（比如Double的0.0、引用类型的null），导致校验失效，这是JVM初始化顺序的通用规则，不是trait独有的问题。

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