Scala中为何collect模式匹配无法窄化特定子类类型？

先明确我们的类型定义：

sealed trait AB 
case class A(a: Int) extends AB 
case class B(b: Int) extends AB

你遇到的这个问题其实是Scala类型推断在模式匹配中的一个常见细节差异，咱们来拆解一下两种场景的区别：

第一种场景：拆分重组元组 #

你写的这段代码能正常编译：

scala> Seq.empty[(Int, AB)].collect { case (id, a @ A(_)) => (id, a) } : Seq[(Int, A)]
res6: Seq[(Int, ab.A)] = List()

这里的关键是a @ A(_)这个模式——它把元组的第二个元素明确绑定为A类型的实例，编译器能清晰地知道a的静态类型是A。当你用(id, a)重新组装元组时，这个新元组的类型就是(Int, A)，所以整个collect的返回类型自然匹配Seq[(Int, A)]，编译器完全认可。

第二种场景：直接返回匹配的元组 #

而这段代码却报类型不匹配：

scala> Seq.empty[(Int, AB)].collect { case x @ (_, A(_)) => x } : Seq[(Int, A)]

错误信息如下：

<console>:27: error: type mismatch;
 found   : Seq[(Int, ab.AB)]
 required: Seq[(Int, ab.A)]
Seq.empty[(Int, AB)].collect { case x @ (_, A(_)) => x } : Seq[(Int, A)]

问题出在x的类型推断上：原始集合的元素类型是(Int, AB)，当你用x @ (_, A(_))绑定整个元组时，编译器不会自动把x的静态类型细化为(Int, A)。虽然模式匹配确保了运行时元组的第二个元素是A，但静态类型系统里x还是继承自原始集合的(Int, AB)类型——毕竟你只是绑定了原始元组的引用，没有重新构建一个新的、类型更具体的元组。

解决第二种场景的方法 #

如果想让第二种写法也能通过编译，你可以在模式里明确指定元组的类型，帮编译器缩小范围：

Seq.empty[(Int, AB)].collect { case x @ (_: Int, _: A) => x } : Seq[(Int, A)]

或者显式提取并标注类型：

Seq.empty[(Int, AB)].collect { case x @ (id, a: A) => x } : Seq[(Int, A)]

这样编译器就能正确推断出x的类型是(Int, A)，和你要求的返回类型匹配了。

内容的提问来源于stack exchange，提问作者Alper t. Turker