scala的convariant(协变)和contravariant（逆变）

最新推荐文章于 2024-07-23 20:14:10 发布

weixin_34163741

最新推荐文章于 2024-07-23 20:14:10 发布

阅读量204

点赞数

文章标签： scala python

原文链接：https://my.oschina.net/u/2963604/blog/2251876

版权

2019独角兽企业重金招聘Python工程师标准>>>

class Cell[T](init:T){
  private[this] var current = init
  def get = current
  def set(x:T) = current = x
}
object ConvariantTest {
  def main(args: Array[String]): Unit = {
    val c1 = new Cell("abc")
    val c2:Cell[Any] = c1 //提示有错误
    c2.set(1)

  }
}

在语句val c2:Cell[Any] = c1这一句中出现错误：

Error:(9, 24) type mismatch;
 found   : Cell[String]
 required: Cell[Any]
Note: String <: Any, but class Cell is invariant in type T.
You may wish to define T as +T instead. (SLS 4.5)
    val c2:Cell[Any] = c1

在网页 http://www.cnblogs.com/fxjwind/p/3480462.html 中还有些其它介绍。

转载于:https://my.oschina.net/u/2963604/blog/2251876