コトルのコントラバナンス

Question

私は決してJavaのジェネリックスを理解していないので、コトリンの場合と思われます。私が正しくin修飾子のみによって消費されるTを示して理解していれば、

Type mismatch. 
Required: kotlin.Comparator<in T> 
Found: AnyComparator 

今

class AnyComparator: Comparator<Any> { 
    override fun compare(o1: Any, o2: Any): Int { 
     TODO("not implemented") 
    } 
} 


fun <T> test() { 
    val x: Comparator<in Double> = AnyComparator() // OK! 
    val y: Comparator<in T> = AnyComparator() // Compilation error 
} 

二割当てがエラーで失敗します。（それは不自然な例です）次のコードスニペットを考えてみましょうジェネリック型Comparator（これは反則を作ります）ですので、には、の基本クラスであるタイプ引数Eを割り当てることができます。これに基づいて、タイプAnyはKotlinのすべてのクラスの基本クラスであるため、xとyの両方の変数にAnyComparatorを割り当てることができます。私はできないことが判明し、私は理由を理解していません。

Answer 1

奇妙に見えるかもしれませんが、Anyは、すべてのkotlinクラスのスーパークラスではなく、null許容クラスではありません。すべてのKotlinクラスの実際のスーパークラスはAny?（それはAnyのスーパークラスでもあります）です。

testファンクションの汎用タイプTには上限がないため、null可能なオブジェクトAny?にすることができます。このエラーは、Comparator<Any?>が必要なときにComparator<Any>を送信できないためです。

だから、上位AnyとしてバインドTを定義するあなたの例を修正することができます：

fun <T: Any> test() { 
    //... 
}