使用具有参数化类型的特征的意外模式匹配行为

问题描述

我在scala 2.12.9中看到以下行为：

case class A()
case class B()

trait X {
  type T

  def handle: PartialFunction[Any,Unit] = {
    case in: T =>
      println(s"is a T,$in")
    case m =>
      print(s"not a T,$m")
  }

}

class X1 extends X {
  override type T = A
}


object Cast extends App {
  val x1 = new X1()
  x1.handle(B())
}

输出为是一个T，B（）。我希望它不是“ T”，因为我已经将X的类型参数重写为A。我缺少什么？

更新： 我不知道类型成员（不仅仅是类型参数）也会受到类型擦除的影响。谢谢你们！ @DmytroMitin的答案解决方法可以正常工作。

解决方法

这是因为类型擦除。

在编译过程中会有警告

abstract type pattern X.this.T is unchecked since it is eliminated by erasure

尝试

import shapeless.TypeCase

trait X {
  type T

  val OfTypeT: TypeCase[T] // abstract val,not def

  def handle: PartialFunction[Any,Unit] = {
    case OfTypeT(in) =>
      println(s"is a T,$in")
    case m =>
      print(s"not a T,$m")
  }    
}

class X1 extends X {
  override type T = A
  override val OfTypeT = TypeCase[A]
}

val x1 = new X1()
x1.handle(B()) // not a T,B()

请参见在Scala中模式匹配通用类型的方法 https://gist.github.com/jkpl/5279ee05cca8cc1ec452fc26ace5b68b（博客文章的另一副本：http://web.archive.org/web/20171013214913/http://www.cakesolutions.net/teamblogs/ways-to-pattern-match-generic-types-in-scala）

如果T是类型参数而不是类型成员，我们可以使用上下文绑定代替覆盖

import shapeless.{TypeCase,Typeable}

abstract class X[T: Typeable] {
  private val OfTypeT = TypeCase[T]

  def handle: PartialFunction[Any,$m")
  }
}

class X1 extends X[A]

val x1 = new X1()
x1.handle(B()) // not a T,B()

或者我们可以使用TypeTag

import scala.reflect.runtime.universe.{TypeTag,typeOf,Type}

def getType[T: TypeTag](t: T): Type = typeOf[T]

abstract class X[T: TypeTag] {
  def handle: PartialFunction[Any,Unit] = {
    case in if typeOf[T] =:= getType(in) =>
      println(s"is a T,B()

或ClassTag

import scala.reflect.ClassTag

abstract class X[T: ClassTag] {
  def handle: PartialFunction[Any,Unit] = {
    case in: T =>
      println(s"is a T,B()