Auslösen von Ausnahmen von einem Konstruktor in. NET

Question

Gibt es Speicherverluste, wenn ich eine Ausnahme von einem Konstruktor wie folgt auslösen?

Werden die fehlerhaften Objekte vom Garbage Collector erfasst?

Answer 1

Im Allgemeinen ist dies sicher aus der Perspektive nicht ausleckenden Speicher. Das Auslösen von Ausnahmen aus einem Konstruktor ist jedoch gefährlich, wenn Sie nicht verwaltete Ressourcen im Typ zuweisen. Nehmen Sie das folgende Beispiel

public class Foo : IDisposable { 
    private IntPtr m_ptr; 
    public Foo() { 
    m_ptr = Marshal.AllocHGlobal(42); 
    throw new Exception(); 
    } 
    // Most of Idisposable implementation ommitted for brevity 
    public void Dispose() { 
    Marshal.FreeHGlobal(m_ptr); 
    } 
} 

Diese Klasse wird Speicher jedes Mal, wenn Sie versuchen zu erstellen, Speicher verlieren, auch wenn Sie einen Verwendungsblock verwenden. Zum Beispiel verliert dies Speicher.

using (var f = new Foo()) { 
    // Won't execute and Foo.Dispose is not called 
} 

Answer 2

Ja, der Garbage Collector wird die verwalteten Ressourcen zurückfordern, die bereits im Objekt zugewiesen wurden. Wenn Sie nicht verwaltete Ressourcen initialisiert haben, müssen Sie diese auf die übliche Weise selbst bereinigen.

Answer 3

Es hängt davon ab, welche anderen Ressourcen Sie erworben haben, bevor die Ausnahme thorwn ist. Ich denke nicht, dass das Auslösen von Exceptions in einem Konstruktor großartig ist, aber sie in Finalizer oder dispose() zu werfen ist viel viel schlimmer.

Answer 4

Komisch, weil ich erst gestern mit einer similar question geholfen habe.

Es ist ein größeres Problem, wenn Sie einen abgeleiteten Typ haben, weil einige Teile des abgeleiteten Typs initialisiert werden, andere jedoch nicht. Aus Speicherperspektive spielt es keine Rolle, denn der Müllsammler weiß, wo sich was befindet. Aber wenn Sie nicht verwaltete Ressourcen (IDisposable implementieren) haben, können die Dinge trübe werden.

Answer 5

Das Auslösen von Ausnahmen von einem Konstruktor sollte in Ordnung sein, wenn Sie keine nicht verwalteten Ressourcen erstellt haben. Wenn Sie jedoch im Konstruktor nicht verwaltete Ressourcen erstellen, sollte der gesamte Rumpf dieses Konstruktors, einschließlich der Würfe, in eine try/catch-Schleife eingeschlossen werden. JaredPar das große Beispiel zu klauen:

public class Foo : IDisposable { 
    private IntPtr m_ptr; 
    public Foo() { 
    try 
    { 
     m_ptr = Marshal.AllocHGlobal(42); 
     throw new Exception(); 
    } 
    catch 
    { 
     Dispose(); 
     throw; 
    } 
    } 
    // Most of Idisposable implementation ommitted for brevity 
    public void Dispose() { 
    Marshal.FreeHGlobal(m_ptr); 
    } 
} 

Die folgende funktionieren würde jetzt:

using (var f = new Foo()) { 
    // Won't execute, but Foo still cleans itself up 
}