Warum sollen wir diese Ausnahmen nicht werfen?

Ich bin auf diese MSDN-Seite gestoßen , auf der es heißt:

Werfen Sie Exception , SystemException , NullReferenceException oder IndexOutOfRangeException nicht absichtlich aus Ihrem eigenen Quellcode.

Leider macht es sich nicht die Mühe zu erklären, warum. Ich kann die Gründe erraten, aber ich hoffe, dass jemand, der zu diesem Thema maßgeblicher ist, seine Einsicht bietet.

Die ersten beiden machen einen offensichtlichen Sinn, aber die beiden letzteren scheinen diejenigen zu sein, die Sie beschäftigen möchten (und tatsächlich habe ich).

Sind dies die einzigen Ausnahmen, die man vermeiden sollte? Wenn es andere gibt, was sind sie und warum sollten auch sie vermieden werden?

Exceptionist der Basistyp für alle Ausnahmen und als solcher furchtbar unspezifisch. Sie sollten diese Ausnahme niemals auslösen, da sie einfach keine nützlichen Informationen enthält. Das Aufrufen des Code-Catching für Ausnahmen konnte die absichtlich ausgelöste Ausnahme (aus Ihrer Logik) nicht von anderen Systemausnahmen unterscheiden, die völlig unerwünscht sind und auf echte Fehler hinweisen.

Der gleiche Grund gilt auch für SystemException. Wenn Sie sich die Liste der abgeleiteten Typen ansehen, sehen Sie eine Vielzahl anderer Ausnahmen mit sehr unterschiedlicher Semantik.

NullReferenceExceptionund IndexOutOfRangeExceptionsind von einer anderen Art. Nun, dies sind sehr spezifische Ausnahmen, daher könnte es in Ordnung sein , sie zu werfen . Sie werden diese jedoch immer noch nicht werfen wollen, da sie normalerweise bedeuten, dass Ihre Logik einige tatsächliche Fehler enthält. Die Nullreferenzausnahme bedeutet beispielsweise, dass Sie versuchen, auf ein Mitglied eines Objekts zuzugreifen null. Wenn dies in Ihrem Code möglich ist, sollten Sie nullstattdessen immer explizit nach einer nützlicheren Ausnahme suchen und diese auslösen (zum Beispiel ArgumentNullException). In ähnlicher Weise tritt IndexOutOfRangeExceptions auf, wenn Sie auf einen ungültigen Index zugreifen (für Arrays - nicht für Listen). Sie sollten immer sicherstellen, dass Sie dies überhaupt nicht tun, und zuerst die Grenzen eines Arrays überprüfen.

Es gibt einige andere Ausnahmen wie diese beiden, zum Beispiel InvalidCastExceptionoder DivideByZeroException, die für bestimmte Fehler in Ihrem Code ausgelöst werden und normalerweise bedeuten, dass Sie etwas falsch machen oder nicht zuerst nach ungültigen Werten suchen. Indem Sie sie wissentlich aus Ihrem Code entfernen, erschweren Sie es dem aufrufenden Code nur, festzustellen, ob sie aufgrund eines Fehlers im Code ausgelöst wurden, oder nur, weil Sie beschlossen haben, sie für etwas in Ihrer Implementierung wiederzuverwenden.

Natürlich gibt es einige Ausnahmen (hah) von diesen Regeln. Wenn Sie etwas erstellen, das eine Ausnahme verursachen kann, die genau mit einer vorhandenen übereinstimmt, können Sie diese verwenden, insbesondere wenn Sie versuchen, einem integrierten Verhalten zu entsprechen. Stellen Sie einfach sicher, dass Sie dann einen ganz bestimmten Ausnahmetyp auswählen.

Im Allgemeinen sollten Sie jedoch immer in Betracht ziehen, eigene Ausnahmetypen für bestimmte erwartete Ausnahmen zu erstellen, es sei denn, Sie finden eine (bestimmte) Ausnahme, die Ihren Anforderungen entspricht. Insbesondere wenn Sie Bibliothekscode schreiben, kann dies sehr nützlich sein, um die Ausnahmequellen zu trennen.

Ich vermute, die Absicht mit den letzten 2 ist es, Verwechslungen mit eingebauten Ausnahmen zu verhindern, die eine erwartete Bedeutung haben. Ich bin jedoch der Meinung, dass, wenn Sie die genaue Absicht der Ausnahme beibehalten : es die richtige ist throw. Wenn Sie beispielsweise eine benutzerdefinierte Sammlung schreiben, erscheint die Verwendung völlig vernünftig IndexOutOfRangeException- klarer und spezifischer, IMO, als ArgumentOutOfRangeException. Und während Sie List<T>sich für Letzteres entscheiden könnten, gibt es in der BCL mindestens 41 Stellen (mit freundlicher Genehmigung des Reflektors) (ohne Arrays), die maßgeschneidert sind IndexOutOfRangeException- keine davon ist "niedrig" genug, um eine besondere Ausnahme zu verdienen. Also ja, ich denke, Sie können zu Recht argumentieren, dass diese Richtlinie albern ist. Gleichfalls,NullReferenceException ist ein bisschen nützlich in Erweiterungsmethoden - wenn Sie die Semantik beibehalten möchten, dass:

obj.SomeMethod(); // this is actually an extension method

wirft ein NullReferenceExceptionwann objist null.

Wie Sie bereits erwähnt haben, listet Microsoft im Artikel Erstellen und Auslösen von Ausnahmen (C # -Programmierhandbuch) unter dem Thema Zu vermeidende Dinge beim Auslösen von Ausnahmen tatsächlich System.IndexOutOfRangeExceptioneinen Ausnahmetyp auf, der nicht absichtlich aus Ihrem eigenen Quellcode ausgelöst werden sollte.

Im Gegensatz dazu scheint Microsoft im Artikelwurf (C # -Referenz) gegen seine eigenen Richtlinien zu verstoßen. Hier ist eine Methode, die Microsoft in sein Beispiel aufgenommen hat:

static int GetNumber(int index)
{
    int[] nums = { 300, 600, 900 };
    if (index > nums.Length)
    {
        throw new IndexOutOfRangeException();
    }
    return nums[index];
}

Microsoft selbst ist also nicht konsistent, da es das Werfen IndexOutOfRangeExceptionin seiner Dokumentation für throw!

Dies führt mich zu glauben , dass zumindest für den Fall IndexOutOfRangeException, kann es vorkommen , dass dieser Ausnahme - Typ kann durch den Programmierer geworfen werden und eine akzeptable Praxis berücksichtigt werden.

Als ich Ihre Frage las, fragte ich mich, unter welchen Bedingungen man die Ausnahmetypen auslösen möchte NullReferenceException, InvalidCastExceptionoder ArgumentOutOfRangeException.

Wenn ich auf einen dieser Ausnahmetypen stoße, bin ich (der Entwickler) meiner Meinung nach besorgt über die Warnung in dem Sinne, dass der Compiler mit mir spricht. Wenn Sie (der Entwickler) solche Ausnahmetypen auslösen können, entspricht dies (dem Compiler) dem Verkauf der Verantwortung. Dies legt beispielsweise nahe, dass der Compiler dem Entwickler nun erlauben sollte, zu entscheiden, ob es sich um ein Objekt handelt null. Aber eine solche Entscheidung zu treffen, sollte wirklich die Aufgabe des Compilers sein.

PS: Seit 2003 entwickle ich meine eigenen Ausnahmen, damit ich sie nach Belieben werfen kann. Ich denke, dies wird als bewährte Methode angesehen.

Die Diskussion über NullReferenceExceptionund IndexOutOfBoundsExceptionbeiseite legen:

Was über den Fang und werfen System.Exception. Ich habe diese Art von Ausnahme oft in meinen Code geworfen und wurde nie davon verarscht. Ebenso fange ich sehr oft den unspezifischen ExceptionTyp und es hat auch ziemlich gut für mich funktioniert. Warum ist das so?

Normalerweise argumentieren Benutzer, dass sie in der Lage sein sollten, Fehlerursachen zu unterscheiden. Nach meiner Erfahrung gibt es nur sehr wenige Situationen, in denen Sie verschiedene Ausnahmetypen unterschiedlich behandeln möchten. In den Fällen, in denen Benutzer Fehler programmgesteuert behandeln sollen, sollten Sie einen spezifischeren Ausnahmetyp auslösen. In anderen Fällen bin ich von der allgemeinen Best-Practice-Richtlinie nicht überzeugt.

In Bezug auf das Werfen Exceptionsehe ich keinen Grund, dies in allen Fällen zu verbieten.

BEARBEITEN: auch von der MSDN-Seite:

Ausnahmen sollten nicht verwendet werden, um den Ablauf eines Programms im Rahmen der normalen Ausführung zu ändern. Ausnahmen sollten nur zum Melden und Behandeln von Fehlerzuständen verwendet werden.

Das Übertreiben von catch-Klauseln mit individueller Logik für verschiedene Ausnahmetypen ist ebenfalls keine bewährte Methode.