Unterschied zwischen C++ 03 throw() - Spezifizierer C++ 11 noexcept

Question

Gibt es einen anderen Unterschied zwischen throw() und noexcept abgesehen von überprüft Laufzeit und Kompilierzeit jeweils?

Wikipedia C++11 Artikel schlägt vor, dass C++ 03 Wurf Spezifizierer veraltet sind.
Warum ist noexcept fähig genug, um alles zur Kompilierzeit abzudecken?

[Anmerkung: I genannten this question und this article, konnte aber den festen Grund der deprecation nicht bekam.]

Answer 1

Exception Bezeich wurden, weil exception specifiers are generally a terrible idea veraltet. noexcept wurde hinzugefügt, weil es die sinnvoll sinnvolle Verwendung eines Ausnahme-Spezifizierers ist: Wissen, wann eine Funktion nicht eine Ausnahme auslöst. So wird es eine binäre Wahl: Funktionen, die werfen werden und Funktionen, die nicht werfen werden.

noexcept wurde hinzugefügt, anstatt nur alle throw specifiers außer throw() zu entfernen, da noexcept leistungsfähiger ist. noexcept kann einen Parameter haben, dessen Kompilierungszeit in einen booleschen Wert aufgelöst wird. Wenn der Boolesche Wert wahr ist, bleibt der noexcept kleben. Wenn der Boolesche Wert falsch ist, bleibt der noexcept nicht haften und die Funktion kann werfen.

So können Sie etwas tun:

struct<typename T> 
{ 
    void CreateOtherClass() { T t{}; } 
}; 

Hat CreateOtherClass Wurf Ausnahmen? Es könnte, wenn der Standardkonstruktor T kann. Wie erzählen wir? Wie folgt aus:

struct<typename T> 
{ 
    void CreateOtherClass() noexcept(is_nothrow_default_constructible<T>::value) { T t{}; } 
}; 

So CreateOtherClass() wird werfen iff die Standard-Konstruktor angegebenen Typ wirft. Dies behebt eines der Hauptprobleme mit Ausnahmespezifizierern: ihre Unfähigkeit, den Aufrufstapel weiterzuleiten.

Sie können dies nicht mit throw() tun.

Answer 2

noexcept wird zur Kompilierzeit nicht überprüft.

Eine Implementierung darf einen Ausdruck nicht zurückweisen, nur weil er bei seiner Ausführung eine Ausnahme auslöst oder werfen könnte, die die enthaltene Funktion nicht zulässt.

Wenn eine Funktion, die noexcept oder throw() Versuche erklärt wird, eine Ausnahme ist der einzige Unterschied zu werfen, dass man terminate und die othe Anrufe unexpected und diese Art von Ausnahmebehandlung erfordert sind veraltet wirksam wurden.

Answer 3

std :: unexpected() wird von der C++ - Laufzeit aufgerufen, wenn eine dynamische Ausnahmespezifikation verletzt wird: Eine Ausnahme wird von einer Funktion ausgelöst, deren Ausnahmebedingung Ausnahmen dieses Typs verbietet.

std :: unexpected() kann auch direkt aus dem Programm aufgerufen werden.

In beiden Fällen ruft std :: unexcepted den aktuell installierten std :: unexpected_handler auf. Der Standard std :: unexpected_handler ruft std :: terminate auf.