Différence entre le spécificateur throw() de C++03 et noexcept de C++11

Question

Y a-t-il une différence entre throw() et noexcept autrement qu'en étant contrôlé respectivement au moment de l'exécution et de la compilation ?

Cet article de Wikipédia sur le C++11 suggère que les spécificateurs de jet de C++03 sont dépréciés.
Pourquoi ? noexcept suffisamment capable de couvrir tout cela au moment de la compilation ?

[Note : J'ai vérifié cette question et cet article mais n'a pas pu déterminer la raison solide de la dépréciation].

Answer 1

Les spécificateurs d'exception ont été dépréciés parce que les spécificateurs d'exception sont généralement une mauvaise idée . noexcept a été ajouté parce qu'il s'agit de la seule utilisation raisonnablement utile d'un spécificateur d'exception : savoir quand une fonction ne le fera pas lance une exception. Il s'agit donc d'un choix binaire : les fonctions qui lancent des exceptions et celles qui n'en lancent pas.

noexcept a été ajouté plutôt que de supprimer tous les spécificateurs de jet autres que throw() parce que noexcept est plus puissant. noexcept peut avoir un paramètre qui, à la compilation, se résout en un booléen. Si le booléen est vrai, alors la fonction noexcept bâtons. Si le booléen est faux, alors le noexcept ne tient pas et la fonction peut être rejetée.

Vous pouvez donc procéder de la manière suivante :

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

Fait CreateOtherClass lancer des exceptions ? Cela pourrait être le cas si T peut le faire. Comment le savoir ? En procédant de la manière suivante :

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

Ainsi, CreateOtherClass() est lancé si le constructeur par défaut du type donné est lancé. Cela résout l'un des principaux problèmes des spécificateurs d'exception : leur incapacité à se propager dans la pile d'appels.

Vous ne pouvez pas le faire avec throw() .

Answer 2

noexcept n'est pas vérifié à la compilation.

Une implémentation ne doit pas rejeter une expression simplement parce que, lorsqu'elle est exécutée, elle lance ou pourrait lancer une exception que la fonction qui la contient n'autorise pas.

Lorsqu'une fonction déclarée noexcept o throw() tente de lancer une exception, la seule différence est que l'on appelle terminate et les autres appels unexpected et ce dernier type de gestion des exceptions a été abandonné.

Answer 3

std::unexpected() est appelée par le système d'exécution C++ lorsqu'une spécification d'exception dynamique est violée : une exception est levée à partir d'une fonction dont la spécification d'exception interdit les exceptions de ce type.

std::unexpected() peut également être appelé directement à partir du programme.

Dans un cas comme dans l'autre, std::unexpected appelle l'application std::unexpected_handler . La valeur par défaut std::unexpected_handler appels std::terminate .