Scala 3开启-Ysafe-init和-Yexplicit-nulls未报类不安全空初始化问题

问题根因 #

你的代码能正常运行是两个已知的特性设计和版本差异导致的：

• 通配符初始化的迁移兼容逻辑
  Scala 3的-Yexplicit-nulls为了降低Scala 2代码的迁移成本，对_通配符初始化引用类型的场景做了特殊兼容：允许将null赋值给非nullable的引用类型字段，不会在类型检查阶段直接拦截报错。
• 低版本Scala 3的检查逻辑不完备
  你使用的Scala 3.0.2是早期发布版本，-Yexplicit-nulls和-Ysafe-init的检查逻辑还未迭代完善，无法识别你代码中未显式赋值的字段存在null风险。

触发预期报错的调整方法 #

你可以通过以下两种方式复现官方文档描述的拦截效果：

1. 替换通配符初始化逻辑，直接显式赋值null测试：把var s: String = _修改为var s: String = null，此时编译器会直接抛出类型不匹配错误，提示Null类型的值不能赋值给非nullable的String类型，要求你将字段类型修改为String | Null。
2. 升级Scala版本到3.3.x LTS及以上，配合完整的编译参数：

scalacOptions ++= Seq(
  "-Yexplicit-nulls",
  "-Ysafe-init",
  "-Xfatal-warnings",
  "-Xsource:3.3"
)

新版本的编译器会检测到s字段未显式初始化就被访问，直接抛出编译错误。

注意事项 #

-Yexplicit-nulls目前仍是实验性特性，不同小版本的实现逻辑差异较大，生产环境使用前建议做完整的兼容性测试。

内容的提问来源于stack exchange，提问作者Chris W.