异常安全不是二元的——它是一个承诺的层级

很多开发者认为"异常安全"就是"加try/catch"。实际上异常安全是一个三级承诺体系——基本保证（不崩溃）、强保证（完全回滚）、不抛出保证（绝不抛异常）。不同的组件和操作应该承诺不同级别，混淆这些级别会导致要么过度工程、要么安全性不足。