1 ;;Quote: C++ containers are exception-safe generic components; no cost for normal operation, exceptions for cost comparable to a function call

1 ;;Quote: exception-neutrality for generic components; exceptions thrown by type parameters are passed unchanged to the component's caller

2 ;;Quote: exception-safety provides the basic-guarantee and may provide strong or no-throw guarantees; destructors do not throw exceptions

2+;;Quote: basic-guarantee of exception-safety -- invariants preserved and no resource leaks

2+;;Quote: strong-guarantee of exception-safety -- either an operation completes successfully or an exception occurs without changing the program state

4 ;;Quote: examine non-const operations for exception-safety; e.g., strong guarantee for set::insert, and no-throw guarantee for an iterator's copy constructor

4 ;;Quote: automated test of exception-safety; ThisCanThrow() throws an exception when a global counter becomes zero; rerun with increasing values of the counter; operations must be exception-neutral