共分散、不変、反変とは簡単に言うと何ですか?

共分散、不変性、反変性を簡単に理解する

共分散、不変性、反変性は、特定の条件下で型付け関係がどのように動作するかを説明する用語です。変化。プログラミングでは、これらの変換は型変換、メソッドのオーバーライド、または継承になります。

共分散

共分散とは、型のサブタイプがその型のサブタイプにもなることを意味します。変形タイプ。たとえば、クラス A がクラス B のサブタイプで、型 T を受け取り、変換された型 T'' を返す関数 f(T) がある場合、A が B のサブタイプである場合、f(A) は次のようになります。 f(B) のサブタイプでもあります。

反変性

反変性は共分散の反対です。反変では、型のサブタイプは、変換された型のスーパータイプにマップされます。上記の共分散の例からの同じ関数 f(T) が反変である場合、A が B のサブタイプであれば、f(B) は f(A) のサブタイプになります。

不変

不変性は、共分散も反変性も変換に適用されないことを意味します。つまり、サブタイプの関係は変換の影響を受けません。

例

次の例を考えてみましょう。

Java Generics

Java のジェネリックは不変です。これは、たとえば List が List