![](/img/trans.png)
[英]covariant type A occurs in contravariant position in type A of value a
[英]covariant type E occurs in contravariant position in type A => returnerror.Error[E,B] of value f
我有这个定义:
sealed trait Error[+E, +A] {
final def map[B](f: A => B): Error[E, B] = {
this match {
case Ok(a) => Ok(f(a))
case Fail(e) => Fail(e)
}
}
final def flatMap[B](f: A => Error[E, B]): Error[E, B] = {
this match {
case Ok(a) => f(a)
case Fail(e) => Fail(e)
}
}
}
object Error {
final case class Ok[A](a: A) extends Error[Nothing, A]
final case class Fail[E](e: E) extends Error[E, Nothing]
}
这不会与以下错误一起编译:
Error.scala:12: covariant type E occurs in contravariant position in type A => returnerror.Error[E,B] of value f
final def flatMap[B](f: A => Error[E, B]): Error[E, B] = {
^
one error found
我不明白为什么。 您能否解释一下为什么不编译? 谢谢
为了简化阅读,我将稍微简化一下示例。
假设您具有这样的trait
并假设这样的声明是合法的:
trait Error[+E] {
def someMethod (f: String => Error[E]) // actually illegal
}
和实现
class ErrorString extends Error[String] {
def someMethod (f: String => Error[String]) = {
val someVar: Error[String] = f("Somestring")
}
}
class ErrorInt extends Error[Int] {
...
}
由于E
是协变的,我们可以将Error[String]
视为Error[Any]
子类型,因此我们可以写下面的代码
val anyError: Error[Any] = new ErrorString()
然后将String => Error[Int]
函数作为参数传递给someMethod
val intErrorReturnFunction: String => Error[Any] = (k) => new ErrorInt
anyError.someMethod(intErrorReturnFunction) // actually illegal
但是由于anyError
在后台仍然具有类型Error[String]
,这意味着我们试图将String => Error[Int]
函数传递给具有String => Error[String]
参数的方法。
所以最后我们会有这样的事情
val someVar: Error[String] = f("Somestring"):Error[Int]
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.