Kovarianz und Kontravarianz in der Programmierung: Was ist der Unterschied?

Kovarianz und Kontravarianz leicht verstehen

Bei der objektorientierten Programmierung beschreiben Kovarianz und Kontravarianz die Beziehung zwischen einer Basisklasse und einer abgeleiteten Klasse. Sie bestimmen, wie eine abgeleitete Klasse als ihre Basisklasse behandelt wird, und gewährleisten gleichzeitig die Typsicherheit.

Kovarianz:

Kovarianz ermöglicht das Ersetzen primitiver Typen in einer API, die nur als Ausgaben (z. B. Rückgabewerte) verwendet werden, durch „größere“ (weniger spezifische) Typen. Dies bedeutet, dass eine Liste abgeleiteter Klassen als Liste von Basisklassen behandelt werden kann. Zum Beispiel:

<code>List<水果> 水果列表 = new List<香蕉>(); // 协变</code>

Converse:

Kontravarianz ermöglicht das Ersetzen primitiver Typen in einer API, die nur als Eingaben (z. B. Methodenparameter) verwendet werden, durch „kleinere“ (spezifischere) Typen. Dies bedeutet, dass Parameter von Basisklassentypen als Parameter abgeleiteter Klassentypen übergeben werden können. Zum Beispiel:

<code>基类 执行操作(派生类 变量); // 逆变</code>

Eingabe-/Ausgabebedingungen:

Im Zusammenhang mit Generika werden „in“ und „out“ verwendet, um anzugeben, ob der generische Typ als Eingabeparameter oder Rückgabewert verwendet wird.

• Ausgabe (out): Generische Typen werden nur als Rückgabewerte verwendet, daher sind Kovarianzbeziehungen zulässig.
• Eingabe (in): Generische Typen werden nur als Methodenparameter verwendet und ermöglichen somit Kontravarianz.

Beispiele für Schnittstellen und Generika:

<code>// 输出
interface IMyInterface<out T>
{
    T MyFunction();
}

// 输入
interface IMyInterface<in T>
{
    void MyFunction(T variable);
}</code>

Das obige ist der detaillierte Inhalt vonKovarianz und Kontravarianz in der Programmierung: Was ist der Unterschied?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!