Scala中有问题的方差组合

Question

以下是Scala course on Coursera:，讲座4.4

的示例

class Array[+T] {
  def update(x: T) = ???
}

这会导致repl：

出错

error: covariant type T occurs in contravariant position in type T of value x

在幻灯片上，马丁说这是一个“有问题的组合”。为什么这样？

Answer 1

这在＆＃34; Variance和数组＆＃34; http://www.artima.com/pins1ed/type-parameterization.html的一部分（来自Odersky，Venners和Spoon的 Scala编程）。