Virtuelle member-Aufruf in einem Konstruktor

Wenn ein Objekt in C# geschrieben ist konstruiert, was passiert, ist, dass die Initialisierungen ausgeführt, in der Reihenfolge von der am meisten abgeleiteten Klasse auf die Basisklasse, und dann den Konstruktoren ausgeführt werden, um von der Basisklasse an die abgeleitete Klasse (siehe Eric Lippert ' s blog für details, warum dies).

Auch in .NET-Objekte nicht ändern die Art, wie Sie konstruiert sind, aber beginnen, wie die meisten abgeleiteten Typ, mit der Methode der Tabelle, die für die meisten abgeleiteten Typ. Dies bedeutet, dass virtuelle Methodenaufrufe laufen immer auf die abgeleiteten Typ.

Wenn Sie kombinieren diese beiden Faktoren bleibt das problem, dass, wenn Sie einen virtuellen Methodenaufruf im Konstruktor, und es ist nicht die abgeleiteten Typ in seiner Vererbungshierarchie, dass es genannt werden, die auf eine Klasse, deren Konstruktor nicht ausgeführt wurde, und darf daher nicht in einem geeigneten Zustand zu haben, dass die Methode aufgerufen wird.

Dieses problem wird natürlich gemindert, wenn Sie markieren Sie Ihre Klasse als versiegelt, um sicherzustellen, dass es ist die am meisten abgeleiteten Typ in der Vererbungshierarchie - in dem Fall ist es vollkommen sicher zum Aufruf der virtuellen Methode.

InformationsquelleAutor Greg Beech

Die Regeln von C# sind sehr Verschieden von der Java und C++.

Wenn Sie im Konstruktor für ein Objekt in C#, das Objekt befindet sich in einer vollständig initialisiert ist (eben nicht "konstruiert") zu bilden, eine voll abgeleiteten Typ.

namespace Demo
{
    class A 
    {
      public A()
      {
        System.Console.WriteLine("This is a {0},", this.GetType());
      }
    }

    class B : A
    {      
    }

    //. . .

    B b = new B(); //Output: "This is a Demo.B"
}

Dies bedeutet, dass, wenn ein Aufruf einer virtuellen Funktion vom Konstruktor von A, es löst auf jeden override in B, falls eine angegeben ist.

Selbst wenn Sie absichtlich eingestellt A und B, wie dies richtig zu verstehen, das Verhalten des Systems, könnten Sie in für ein Schock, später. Sagen Sie, dass Sie als virtuelle Funktionen in B-Konstruktor, "wissen" Sie würden behandelt werden, indem Sie B oder A als angemessen. Dann vergeht die Zeit, und jemand anderes entscheidet, die Sie benötigen, um zu definieren, C, und überschreiben von virtuellen Funktionen gibt. Plötzlich B Konstruktor endet Aufruf von code in C, was dazu führen könnte, ganz überraschend Verhalten.

Ist es wahrscheinlich eine gute Idee, um virtuelle Funktionen in Konstruktoren sowieso, da die Regeln sind so unterschiedlich zwischen C#, C++ und Java. Ihr Programmierer kann nicht wissen, was zu erwarten ist!

InformationsquelleAutor Lloyd

In C#, eine Basisklasse' Konstruktor läuft vor der abgeleiteten Klasse der Konstruktor, also alle Instanz-Felder, die eine abgeleitete Klasse verwenden könnte, in der möglicherweise überschrieben virtuellen member sind noch nicht initialisiert.

Tun, beachten Sie, dass dies nur ein Warnung zu machen, Sie achten und sicherstellen, dass er alle Rechte. Es sind tatsächliche Anwendungsfälle für dieses Szenario, Sie müssen nur Dokument das Verhalten der virtuellen member, es kann keine Instanz-Felder deklariert, die in einer abgeleiteten Klasse unter denen der Konstruktor-Aufruf ist es.

InformationsquelleAutor Alex Lyman

Ja, es ist generell schlecht zum Aufruf der virtuellen Methode in den Konstruktor.

Zu diesem Zeitpunkt, das objet möglicherweise nicht vollständig aufgebaut noch, und die Invarianten erwartet von Methoden können nicht halten noch.

InformationsquelleAutor David Pierre

Konstruktor kann (später, in eine Erweiterung Ihrer software) aufgerufen werden aus dem Konstruktor einer Unterklasse überschreibt die virtuelle Methode. Jetzt nicht in der Subklasse die Implementierung der Funktion, aber die Umsetzung von der Basis-Klasse aufgerufen werden. So ist es nicht wirklich sinnvoll zum aufrufen einer virtuellen Funktion hier.

Allerdings, wenn Ihr design erfüllt das Liskov-Substitution-Prinzip, keinen Schaden getan. Wahrscheinlich das ist, warum es geduldet - eine Warnung, kein Fehler.

InformationsquelleAutor xtofl

Die Warnung ist eine Erinnerung daran, dass die virtuellen Mitglieder sind wahrscheinlich überschrieben werden, der auf abgeleitete Klasse. In diesem Fall unabhängig von der übergeordneten Klasse hat zu einem virtuellen Mitglied werden rückgängig gemacht oder geändert durch überschreiben der Kind-Klasse. Blick auf die kleine Beispiel Schlag für Klarheit

Die übergeordnete Klasse von unten versuche, den Wert zu einem virtuellen Mitglied auf seinen Konstruktor. Und dies löst Wieder schärfer Warnung, lass sehen, on-code:

public class Parent
{
    public virtual object Obj{get;set;}
    public Parent()
    {
        //Re-sharper warning: this is open to change from 
        //inheriting class overriding virtual member
        this.Obj = new Object();
    }
}

Die Kind-Klasse hier überschreibt die übergeordnete Eigenschaft. Wenn diese Eigenschaft nicht markiert war virtuelle würde der compiler warnen, dass die Eigenschaft versteckt-Eigenschaft der übergeordneten Klasse und zu empfehlen, dass Sie hinzufügen, die "neue" Schlüsselwort, wenn es absichtlich ist.

public class Child: Parent
{
    public Child():base()
    {
        this.Obj = "Something";
    }
    public override object Obj{get;set;}
}

Schließlich die Auswirkungen auf die Nutzung, die Ausgabe des Beispiels unten gibt den Anfangswert gesetzt, die von übergeordneten Konstruktor der Klasse.
Und dies ist es, was Re-schärfere versuche, Sie zu warnen,, Werte auf der Übergeordneten Klasse Konstruktor geöffnet sind, überschrieben werden, indem das Kind Konstruktor der Klasse, die aufgerufen wird, direkt nach dem Eltern-Konstruktor der Klasse.

public class Program
{
    public static void Main()
    {
        var child = new Child();
        //anything that is done on parent virtual member is destroyed
        Console.WriteLine(child.Obj);
        //Output: "Something"
    }
} 

InformationsquelleAutor BTE

Einen wichtigen fehlenden Teil ist, was ist der richtige Weg, um dieses Problem zu beheben?

Als Greg erklärt, das root-problem ist hier, dass ein Basisklassenkonstruktor aufrufen würden die virtuellen member, bevor der abgeleiteten Klasse konstruiert wurde.

Den folgenden code, übernommen aus MSDN-Konstruktor-design-Richtlinien, veranschaulicht dieses Problem.

public class BadBaseClass
{
    protected string state;

    public BadBaseClass()
    {
        this.state = "BadBaseClass";
        this.DisplayState();
    }

    public virtual void DisplayState()
    {
    }
}

public class DerivedFromBad : BadBaseClass
{
    public DerivedFromBad()
    {
        this.state = "DerivedFromBad";
    }

    public override void DisplayState()
    {   
        Console.WriteLine(this.state);
    }
}

Wenn eine neue Instanz von DerivedFromBad erstellt wird, die die Basisklasse Konstruktor ruft zu DisplayState und zeigt BadBaseClass weil das Feld noch nicht aktualisiert, indem der abgeleitete Konstruktor.

public class Tester
{
    public static void Main()
    {
        var bad = new DerivedFromBad();
    }
}

Einer verbesserten Umsetzung entfernt die virtuelle Methode aus der Basisklasse Konstruktor, und verwendet eine Initialize Methode. Erstellen einer neuen Instanz der DerivedFromBetter zeigt das erwartete "DerivedFromBetter"

public class BetterBaseClass
{
    protected string state;

    public BetterBaseClass()
    {
        this.state = "BetterBaseClass";
        this.Initialize();
    }

    public void Initialize()
    {
        this.DisplayState();
    }

    public virtual void DisplayState()
    {
    }
}

public class DerivedFromBetter : BetterBaseClass
{
    public DerivedFromBetter()
    {
        this.state = "DerivedFromBetter";
    }

    public override void DisplayState()
    {
        Console.WriteLine(this.state);
    }
}

InformationsquelleAutor Gustavo Mori

Nur meine Gedanken. Wenn Sie immer initialisieren den privaten Bereich, wenn es definieren, dieses problem sollte vermieden werden. Mindestens folgende code funktioniert wie ein Charme:

class Parent
{
    public Parent()
    {
        DoSomething();
    }
    protected virtual void DoSomething()
    {
    }
}

class Child : Parent
{
    private string foo = "HELLO";
    public Child() { /*Originally foo initialized here. Removed.*/ }
    protected override void DoSomething()
    {
        Console.WriteLine(foo.ToLower());
    }
}

InformationsquelleAutor Jim Ma

Ich möchte nur hinzufügen, eine Initialize () - Methode der Basisklasse und dann rufen, die von abgeleiteten Konstruktoren. Diese Methode rufen Sie eine virtuelle/abstrakte Methoden/Eigenschaften NACHDEM alle Konstruktoren ausgeführt worden 🙂

InformationsquelleAutor Ross