协变类型 T 发生在不变位置

我正在 Scala 中迈出第一步，我想让以下代码起作用：

trait Gene[+T] {
    val gene: Array[T]
}

编译器给出的错误是：covariant type T occurs in invariant position in type => Array[T] of value gene

我知道我可以做这样的事情：

trait Gene[+T] {
    def gene[U >: T]: Array[U]
}

但这并不能解决问题，因为我需要一个值：实际上我想说的是“我不关心内部类型，我知道基因将有一个返回其内容的基因字段”。 （这里的+T是因为我想做类似的事情type Genome = Array[Gene[Any]]然后将其用作单基因类的包装器，这样我就可以拥有异构数组类型） 是否可以在 Scala 中做到这一点，或者我只是采取了错误的方法？使用不同的结构（例如 Scala 原生协变类）会更好吗？

提前致谢！

P.S.：我也尝试过使用类和抽象类而不是特征，但结果总是相同！

编辑：根据 Didier Dupont 的善意建议，我得到了这段代码：

package object ga {


  class Gene[+T](val gene: Vector[T]){

    def apply(idx: Int) = gene(idx)

    override def toString() = gene.toString

  }

  implicit def toGene[T](a: Vector[T]) = new Gene(a)

  type Genome = Array[Gene[Any]]

}

package test

import ga._

object Test {
    def main(args: Array[String]) {
        val g = Vector(1, 3, 4)

        val g2 = Vector("a", "b")

        val genome1: Genome = Array(g, g2)

        println("Genome")

        for(gene <- genome1) println(gene.gene) 
    }
}

所以我现在认为我可以放置和检索不同类型的数据，并将它们与所有类型检查功能一起使用！

数组是不变的，因为你可以在其中写入。

假设你这样做

val typed = new Gene[String]
val untyped : Gene[Any] = typed // covariance would allow that
untyped.gene(0) = new Date(...)

这会崩溃（实例中的数组是 Array[String] 并且不接受日期）。这就是编译器阻止这种情况的原因。

从那里开始，这在很大程度上取决于你打算对吉恩做什么。您可以使用协变类型而不是Array（你可以考虑Vector），但这将阻止用户更改内容（如果这是您的意图）。类中也可以有一个数组，只要它已声明private [this]（这也将使得改变内容变得非常困难）。如果您希望允许客户端改变基因的内容，则可能无法使基因变得协变。