namespace, invariant, throw-try-catch (out_of_range, bad_alloc, length_error), static_assert.