Ausnahmen machen es wirklich einfach, Code zu schreiben, bei dem eine ausgelöste Ausnahme Invarianten aufbricht und Objekte in einem inkonsistenten Zustand belässt. Sie zwingen Sie im Wesentlichen dazu, sich daran zu erinnern, dass fast jede Aussage, die Sie machen, möglicherweise werfen und richtig damit umgehen kann. Dies kann schwierig und kontraintuitiv sein.
Betrachten Sie so etwas als einfaches Beispiel:
class Frobber
{
int m_NumberOfFrobs;
FrobManager m_FrobManager;
public:
void Frob()
{
m_NumberOfFrobs++;
m_FrobManager.HandleFrob(new FrobObject());
}
};
Unter der Annahme , das FrobManagerwird deletedas FrobObject, das sieht OK, nicht wahr? Oder vielleicht auch nicht ... Stellen Sie sich dann vor, ob entweder FrobManager::HandleFrob()oder operator neweine Ausnahme auslöst. In diesem Beispiel wird das Inkrement von m_NumberOfFrobsnicht zurückgesetzt. Daher wird jeder, der diese Instanz von verwendet Frobber, ein möglicherweise beschädigtes Objekt haben.
Dieses Beispiel mag dumm erscheinen (ok, ich musste mich ein wenig strecken, um eines zu konstruieren :-)), aber das Wichtigste ist, dass ein Programmierer nicht ständig an Ausnahmen denkt und dafür sorgt, dass jede Permutation des Zustands gerollt wird Zurück, wenn es Würfe gibt, geraten Sie auf diese Weise in Schwierigkeiten.
Als Beispiel können Sie sich das so vorstellen, wie Sie an Mutexe denken. In einem kritischen Abschnitt verlassen Sie sich auf mehrere Anweisungen, um sicherzustellen, dass Datenstrukturen nicht beschädigt werden und andere Threads Ihre Zwischenwerte nicht sehen können. Wenn eine dieser Aussagen nicht zufällig ausgeführt wird, geraten Sie in eine Welt voller Schmerzen. Nehmen Sie nun Sperren und Parallelität weg und überlegen Sie sich jede Methode so. Stellen Sie sich jede Methode als eine Transaktion von Permutationen für den Objektstatus vor, wenn Sie so wollen. Zu Beginn Ihres Methodenaufrufs sollte das Objekt einen sauberen Zustand haben, und am Ende sollte es auch einen sauberen Zustand geben. Dazwischen kann die Variable foonicht mit übereinstimmenbar, aber Ihr Code wird das irgendwann korrigieren. Ausnahmen bedeuten, dass jede Ihrer Aussagen Sie jederzeit unterbrechen kann. Bei jeder einzelnen Methode liegt es an Ihnen, es richtig zu machen und in diesem Fall einen Rollback durchzuführen oder Ihre Operationen so zu ordnen, dass Würfe keinen Einfluss auf den Objektstatus haben. Wenn Sie etwas falsch machen (und es ist leicht, diese Art von Fehler zu machen), sieht der Anrufer Ihre Zwischenwerte.
Methoden wie RAII, die C ++ - Programmierer gerne als ultimative Lösung für dieses Problem erwähnen, tragen wesentlich dazu bei, sich davor zu schützen. Aber sie sind keine Silberkugel. Es stellt sicher, dass Sie Ressourcen für einen Wurf freigeben, befreit Sie jedoch nicht davon, über eine Beschädigung des Objektstatus nachzudenken und Aufrufer, die Zwischenwerte sehen. Für viele Menschen ist es daher einfacher, mit Ausnahme des Codierungsstils keine Ausnahmen zu sagen . Wenn Sie die Art des Codes einschränken, den Sie schreiben, ist es schwieriger, diese Fehler einzuführen. Wenn Sie dies nicht tun, ist es ziemlich einfach, einen Fehler zu machen.
Es wurden ganze Bücher über ausnahmesichere Codierung in C ++ geschrieben. Viele Experten haben es falsch verstanden. Wenn es wirklich so komplex ist und so viele Nuancen hat, ist das vielleicht ein gutes Zeichen dafür, dass Sie diese Funktion ignorieren müssen. :-)