Question

我正在移动我在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) 
    }
}

所以我现在认为我可以放置和检索不同类型的数据，并将它们用于所有类型检查好东西！

Answer 1

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

假设你做了

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

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

从那以后，它很大程度上取决于你打算用Gene做什么。您可以使用协变类型而不是Array（您可以考虑使用Vector），但这会阻止用户改变内容，如果这是您想要的。你可能在类中也有一个Array，前提是它被声明为private [this]（这也很难改变内容）。如果您希望允许客户端改变Gene的内容，则可能无法使Gene协变。

Answer 2

gene的类型需要在其类型参数中是协变的。为此，您必须选择不可变的数据结构，例如list。但您可以使用scala.collection.immutable包中的任何数据结构。

协变型T出现在不变位置

2 个答案: