Java 関数ジェネリックの互換性ルール

Java 関数ジェネリックの互換性ルールにより、型の安全性が保証されます。ルールには、同じ型パラメータのリスト、同じ型パラメータの範囲、反変型および共変型パラメータが含まれます。たとえば、9e828ca004921c559f1a0411055a01907e3f95175fc72649f7afad09c40191bd>(反変)は互換性があり、f7e83be87db5cd2d9a8a0b8117b38cd4はa87fdacec66f0909fc0757c19f2d2b1dと互換性があります。

Java 関数ジェネリックの互換性ルール

Java ジェネリック関数を使用すると、タイプセーフな方法でコードを作成できますが、そうではありません。正しい互換性ルールに従わないと、コンパイル時エラーが発生する可能性があります。そういったトラブルを避けるためのルールを整理してみましょう。

ルール 1: 型パラメータ リストは同じである

同じパラメータ リストを持つ関数型のみが互換性があります。そのため、次の例ではエラーが発生します。

public <T> void func1(T v) {}
public <U> void func2(U v) {}

ルール 2: 型パラメーターは同じ境界を持つ

境界は、ジェネリック型の許可される値を定義します。関数が同じ型のパラメーターに対して異なる境界を持つ場合、関数には互換性がありません。例:

public <T extends Comparable<T>> void func1(T v) {}
public <T extends Number> void func2(T v) {}

ルール 3: 反変および共変の型パラメーター

• 反変: サブクラス型 T がスーパークラス型 S を置き換えることができる場合、&lt ;T> は <s></s> と型互換性があります。たとえば、9e828ca004921c559f1a0411055a0190> は、7e3f95175fc72649f7afad09c40191bd> と互換性があります。
• 共分散: スーパークラス型 T がサブクラス型 S を置き換えることができる場合、1eefd63bbe027a2807ccada294a3372c 型は 8742468051c85b06f0a0af9e3e506b5c と互換性があります。たとえば、f7e83be87db5cd2d9a8a0b8117b38cd4 は a87fdacec66f0909fc0757c19f2d2b1d と互換性があります。

実際的なケース

次のコードを考えてみましょう:

public <T extends Animal> void func1(T t) {
    // 代码...
}

public void func2(Cat c) {
    // 代码...
}

func1 Animal## が必要です# またはそのサブクラスのインスタンス。 func2 Cat インスタンスが必要です。 Cat は Animal を拡張するため、func1 は func2 と互換性があり、Cat 型パラメータを受け取ることができます。

#結論

コンパイル時のエラーを回避し、型の安全性を確保するには、関数ジェネリックの互換性ルールに従うことが重要です。

以上がJava 関数ジェネリックの互換性ルールの詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。