Kompatibilitätsregeln für Java-Funktionsgenerika

Die Kompatibilitätsregeln von Java-Funktionsgenerika gewährleisten die Typsicherheit. Zu den Regeln gehören: Parameterlisten gleichen Typs, Parametergrenzen gleichen Typs sowie kontravariante und kovariante Parameter. Beispielsweise ist <List<Cat>> kompatibel mit <List<Animal>>, während <String> kompatibel ist.

Kompatibilitätsregeln für Java-Funktionsgenerika

Mit generischen Java-Funktionen können wir Code typsicher schreiben, aber die Nichtbeachtung der korrekten Kompatibilitätsregeln kann zu Fehlern bei der Kompilierung führen. Lassen Sie uns die Regeln klären, um solche Probleme zu vermeiden.

Regel 1: Die Typparameterlisten sind gleich

Nur Funktionstypen mit derselben Parameterliste sind kompatibel. Das folgende Beispiel führt also zu einem Fehler:

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

Regel 2: Typparameter haben die gleichen Grenzen

Grenzen definieren die zulässigen Werte eines generischen Typs. Funktionen sind inkompatibel, wenn sie unterschiedliche Grenzen für Parameter desselben Typs haben. Zum Beispiel:

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

Regel 3: Kontravariante und kovariante Typparameter

• Kontravarianz: Wenn ein Unterklassentyp T den Oberklassentyp S ersetzen kann, dann ist der Typ <T> kompatibel mit <S>. Beispielsweise ist <List<Cat>> mit <List<Animal>> kompatibel.
<T> 类型兼容于 <S>。例如<List<Cat>> 兼容于 <List<Animal>>。
• 协变：如果超类类型 T 可以替代子类类型 S，则 <S> 类型兼容于 <T>。例如<String> 兼容于 <Object>。

实战案例

考虑以下代码：

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

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

func1 期望一个 Animal 或其子类的实例。func2 期望一个 Cat 实例。由于 Cat 扩展 Animal，因此 func1 可以兼容于 func2，从而可以接收 CatKovarianz: Wenn der Oberklassentyp T den Unterklassentyp S ersetzen kann, dann ist der Typ <S> mit <T> kompatibel. Beispielsweise ist <String> mit <Object> kompatibel.

Praktisches Beispiel

Betrachten Sie den folgenden Code:

rrreee

func1 erwartet eine Instanz von Animal oder seiner Unterklasse. func2 erwartet eine Cat-Instanz. Da Cat Animal erweitert, ist func1 mit func2 kompatibel und kann den Typ Cat empfangen Parameter. 🎜🎜🎜Fazit🎜🎜🎜Es ist wichtig, die Kompatibilitätsregeln für Funktionsgenerika zu befolgen, um Fehler bei der Kompilierung zu vermeiden und die Typsicherheit zu gewährleisten. 🎜

Das obige ist der detaillierte Inhalt vonKompatibilitätsregeln für Java-Funktionsgenerika. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!