|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|
This avoids that the object throwing an exception is left in an inconsistent (undefined) state. For more details see [Abrahams].
|ISC++ Rec. 12.10|