如何解决使用具有参数化类型的特征的意外模式匹配行为
我在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()
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。