共変タイプTは、私がScalaで私の最初のステップを移動していると私は、次のコードが動作したいと思い不変位置

Question

で発生covariant type T occurs in invariant position in type => Array[T] of value gene

私はのような何か行うことができます知っている：

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

を私は値を必要とするので、これは問題を解決していません：pratically私が言うことをしようとしていることは、私はインの気にしない」であります私が知っているのは、遺伝子は、その内容を返す遺伝子フィールドを持つことを知っています」。 （ここで+ Tはtype Genome = Array[Gene[Any]]のようなことをしてから、単一の遺伝子クラスに対するラッパーとして使用するので、異種配列タイプを持つことができます） Scalaでそれを行うことは可能ですか？間違ったアプローチ？ Scalaネイティブ共変量クラスのような、別の構造を使用する方が良いでしょうか？

ありがとうございます！

P.S.私はまた、特性ではなくクラスと抽象クラスを試しましたが、常に同じ結果が得られました。

編集：だから私は今、私は入れて検索したデータをさまざまなタイプで、すべてのタイプでそれらを使用することができると思う

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

あなたが書き込むことができるので、配列は不変です。

あなたは

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

これは（あなたのインスタンス内の配列は配列[文字列]で、日付を受け付けません）クラッシュするんとします。コンパイラがそれを防止する理由は何か。

そこから、それはあなたがジーンでやろうとしていることに非常に依存します。 Array（おそらくVectorと考えるかもしれません）の代わりに共変型を使うことができますが、意図した通りであれば、コンテンツの変異を防ぐことができます。 private [this]が宣言されていれば、クラス内に配列を持つこともできます（これにより、コンテンツの変更も非常に困難になります）。クライアントが遺伝子の内容を突然変異させることができるようにするには、おそらくGene共変を作ることはできません。

Answer 2

geneのタイプは、タイプパラメータで共変である必要があります。これを可能にするには、例えばリストなどの不変のデータ構造を選択する必要があります。しかし、scala.collection.immutableパッケージのデータ構造を使用することはできます。