Warum funktioniert Polymorphismus nicht mit den Parametern „ref' und „out' in C#?

Polymorphismus-Einschränkungen in den Parametern „ref“ und „out“

Polymorphismus, ein grundlegendes Konzept in der objektorientierten Programmierung, ermöglicht variierende Objekte Typen, die als Objekte eines gemeinsamen Supertyps behandelt werden sollen. Wenn es jedoch um die Parameter „ref“ und „out“ geht, wird Polymorphismus nicht unterstützt.

Um zu verstehen, warum, betrachten Sie den folgenden Code:

class A {}
class B : A {}
class C
{
    C()
    {
        var b = new B();
        Foo(b);
        Foo2(ref b); // Compile-time error: "The 'ref' argument doesn't match the parameter type"
    }

    void Foo(A a) {}
    void Foo2(ref A a) {}  
}

Dieser Code wird nicht kompiliert wenn „Foo2“ mit einem Verweis auf „B“ aufgerufen wird, weil die Parameter „ref“ und „out“ keinen Polymorphismus unterstützen können.

Lassen Sie uns die Gründe dafür untersuchen Einschränkung:

• Kapselung: Die Parameter „ref“ und „out“ legen die Referenz der zugrunde liegenden Variablen offen und ermöglichen so deren Änderung. Wenn Polymorphismus unterstützt würde, wäre es möglich, ein Objekt eines abgeleiteten Typs an eine Methode zu übergeben, die einen Basistyp erwartet. Dies könnte jedoch zu unerwartetem Verhalten führen, wenn die Methode in die Variable schreibt, da diese Daten enthalten könnte, die für den abgeleiteten Typ spezifisch sind.
• Typsicherheit:Bei der Übergabe eines „ref“ oder „ out'-Parameter stellt der Compiler sicher, dass der Typ der Variablen mit dem Typ des Parameters übereinstimmt. Dies gewährleistet die Typsicherheit und verhindert ungültige Zuweisungen. Das Zulassen von Polymorphismus würde zu Unsicherheit führen, da der tatsächliche Typ der Variablen zur Laufzeit variieren könnte.
• Überlegungen zur Leistung: Polymorphismus mit „ref“- oder „out“-Parametern würde zusätzliche Laufzeitprüfungen erfordern, um dies sicherzustellen Stellen Sie sicher, dass der Typ der Variablen mit dem Typ des Parameters übereinstimmt, was zu einem Leistungsaufwand führen kann.

Zusammenfassend lässt sich sagen, dass Polymorphismus eine leistungsstarke Lösung ist Da es sich um eine Funktion der objektorientierten Programmierung handelt, wird sie aus Gründen der Kapselung, Typsicherheit und Leistung nicht für die Parameter „ref“ und „out“ unterstützt.

Das obige ist der detaillierte Inhalt vonWarum funktioniert Polymorphismus nicht mit den Parametern „ref' und „out' in C#?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!