处理 stl 异常安全问题需遵循以下要点：1. 理解代码所处的异常安全等级，如无保证、基本保证、强保证或不抛异常；2. 使用 raii 技术管理资源，如智能指针、锁和文件封装类避免泄漏；3. 自定义类型中确保构造、拷贝、移动等关键操作尽可能不抛异常，并采用“复制并交换”模式；4. 明确所调用 stl 函数的异常安全级别，优先使用提供强保证的操作；5. 始终避免在析构函数中抛出异常以防止程序终止。
处理 STL 中的异常安全问题，关键在于理解在异常抛出时如何保护资源不泄漏、数据结构保持一致。STL 本身大部分操作是基本异常安全（basic exception safety）或强异常安全（strong exception safety），但在实际使用中，尤其是结合自定义类型和复杂逻辑时，我们仍需小心应对。
异常安全等级：你知道你的代码属于哪一级吗
C++ 中通常将异常安全分为几个等级：
- 无异常安全（no exception safety）：异常抛出后状态不可预测。
- 基本保证（basic guarantee）：不会泄漏资源，对象处于有效但不确定的状态。
- 强保证（strong guarantee）：操作要么成功，要么不改变状态。
- 不抛异常（nothrow）：保证不会抛出异常。
STL 容器多数提供基本保证，某些操作（如
push_back）可能提供强保证，前提是元素类型的构造、拷贝等操作也是强保证的。因此，在使用 STL 时要清楚你使用的函数在异常下的行为。
资源管理策略：RAII 是你的最佳朋友
异常发生时最容易出问题的就是资源泄漏，比如内存、文件句柄、锁等没有正确释放。这时候 RAII（Resource Acquisition Is Initialization）就派上用场了。
- 使用智能指针（如
std::unique_ptr
和std::shared_ptr
）来自动管理堆内存。 - 对于锁，使用
std::lock_guard
或std::unique_lock
，避免手动加锁解锁导致异常路径下死锁。 - 文件操作可以封装成类，析构函数中自动关闭文件。
举个例子，如果你直接调用
new分配内存然后插入到容器里，一旦插入失败抛出异常，那前面分配的内存就会泄漏。而换成
std::vector<std::unique_ptr<T>>，就能自动管理内存，即使抛出异常也不会泄漏。
在自定义类型中注意异常传播
当你把自定义类型放入 STL 容器中时，这些类型的构造函数、拷贝赋值、移动操作是否安全，会直接影响整个容器操作的异常安全性。
例如：
- 如果你的类的拷贝构造函数可能抛出异常，那么像
vector
的resize()
或push_back()
操作就无法保证强异常安全。 - 建议尽可能让关键操作（如移动构造、析构）不抛出异常，并标记为
noexcept
。 - 避免在构造函数中做可能失败的操作，或者确保有回滚机制。
一个常见做法是使用“复制并交换”（copy and swap）惯用法实现赋值操作，这样可以在拷贝阶段完成所有可能失败的操作，再进行无异常风险的交换。
总结一下怎么做更稳妥
- 使用 RAII 类型管理资源，避免手动清理。
- 尽量使用 STL 提供的强异常安全接口。
- 自定义类型中尽量做到关键操作不抛异常。
- 理解你调用的 STL 函数的异常安全级别。
- 不要在析构函数中抛出异常，否则可能导致程序终止。
基本上就这些，虽然看起来不算特别难，但在组合多个操作时容易忽略某个细节，导致异常路径下出现未定义行为。
