Scala 方法类型参数化

问题描述

我正在尝试更好地理解按类型参数化的方法并拥有这段代码 -

 def inferType[T,U](x: T,y: U): Unit = y match {
    case _: T => println("T")
    case _    => println("Not T")
  }
 inferType("0",11) // call 1
 inferType(0,11)   // call 2

我本来希望调用 1 打印“Not T”，调用 2 打印“T”。但是，在这两种情况下都打印“T”。显然我在这里遗漏了一些东西。有人可以帮我解释为什么模式匹配与这里的泛型类型 T 不匹配吗？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）