| Synopsis: | Before letting any exceptions propagate out of a member function, make certain that the class invariant holds and, if possible, leave the state of the object unchanged |
| Language: | C++ |
| Severity Level: | 1 |
| Category: | Error Handling |
| Description: |
This avoids that the object throwing an exception is left in an inconsistent (undefined) state. For more details see [Abrahams]. |