Declaration-Site Varianceを使用する理由

Question

これはKotlin特有の問題ではありませんが、なぜ宣言サイトの分散（共変および反変）を使用するのかを理解したいと思います。私はそれらを使用する方法を理解しているだけで、私は多くの利点を見ないか、場合によっては別のものを選択しなければならず、なぜ私はUse-site分散をいつも使用したくないのですか？

Answer 1

宣言サイトでは、クリエイターが最初に作成されたときにクリエイターがすでに決定した場合、分散について考える必要がないため、クライアントはジェネリックタイプのクラスを簡単に使用できます。このようなジェネリッククラスを扱う場合、コンパイラは可能な分散について確かめることができます。

//declaration-site 
abstract class ReadableList<out T> { 
    abstract fun get(): T 
} 

fun workWithReadableList(strings: ReadableList<String>) { 
    val objects: ReadableList<Any> = strings // This is OK, since T is an out-parameter, ReadableList is covariant in its type T 
    // ... 
} 

冗長な使用サイトのJava構文を見てください。多くの人々はsuperとextendsの違い、またはどのような差異があるかを知りません。 Kotlinのキーワードinとoutは少し説明的で、他の言語でも使用されています。