Y a-t-il un idiome généralement accepté pour indiquer que le code C ++ peut lancer des exceptions?

Utilisez DOCUMATION DOXYGEN pour décrire vos méthodes. Lorsque vous les utilisez, vous devrez vérifier cette documentation pour voir quels paramètres sont leurs paramètres et quelles exceptions elles lancent.

Ecrire des tests d'unité Pour exercer votre code dans les cas d'exception sont lancés.

La documentation semble être la seule méthode raisonnable que je connaisse.

En ce qui concerne les spécifications d'exception, voici un ancien article (2002) de Herb Sutter sur le sujet http: // www.ddj.com/cpp/184401544 Il aborde pourquoi cette fonctionnalité de la langue ne nous donne pas la sécurité de la compilation et finit par la conclusion:

Voici donc ce qui semble être le meilleur Conseils que nous en tant que communauté ont appris à compter d'aujourd'hui:

morale n ° 1: ne jamais écrire une exception Spécification.

morale n ° 2: sauf éventuellement un vide un, mais si j'étais vous, j'éviterais même cela.

non.
La seule chose commune est d'indiquer que vous ne jetez rien.
Et puis vous devez également vous assurer manuellement qu'aucune exception ne peut réellement échapper à votre méthode / fonction. Remarque: Si des exceptions échappent à la méthode, l'application sera terminée.

#include <stdexcept>

class MyException: public std::exception
{
    public:
    ~MyException() throw() {}
     char* what() const throw()
     {
        try
        {
            // Do Stuff that may throw
            return "HI";
        }
        // Exceptions must not escape this method
        // So catch everything.
        catch(...)
        {
           return "Bad Stuff HAppening Cant Make Exception Message.";
        }
     }
};

Le moyen idiomatique de résoudre le problème est de ne pas indiquer que votre code peut lancer des exceptions, mais pour mettre en œuvre une sécurité d'exception dans vos objets. La norme définit plusieurs garanties d'exception Les objets doivent mettre en œuvre:

• Garantie sans jeton: la fonction jamais lancer une exception
• Forte exception Garantie de sécurité: si une exception est lancée, l'objet sera laissé dans son état initial.
• Garantie de sécurité d'exception de base: Si une exception est lancée, l'objet est laissé dans un état valide.

  Et bien sûr, la norme documente le niveau de sécurité d'exception pour chaque classe de bibliothèque standard.

  C'est vraiment la voie à traiter avec des exceptions en C ++. Plutôt que de marquer quel code peut ou ne peut pas lancer d'exceptions, utilisez RAII pour que vos objets soient nettoyés et mettre une pensée dans la mise en œuvre du niveau de sécurité d'exception approprié dans vos objets Raii, afin qu'ils puissent survivre sans manipulation spéciale si une exception est lancée.

  Exceptions ne causent vraiment que des problèmes s'ils permettent à vos objets d'être laissés dans un état invalide . Cela ne devrait jamais arriver. Vos objets devraient toujours mettre en œuvre au moins la garantie de base. (et la mise en œuvre d'une classe de conteneurs qui fournit le niveau approprié de la sécurité des exceptions est un exercice C ++ C ++;))

  Quant à la documentation, lorsque vous êtes capable pour déterminer pour certaines exceptions qu'une fonction peut lancer, par tous les moyens n'hésitez pas à le documenter. Mais en général, lorsque rien d'autre n'est spécifié, il est supposé qu'une fonction peut lancer. La spécification de lancer vide est parfois utilisée pour documenter lorsqu'une fonction jamais jette. Si ce n'est pas là, supposez que la fonction peut lancer.