Scala 2.12.8：参数化类内参数化类型模式匹配报错及解决

错误原因 #

在单例对象ThisIsOk中，apply方法的类型参数T是方法级的——当传入TypeEvidence.DoubleType时，编译器能通过模式匹配分支直接推断出T就是Double，因此Some(123.456)（类型为Option[Double]）可以安全向上转型为Option[T]。

但在参数化类ThisFails[T]中，T是类级的固定类型参数：类实例化时T就已确定（比如new ThisFails[String]），编译器无法保证传入的ev: TypeEvidence[T]一定是DoubleType或LongType——它可能和当前T完全不匹配，因此直接匹配DoubleType会触发类型不兼容错误，编译器无法证明TypeEvidence.DoubleType（即TypeEvidence[Double]）与TypeEvidence[T]兼容。

可行解决办法 #

方法1：将类型参数从类移到方法上 #

移除类的类型参数，让apply方法自身携带类型参数，和单例对象的逻辑保持一致：

class ThisWorks {
  def apply[T](ev: TypeEvidence[T]): Option[T] = {
    ev match {
      case TypeEvidence.DoubleType => Some(123.456)
      case TypeEvidence.LongType => Some(1234L)
      case _ => None
    }
  }
}

方法2：使用类型约束+安全类型转换 #

如果必须保留类级类型参数，可通过类型等式约束配合asInstanceOf，明确告诉编译器分支的类型安全性：

class ThisFailsFixed[T] {
  def apply(ev: TypeEvidence[T]): Option[T] = {
    ev match {
      case TypeEvidence.DoubleType if implicitly[T =:= Double] => Some(123.456.asInstanceOf[T])
      case TypeEvidence.LongType if implicitly[T =:= Long] => Some(1234L.asInstanceOf[T])
      case _ => None
    }
  }
}

这里的T =:= Double是类型等式约束，确保进入该分支时T确实是Double，此时的asInstanceOf[T]是安全的类型转换。

方法3：提取匹配逻辑到泛型辅助方法 #

把匹配逻辑放到泛型辅助方法中，利用方法级泛型的类型推导能力完成类型匹配：

class ThisFailsFixed2[T] {
  private def handleEvidence[U](ev: TypeEvidence[U]): Option[U] = ev match {
    case TypeEvidence.DoubleType => Some(123.456)
    case TypeEvidence.LongType => Some(1234L)
    case _ => None
  }

  def apply(ev: TypeEvidence[T]): Option[T] = handleEvidence(ev)
}

这种方式将类级的T委托给辅助方法的U，让编译器自动完成类型绑定与推断。

补充说明 #

原代码中TypeEvidence的协变特性（+T）无法解决核心矛盾——问题本质是类级T的固定性，与模式匹配分支中具体类型证据的动态性之间的冲突。解决关键是让类型参数的推断能和模式匹配分支绑定，或通过约束证明类型兼容性。

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