Scala存在 – 类型不匹配,无法推断T =：= T.

发布时间：2020-12-16 09:51:27 所属栏目：安全来源：网络整理

导读：在 Scala中使用存在类型时,编译器似乎将存在主体的每个用法推断为不同的类型参数,即使它们实际上是相同的. 对于一个简单的人为例子 – 给出以下代码 class Box[T](value:T){ def get:T = value def contains(check:T):Boolean = value == check} 我可以做以

在 Scala中使用存在类型时,编译器似乎将存在主体的每个用法推断为不同的类型参数,即使它们实际上是相同的.

对于一个简单的人为例子 – 给出以下代码

class Box[T](value:T){
  def get:T = value
  def contains(check:T):Boolean = value == check
}

我可以做以下事情

val b1 = new Box(1)
b1.contains(b1.get)

但是当使用存在类型时……

val b2 : Box[_] = new Box(1)
 b2.contains(b2.get)

我收到以下错误(在scala 2.11.7中

[error] /private/tmp/exttest/test.scala:53: type mismatch;
[error]  found   : (some other)_$6(in value b2)
[error]  required: _$6(in value b2)
[error]   b2.contains(b2.get)

我的假设是编译器会理解在两种情况下都使用相同的类型参数_ $6,但是它似乎失去了跟踪并将它们视为单独的类型.

我是否从根本上误解了存在类型的某些内容,或者这是Scala编译器中的错误 – 如果是这样,是否有最佳实践可以解决它？

解决方法

另一个解决方案是使用类型变量模式为通配符命名,并帮助Scala找出它们是相同的：

val b2 : Box[_] = new Box(1)
b2 match {
  case b: Box[a] => b.contains(b.get)
}

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!