Les exceptions rendent très facile l'écriture de code où une exception levée cassera les invariants et laissera les objets dans un état incohérent. Ils vous obligent essentiellement à vous rappeler que la plupart des déclarations que vous faites peuvent potentiellement être lancées et à les gérer correctement. Cela peut être délicat et contre-intuitif.
Considérez quelque chose comme ceci comme un exemple simple:
class Frobber
{
int m_NumberOfFrobs;
FrobManager m_FrobManager;
public:
void Frob()
{
m_NumberOfFrobs++;
m_FrobManager.HandleFrob(new FrobObject());
}
};
En supposant que la FrobManagervolonté de deletela FrobObject, cela semble OK, non? Ou peut-être pas ... Imaginez alors si l'un FrobManager::HandleFrob()ou l' autre operator newlève une exception. Dans cet exemple, l'incrément de m_NumberOfFrobsn'est pas annulé. Ainsi, toute personne utilisant cette instance de Frobberva avoir un objet potentiellement corrompu.
Cet exemple peut sembler stupide (ok, j'ai dû m'étirer un peu pour en construire un :-)), mais le point à retenir est que si un programmeur ne pense pas constamment aux exceptions, et s'assure que chaque permutation d'état est lancée à chaque fois qu'il y a des lancers, vous avez des ennuis de cette façon.
À titre d'exemple, vous pouvez y penser comme vous pensez aux mutex. Dans une section critique, vous comptez sur plusieurs instructions pour vous assurer que les structures de données ne sont pas corrompues et que les autres threads ne peuvent pas voir vos valeurs intermédiaires. Si l'une de ces déclarations ne s'exécute pas au hasard, vous vous retrouvez dans un monde de douleur. Maintenant, supprimez les verrous et la concurrence, et pensez à chaque méthode comme ça. Considérez chaque méthode comme une transaction de permutations sur l'état de l'objet, si vous voulez. Au début de votre appel de méthode, l'objet doit être à l'état propre et à la fin, il doit également y avoir un état propre. Entre les deux, variablefoo peut être incompatible avecbar, mais votre code finira par rectifier cela. Les exceptions signifient que n'importe laquelle de vos déclarations peut vous interrompre à tout moment. Il incombe à vous dans chaque méthode individuelle de faire les choses correctement et de revenir en arrière lorsque cela se produit, ou d'ordonner vos opérations afin que les lancers n'affectent pas l'état de l'objet. Si vous vous trompez (et il est facile de faire ce genre d'erreur), l'appelant finit par voir vos valeurs intermédiaires.
Des méthodes comme RAII, que les programmeurs C ++ aiment mentionner comme la solution ultime à ce problème, contribuent largement à la protection contre cela. Mais ce n'est pas une solution miracle. Il s'assurera que vous libérez des ressources lors d'un lancement, mais ne vous libère pas de devoir penser à la corruption de l'état de l'objet et aux appelants qui voient des valeurs intermédiaires. Donc, pour beaucoup de gens, c'est plus facile à dire, par décision de style de codage, sans exception . Si vous limitez le type de code que vous écrivez, il est plus difficile d'introduire ces bogues. Sinon, il est assez facile de faire une erreur.
Des livres entiers ont été écrits sur le codage sécurisé des exceptions en C ++. De nombreux experts se sont trompés. Si c'est vraiment si complexe et a tant de nuances, c'est peut-être un bon signe que vous devez ignorer cette fonctionnalité. :-)