Wird C# -Unterstützung der Rückgabe -Kovarianz unterstützt?

c# return tytyp co -changes: in -tpth -diskussion

In Objekt -orientierten Programmierung müssen Entwickler beim Umschreiben von Methoden häufig genauere Typinformationen erhalten. Zurück zur Art der Zusammenarbeit ist ein Konzept, mit dem Unterklassen einen spezifischeren Typ zurückgeben als die Basisklasse. Aber unterstützt C# diese leistungsstarke Funktion?

c# Position auf dem Backbone -Typ co -changes

Obwohl die Sprache wie C in der Koordination von Rückgabetyp häufig verwendet wird, unterstützt C# sie leider nicht nativ. Dies ist die grundlegende Einschränkung der C# -Codesteuerung -wenn die öffentliche Sprache ausgeführt wird (CLR).

Geben Sie Sicherheitsprobleme an

c# unterstützt keinen Grund für die Rückgabe von Arten der Zusammenarbeit ist die Art der Sicherheit. Die Ermöglichung von Unterklassen, spezifischere Typen als Basisklassen zurückzugeben, kann zu unerwarteten Inkonsistenz- und Laufzeitfehlern führen. Der strenge Typ -Inspektionsmechanismus des CLR stellt sicher, dass das Objekt im gesamten System konsequent verarbeitet wird, und die Einführung der koordinierenden Änderung der Rückgabetyp wird diese Stabilität zerstören. Lösung

Obwohl C# die Koordination von Rückgabetyp nicht direkt unterstützt, können Entwickler immer noch ähnliche Effekte durch andere Methoden erzielen. Eine häufig verwendete Technologie besteht darin, geschützte Hilfsmethoden in der Basisklasse einzuführen. Diese Methoden bieten eine indirekte Ebene, mit der Unterklassen einen spezifischeren Typ zurückgeben können, während die Sicherheitstypsicherheit beibehält:

In diesem Beispiel schreibt die Aquariumklasse die geschützte Methode GetContents () um und liefert eine neue öffentliche Inhaltsmethode (). Diese Methode gibt einen spezifischeren Fisch zurück, wobei das Tier der Basisklassen -Tierkompatibilität beibehalten wird, um die Kompatibilität zu typisieren, um Kompatibilität zurückzuführen. .

Neueste Fortschritt: Die Koordination in C# 9.0 gibt

abstract class Enclosure
{
    protected abstract Animal GetContents();
    public Animal Contents() { return this.GetContents(); }
}

class Aquarium : Enclosure
{
    protected override Animal GetContents() { return this.Contents(); }
    public new Fish Contents() { ... }
}

zurück

ändert sich jedoch die Situation. In der kürzlich veröffentlichten C# 9.0 führte Microsoft eine Funktion namens "Cooperative Change" als Schritt ein, um die Art der Zusammenarbeit allmählich zu unterstützen. Solange es sich um eine Art von Parametern der Basisschnittstelle oder -methode handelt, ermöglicht diese Funktion Entwicklern, spezifischere Rückgabetypen für die Umschreibungsmethode anzugeben. Obwohl dies eine wesentliche Verbesserung ist, kann es immer noch nicht alle Funktionen einer vollständigen Koordination von Rückgabetypen erzielen.

Wenn Sie auf eine Situation der Rückgabe von Typ Co -Changes in Ihren Code stoßen, können Sie in Betracht ziehen, andere Sprachen zu untersuchen, die diese Funktion vollständig unterstützen, z. B. C /CLI oder F#.

Das obige ist der detaillierte Inhalt vonWird C# -Unterstützung der Rückgabe -Kovarianz unterstützt?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!