Exception-safety guarantee

A promise about resources, invariants, and observable state when an operation exits by throwing.