为什么scala不能推断Left [X,A]是[X,B]的合理子类型？

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

导读：为什么这段代码没有打字？ def foo: Either[String,List[Int]] = { val x = null: Either[String,String] x match { case l @ Left(_) = l case Right(_) = Right(List(3)) }} 具体来说,为什么编译器不能/不能将左[A,X]和[A,B]的类型都归结为？这发生在scal

为什么这段代码没有打字？

def foo: Either[String,List[Int]] = {  
  val x = null: Either[String,String]

  x match {
    case l @ Left(_) => l
    case Right(_) => Right(List(3))
  }
}

具体来说,为什么编译器不能/不能将左[A,X]和[A,B]的类型都归结为？

这发生在scala 2.8.2和scala 2.9.2中

解决方法

这里有一个真正的冲突：

Left[String,String] <: Either[String,List[Int]]

不是真的.左侧和右侧参数都输入左侧,即使两者之间没有实际差异(因此铸造也是安全的),这不是您告诉编译器的内容.所以,当然,它会抱怨.

模式匹配中的类型推断还有其他缺点,但这不是其中之一.

编辑：可以想象一个替代的单参数化Left实现

Left[String] <: Either[String,Nothing] <: Either[String,List[Int]]

哪会丢掉类型信息.像swap这样的方法可以使用,但它允许OP给出的模式.但是,在Scala的标准实现中使用了类型保留形式.

（编辑：李大同）

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