构造函数中抛出异常时，已构造的成员变量会自动调用析构函数释放资源，因此应使用RaiI和智能指针避免手动管理资源。1. c++保证部分构造对象的已构造成员能被正确清理；2. 使用std::unique_ptr等智能指针管理动态内存，防止泄漏；3. 复杂初始化可采用局部RAII对象完成两阶段提交，确保强异常安全；4. 静态共享资源应通过函数局部静态智能指针实现线程安全与异常安全的初始化。坚持RAII原则可有效实现异常安全的构造过程。
构造函数中抛出异常是C++中常见但容易引发资源泄漏的问题。由于对象在构造过程中尚未完全建立，一旦发生异常，系统不会调用析构函数，因此必须确保已分配的资源能被正确释放。要实现异常安全的构造函数，关键在于使用RAII（Resource Acquisition Is Initialization）原则和智能指针等机制。
构造函数中异常的基本行为
当构造函数执行过程中抛出异常，该对象的析构函数不会被调用，因为对象被视为未构造完成。但其基类子对象和成员变量若已构造完成，则它们的析构函数会自动被调用——这是C++标准保证的“部分构造对象清理”机制。
例如：
class ResourceHolder { FileHandle fh; NetworkSocket ns; public: ResourceHolder() : fh(“file.txt”), ns(8080) { // 若ns构造时抛出异常，fh已构造完毕，其析构函数会被自动调用 } };
这意味着只要每个成员都遵循RAII，即使构造失败也能自动清理资源。
立即学习“C++免费学习笔记（深入）”；
避免手动资源管理
在构造函数中直接使用裸指针或手动调用new/delete极易导致泄漏。比如：
class BadExample { char* buffer; public: BadExample() { buffer = new char[1024]; might_throw(); // 若这里抛出异常，buffer不会被delete } ~BadExample() { delete[] buffer; } };
正确的做法是使用智能指针：
#include <memory>
class goodExample {
std::unique_ptr<char[]> buffer;
public:
GoodExample() {
buffer = std::make_unique<char[]>(1024);
might_throw(); // 异常抛出时，unique_ptr析构自动释放内存
}
};
这样即使构造中途失败，已初始化的成员仍会被清理。
使用局部RAII对象辅助初始化
对于复杂初始化逻辑，可以在构造函数体内使用局部智能资源对象，待全部成功后再移交所有权。
例如：
class ComplexResource { std::unique_ptr
public:
ComplexResource(const std::String& path) {
auto temp_file = std::make_unique
temp_file->open();
auto temp_db = std::make_unique<Database>(); temp_db->connect(); // 只有全部成功才赋值给成员 file = std::move(temp_file); db = std::move(temp_db); }};
这种“两阶段提交”方式确保要么全部成功，要么不修改对象状态，符合强异常安全保证。
静态成员或共享资源的异常处理
若构造函数依赖静态资源（如单例、全局句柄），应确保这些资源的获取也是异常安全的。建议将共享资源封装为静态智能指针或使用动态初始化+函数局部静态变量模式：
Logger& get_logger() { Static auto logger = std::make_unique
利用C++11后静态局部变量初始化的线程安全性和异常安全性，避免构造期资源竞争。
基本上就这些。只要坚持用RAII管理所有资源，避免在构造函数中做可能失败又无法回滚的操作，就能写出异常安全的C++代码。不复杂但容易忽略细节。