Unterschied: std :: runtime_error vs std :: exception()

Question

Was ist der Unterschied zwischen std::runtime_error und std::exception? Was ist die richtige Verwendung für jeden? Warum sind sie überhaupt anders?

Answer 1

std::exception ist die Klasse, deren einziger Zweck darin besteht, als Basisklasse in der Ausnahmehierarchie zu dienen. Es hat keine anderen Anwendungen. Mit anderen Worten, konzeptionell ist es eine abstrakte Klasse (obwohl sie nicht als abstrakte Klasse in C++ definiert ist, was den Begriff bedeutet).

std::runtime_error ist eine speziellere Klasse von std::exception absteigend, bestimmt bei verschiedenen Laufzeit Fehler geworfen werden. Es hat einen doppelten Zweck. Es kann von selbst ausgelöst werden, oder es kann als Basisklasse für verschiedene, noch speziellere Arten von Laufzeitfehlerausnahmen dienen, wie std::range_error, std::overflow_error usw. Sie können eigene Ausnahmeklassen definieren, die von std::runtime_error abstammen, sowie Sie definieren können Ihre eigenen Ausnahmeklassen, die von std::exception abstammen.

Genau wie std::runtime_error enthält die Standardbibliothek std::logic_error, ebenfalls absteigend von std::exception.

Der Zweck dieser Hierarchie besteht darin, dem Benutzer die Möglichkeit zu geben, die volle Leistungsfähigkeit des C++ - Ausnahmebehandlungsmechanismus zu nutzen. Da die 'catch' -Klausel polymorphe Ausnahmen abfangen kann, kann der Benutzer 'catch' -Klauseln schreiben, die Ausnahmetypen von einem bestimmten Teilbaum der Ausnahmehierarchie abfangen können. Zum Beispiel fängt catch (std::runtime_error& e) alle Ausnahmen von std::runtime_error Teilbaum, lassen Sie alle anderen passieren (und fliegen weiter nach oben auf den Call-Stack).

P.S. Das Entwickeln einer nützlichen Ausnahmeklassenhierarchie (mit der Sie nur die Ausnahmetypen abfangen können, an denen Sie an jedem Punkt Ihres Codes interessiert sind) ist eine nicht-triviale Aufgabe. Was Sie in der Standard-C++ - Bibliothek sehen, ist ein möglicher Ansatz, der Ihnen von den Autoren der Sprache angeboten wird. Wie Sie sehen, haben sie sich dafür entschieden, alle Ausnahmetypen in "Laufzeitfehler" und "Logikfehler" aufzuteilen und von dort aus mit eigenen Ausnahmetypen fortzufahren. Es gibt natürlich alternative Möglichkeiten, diese Hierarchie zu strukturieren, die für Ihr Design geeigneter sein könnte.

Update: Portabilität Linux vs Windows-

Als Loki Astari und unixman83 in ihrer Antwort zur Kenntnis genommen und Kommentaren unten, der Konstruktor der exception Klasse nimmt keine Argumente nach C++ Standard. Microsoft C++ hat einen Konstruktor, der Argumente in der Klasse exception nimmt, aber dies ist kein Standard. Die Klasse runtime_error hat einen Konstruktor, der auf beiden Plattformen, Windows und Linux, Argumente entgegennimmt (char*). Um tragbar zu sein, verwenden Sie besser runtime_error.

(Und denken Sie daran, nur weil eine Spezifikation des Projekts sagt Ihr Code nicht auf Linux laufen hat, bedeutet es nicht, es nie auf Linux laufen muss.)

Answer 2

std :: Ausnahme sein sollte berücksichtigt (beachten Sie die Überlegung) die abstrakte Basis der Standardausnahmehierarchie. Dies liegt daran, dass es keinen Mechanismus gibt, um eine bestimmte Nachricht zu übergeben (dazu müssen Sie what()) ableiten und spezialisieren. Es gibt nichts, was Sie daran hindern könnte, std :: exception zu verwenden, und für einfache Anwendungen könnte es alles sein, was Sie brauchen.

std :: runtime_error auf der anderen Seite hat gültige Konstruktoren, die eine Zeichenfolge als Nachricht akzeptieren.Wenn what() aufgerufen wird, wird ein const char-Zeiger zurückgegeben, der auf eine C-Zeichenfolge zeigt, die die gleiche Zeichenfolge hat, die an den Konstruktor übergeben wurde.

try 
{ 
    if (badThingHappened) 
    { 
     throw std::runtime_error("Something Bad happened here"); 
    } 
} 
catch(std::exception const& e) 
{ 
    std::cout << "Exception: " << e.what() << "\n"; 
}