Scala联合类型模式匹配无法自动排除已匹配分支类型的原因

这个行为是Scala 3类型系统的明确设计，并非类型推断能力不足，核心原因可以归纳为三点：

• 不同模式的类型绑定规则有明确边界：case y =>属于无约束变量绑定模式，这类模式的默认行为是将待匹配值的静态类型直接绑定给变量y，不会主动结合前置分支的匹配排除结果做类型收窄。只有带显式类型声明的Typed Pattern（比如case y: String =>）、构造器模式、字面量模式，才会触发分支内的类型收窄逻辑。
• 穷尽性检查与分支类型推断是独立的编译流程：你观察到的“加类型标注后无未匹配告警”，是穷尽检查模块的输出——该模块确实会遍历联合类型的所有成员，判定(a, _)这个元组构造器模式已经100%覆盖(String, String)分支，剩余的String分支可被y: String完全覆盖。但分支内变量的类型推断由Typer模块负责，该模块默认不会直接复用穷尽检查模块计算出的“剩余类型”给无约束变量绑定。
• 保守设计避免隐式类型变更：如果默认给无约束的兜底分支自动应用剩余联合类型，当后续给联合类型新增成员时（比如给OneOrTwo增加Int分支），兜底分支的变量类型会自动变化，可能触发远离修改点的编译错误，排查成本极高。要求显式写类型标注的情况下，联合类型新增成员时编译器会直接在匹配语句处报非穷尽匹配错误，错误位置精准，符合Scala偏好显式声明、减少隐式行为的设计原则。

问题复现与正确写法 #

编译失败的写法 #

type OneOrTwo = String | (String, String)

def getFirst(x: OneOrTwo): String =
  x match {
    case (a, _) => a
    case y => y // 编译错误：y类型为OneOrTwo，不符合String返回要求
  }

可正常编译的写法 #

type OneOrTwo = String | (String, String)

def getFirst(x: OneOrTwo): String =
  x match {
    case (a, _) => a
    case y: String => y // 编译通过，无未穷尽匹配警告
  }

注意：这里的显式类型标注不是给编译器补充未知信息——编译器通过穷尽检查已经确认元组分支被完全覆盖后，剩余值必然是String。这个标注的作用是明确告知Typer模块，需要将当前分支的变量收窄到指定类型，编译器同时会校验这个收窄是否安全，不会产生运行时匹配错误。

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