异常安全保证 Exception-safety guarantee

操作通过抛出异常退出时，对资源、不变量和可观察状态作出的承诺。