Java の共変性、不変性、反変性: 違いは何ですか? なぜ気にする必要があるのですか?

反変性:
反変性は共分散の逆です。サブタイプの関係は変換中に逆転します。 A が B のサブタイプの場合、f(B) は f(A) のサブタイプになります。

例:
型変換 f(A[]) を考えてみましょう。 = B[]。 Java では、配列は共変です。つまり、A[] が B[] のサブタイプである場合、 f(A[]) = B[] も f(B[]) = B[] のサブタイプになります。

アプリケーション:
Java では共変性、不変性、反変性が重要な役割を果たします:

• 代入: 互換性のあるオブジェクトのみタイプを相互に割り当てることができます。コンパイラは、ソース型がターゲット型のサブタイプであるかどうかを確認します。
• メソッド呼び出し: メソッドを呼び出すとき、実際のパラメータは、宣言されたパラメータ型のサブタイプである必要があります。メソッドの戻り値の型は、予期される戻り値の型のスーパータイプである必要があります。
• オーバーライド: Java では、オーバーライドされたメソッドのパラメーターと戻り値の型は、元のメソッドの型と一致するか、一致する必要があります。

以上がJava の共変性、不変性、反変性: 違いは何ですか? なぜ気にする必要があるのですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。