Scala 3 联合类型上的TypeTest无法正确完成穷尽匹配问题求助

问题原因 #

Scala 3的编译期穷尽性检查目前无法通过用户自定义的TypeTest实例推导T | F联合类型的匹配覆盖度。TypeTest仅为运行时类型校验提供支持，不会被纳入静态穷尽性分析的判断依据，因此即使逻辑上匹配完全覆盖，编译器依然会抛出不穷尽警告。

解决方案 #

方案1：最小改动消警告（保留原有代码结构） #

在所有对T | F类型做模式匹配的位置，给匹配变量添加@unchecked注解，显式告知编译器无需做穷尽性检查，原有逻辑完全不需要修改：

final def not(value: T | F): T | F =
  (value: @unchecked) match
    case _: T => fls
    case _: F => tru

final def and(lhs: => T | F, rhs: => T | F): T | F =
  (lhs: @unchecked) match
    case _: T => rhs
    case _: F => fls

// 其余or方法、扩展方法中的匹配都按同样方式添加@unchecked即可

该方案对原有代码侵入性极低，适合已经验证过匹配逻辑完全正确的场景。

方案2：使用密封层级彻底解决警告（更规范的类型安全实现） #

将归一化后的结果类型改为密封特质（sealed trait）的子类型，Scala 3编译器天然支持密封层级的穷尽性检查，不需要依赖TypeTest即可自动识别匹配的覆盖度：
修改后的类型类核心代码示例：

trait BooleanAlgebra[A] {
  final type N = A
  // 定义密封的归一化结果层级
  sealed trait Norm
  case class Tru(value: A) extends Norm
  case class Fls(value: A) extends Norm

  val tru: Tru
  val fls: Fls

  def normalize(value: N): Norm

  // 无需TypeTest，也不会有穷尽性警告
  final def not(value: Norm): Norm = value match
    case _: Tru => fls
    case _: Fls => tru

  final def and(lhs: => Norm, rhs: => Norm): Norm = lhs match
    case _: Tru => rhs
    case _: Fls => fls

  final def or(lhs: => Norm, rhs: => Norm): Norm = lhs match
    case _: Tru => tru
    case _: Fls => rhs

  extension (lhs: => Norm) {
    final def unary_! : Norm = not(lhs)
    final def |(rhs: => Norm): Norm = or(lhs, rhs)
    final def &(rhs: => Norm): Norm = and(lhs, rhs)
  }
}

对应的Int实现示例：

given BooleanAlgebra[Int] with {
  val tru = Tru(1)
  val fls = Fls(0)

  def normalize(value: Int) =
    if value > 0 then tru else fls
}

该方案从类型层面保证了匹配的穷尽性，完全消除警告的同时也提升了代码的类型安全性，适合长期维护的项目使用。

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