构造函数可抛出异常以通知初始化失败，C++会自动清理已构造成员并防止内存泄漏；析构函数不应抛出异常，否则在栈展开时可能导致程序终止。1. 构造函数抛异常时，已构造成员逆序析构，未完成对象不调用析构函数。2. 动态分配中，构造异常会自动调用匹配的operator delete。3. 析构函数若在异常传播期间抛出新异常，将触发std::terminate()。4. 析构函数应捕获内部异常并处理，通过日志或状态标记报告错误。5. RAII设计下需确保资源释放操作安全，避免未处理异常。构造函数异常安全可用，析构函数异常必须避免。
在C++中，构造函数可以抛出异常，而析构函数一般不建议抛出异常。这两类函数在异常处理上有不同的机制和风险，需要特别注意。
构造函数可以抛出异常
当对象构造过程中发生错误（如资源分配失败、参数非法等），构造函数可以通过抛出异常来通知调用者构造失败。
此时，由于对象并未完全构造成功，C++保证：
- 已构造的成员变量会按逆序自动调用其析构函数（如果已构造完成）
- 不会调用该对象的析构函数（因为构造未完成）
- 动态分配时，若构造函数抛异常，对应的 operator delete 会被自动调用，防止内存泄漏（前提是正确匹配 new 和 delete）
class Resource {
public:
Resource() {
ptr = new int[1000];
if (/* 某些条件失败 */) {
throw std::runtime_error("Allocation failed");
}
}
private:
int* ptr;
};
// 若抛出异常，new 出的内存会被自动释放
Resource* r = new Resource(); // 可能抛异常，但不会内存泄漏
析构函数不应抛出异常
C++标准明确指出：如果在栈展开（stack unwinding）过程中，一个析构函数抛出了异常，并且此时程序正处于另一个异常的处理流程中（即“异常已经抛出但未被捕获完”），则会直接调用 std::terminate()，导致程序终止。
立即学习“C++免费学习笔记（深入）”；
这通常发生在异常传递过程中，多个对象析构时其中一个抛出异常。
- 析构函数中应尽量避免抛出异常
- 如有必要处理错误，应内部捕获并处理，或记录日志，而不是向上抛出
~MyClass() {
try {
close_file();
} catch (...) {
// 记录错误，但不抛出
log("Failed to close file");
// 不 throw;
}
}
为什么析构函数抛异常很危险？
考虑以下场景：
- 一个异常正在传播
- 局部对象开始析构
- 某个析构函数又抛出新异常
此时C++无法同时处理两个未决异常，只能终止程序。这就是所谓的“双重异常”问题。
最佳实践总结
- 构造函数可以抛异常 —— 合理用于表示初始化失败
- 析构函数绝不主动抛出异常 —— 应捕获所有可能异常
- 使用 RAII 时确保资源释放操作不会引发未处理异常
- 若必须报告错误，可通过日志、状态标志等方式替代抛出
基本上就这些。构造函数异常是安全且常用的设计手段；而析构函数抛异常则是潜在的程序崩溃风险，应当严格避免。
