为何类泛型构造参数模式匹配失败，方法泛型参数却成功？

问题重现 #

定义一个密封特质Ev作为类型类：

sealed trait Ev[T]
case object EvInt extends Ev[Int]
case object EvStr extends Ev[String]

泛型类中的模式匹配失败 #

以下泛型类对构造参数ev的模式匹配会编译报错：

class C[T](ev: Ev[T]) {
  val id: Int = ev match {
    case EvInt => 0
    case EvStr => 1
  }
}

报错信息：

error: pattern type is incompatible with expected type;
 found   : EvInt.type
 required: Ev[T]
    case EvInt => 0

泛型方法中的模式匹配成功 #

而同名的泛型方法却能正常编译运行：

object C {
  def id[T](ev: Ev[T]): Int = {
    ev match {
      case EvInt => 0
      case EvStr => 1
    }
  }
}

可行的解决方法 #

比如将id方法移至Ev特质内部：

sealed trait Ev[T] {
  def id: Int
}

class C[T](ev: Ev[T]) { val id: Int = ev.id }

核心原因分析 #

两者的差异源于Scala对泛型类参数和泛型方法参数的类型检查逻辑不同：

1. 泛型类的类型参数是实例化时固定的
   泛型类C[T]的类型参数T在类被实例化时就确定下来，并且在类的整个作用域内保持不变。编译器无法在类的层面证明T只能是Int或String——即使Ev是密封特质，理论上仍可能存在其他Ev[T]的实现（比如后续扩展Ev[Double]）。因此当你尝试用EvInt（类型为Ev[Int]）匹配Ev[T]时，编译器无法保证T等于Int，会判定类型不兼容。

2. 泛型方法的类型参数是调用时推导的
   泛型方法id[T]的类型参数T是每次调用方法时根据传入的参数推导出来的：

   • 当传入EvInt时，T被推导为Int，此时ev的类型是Ev[Int]，匹配EvInt完全符合类型要求；
   • 当传入EvStr时，T被推导为String，ev的类型是Ev[String]，匹配EvStr也合法。
     编译器会为每个调用场景单独验证类型兼容性，因此不会出现类型不匹配的错误。

简单来说：泛型类的T是类的"全局"参数，编译器无法约束它的范围；而泛型方法的T是每次调用的"局部"参数，能精准匹配传入的Ev实例类型。

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