Comment puis-je éviter d'utiliser des exceptions en C++?

Question

Quelles techniques puis-je utiliser pour éviter les exceptions en C++, comme mentionné dans Google's style guide?

Answer 1

1. ne jetez pas des exceptions.
2. ne pas utiliser STL (qui repose en grande partie sur les exceptions).
3. Utilisez uniquement new(std::nothrow) ou remplacer ::operator new pour retourner 0 en cas d'échec

Notez qu'en évitant les exceptions, vous jetez efficacement beaucoup de bibliothèques utiles, y compris Boost. Fondamentalement, vous devrez tout programmer à partir de zéro.

Answer 2

Le guide de style dit qu'ils "n'utilisent pas d'exceptions" ce qui est juste - ils ne les lancent pas et n'appellent rien qui puisse les lancer (par exemple, ils utilisent le new(std::nothrow) au lieu de new d'habitude parce que ce dernier jetteront bad_alloc quand il ne parvient pas à allouer de la mémoire.

Answer 3

Dans certains compilateurs, vous pouvez peut-être désactiver la gestion des exceptions. Cela pourrait provoquer des résultats inattendus avec du code externe cependant - ce n'est pas quelque chose que je voudrais essayer. À part cela, la première étape évidente serait d'éviter de lancer des exceptions à partir de votre propre code, probablement avec une utilisation généreuse du nothrow directive, et d'essayer d'éviter de lancer des exceptions du code externe (tiers) par defensive programming. Cela signifie que votre code doit toujours être conscient des éventuelles conditions de défaillance exceptionnelles externes, telles que l'insuffisance de mémoire, l'espace disque disponible, la perte d'une connexion Internet, une défaillance matérielle et un nombre d'autres circonstances. cela pourrait provoquer le lancement du code ...

Dans certains cas, vous pouvez utiliser des versions exemptes d'exceptions de certains codes (par exemple, lancement d'un nouveau jeu ou nouveau lancement).

Answer 4

Ne pas lancer d'exceptions dans votre propre code est relativement facile: vous n'utilisez simplement pas l'instruction throw.

ne pas jeter des exceptions des échecs d'allocation de mémoire est un peu plus douloureux: soit vous n'utilisez pas normale new (utiliser new(std::nothrow) ou malloc ou quelque chose à la place), ou si vous utilisez une option de compilateur non standard pour l'obtenir pour faire quelque chose non standard quand il échoue (par exemple, terminez immédiatement votre programme, ou renvoyez 0), ou vous substituez operator new pour faire quelque chose de non standard en cas d'échec.

Si votre approche choisie est de terminer immédiatement le programme, vous pouvez l'implémenter avec set_new_handler(), que j'avais oublié jusqu'à ce que litb me le rappelle. Cela laisse le problème de gérer les exceptions générées par les bibliothèques C++ que vous ne gérez pas. En général, vous devrez envelopper les appels de bibliothèque dans un emballage qui ressemble à ceci:

int DoSomething(int &output, const int input) throw() { 
    try { 
    output = library_do_something(input); 
    return 1; 
    } catch (...) { 
    return 0; 
    } 
} 

Les catch (...) prises tous les possibles C++ exceptions library_do_something (ainsi que l'opérateur d'affectation sur output, ce qui est pertinent ici), jette toutes les informations qu'ils peuvent contenir, puis mappe tous ces échecs à 0.

Notez que ce style signifie que vous ne pouvez pas utiliser RAII du tout, pas même un peu, parce que vous avez aucun moyen de défaillance de signalisation au sein d'un constructeur. Tout le point de RAII est que vous acquérez toutes vos ressources à l'intérieur des constructeurs afin qu'ils soient correctement libérés par un destructeur lors de la propagation des exceptions. Mais l'acquisition de ressources est quelque chose qui peut toujours échouer. Donc, vous ne pouvez pas le faire à l'intérieur d'un constructeur.

Answer 5

Je suis intéressé de savoir pourquoi on voudrait éviter des exceptions en C++ et quel mécanisme on pourrait les remplacer par faire face à la réalité de l'échec inattendu tout en conservant la structure décente. Bien sûr, les ajouter à une base de code existante qui n'utilise pas la sémantique de type RAII est extrêmement coûteux - mais si l'on fait du développement de champs verts, quelle alternative suggéreriez-vous et comment justifier de ne pas utiliser des bibliothèques de haute qualité? utiliser des exceptions par rapport à l'écriture de vos propres alternatives d'exception/sans bug?