C++中构造函数的作用是初始化对象，当构造函数执行过程中抛出异常时，意味着对象没有完全构造完成，此时对象的生命周期不会正式开始，已经初始化的子对象会被自动析构，但未正确管理的动态资源可能出现泄漏问题。
构造函数抛出异常的直接影响
当构造函数执行到某一步抛出异常时，C++的运行时会执行栈展开操作，对于已经构造完成的成员对象和基类子对象，会自动调用它们的析构函数，保证这些子对象的资源被正确释放。但是构造函数本身没有返回值，无法通过返回值判断构造是否成功，异常成为唯一的失败通知方式。
需要注意的是，如果构造函数中直接通过new分配了内存，且在分配后、对象完全构造完成前抛出了异常，此时还没有执行对应的delete操作，就会出现内存泄漏。看下面的示例代码：
#include <iostream>
#include <stdexcept>
class Resource {
public:
Resource() {
std::cout << "Resource constructed" << std::endl;
}
~Resource() {
std::cout << "Resource destroyed" << std::endl;
}
};
class TestClass {
private:
Resource* res;
int value;
public:
TestClass(int v) : value(v) {
res = new Resource(); // 先分配资源
if (v < 0) {
throw std::invalid_argument("value cannot be negative"); // 构造中途抛异常
}
std::cout << "TestClass constructed" << std::endl;
}
~TestClass() {
delete res;
std::cout << "TestClass destroyed" << std::endl;
}
};
int main() {
try {
TestClass obj(-1);
} catch (const std::exception& e) {
std::cout << "catch exception: " << e.what() << std::endl;
}
return 0;
}
上述代码执行后，输出结果为：
Resource constructed catch exception: value cannot be negative
可以看到，Resource对象被构造后，因为TestClass构造函数抛异常，TestClass的析构函数没有被调用，new出来的Resource指针没有对应的delete操作，最终造成内存泄漏。
对象构造失败的处理方法
1. 使用RAII机制管理资源
RAII（资源获取即初始化）是C++中管理资源的核心思想，将资源封装在栈对象中，利用栈对象的自动析构特性释放资源。如果成员对象本身遵循RAII原则，即使构造函数抛异常，成员对象的析构函数也会被自动调用，释放其持有的资源。
修改上面的TestClass，用std::unique_ptr管理动态资源：
#include <iostream>
#include <stdexcept>
#include <memory>
class Resource {
public:
Resource() {
std::cout << "Resource constructed" << std::endl;
}
~Resource() {
std::cout << "Resource destroyed" << std::endl;
}
};
class TestClass {
private:
std::unique_ptr<Resource> res;
int value;
public:
TestClass(int v) : value(v) {
res = std::make_unique<Resource>();
if (v < 0) {
throw std::invalid_argument("value cannot be negative");
}
std::cout << "TestClass constructed" << std::endl;
}
~TestClass() {
std::cout << "TestClass destroyed" << std::endl;
}
};
int main() {
try {
TestClass obj(-1);
} catch (const std::exception& e) {
std::cout << "catch exception: " << e.what() << std::endl;
}
return 0;
}
此时执行输出为：
Resource constructed Resource destroyed catch exception: value cannot be negative
因为std::unique_ptr是RAII对象，构造函数抛异常时，已经构造的res成员会自动调用析构函数，释放持有的Resource对象，避免了内存泄漏。
2. 构造函数内手动捕获异常并释放资源
如果不使用智能指针，也可以在构造函数内部用try-catch块捕获异常，手动释放已经分配的资源后再重新抛出异常，保证资源不泄漏：
#include <iostream>
#include <stdexcept>
class Resource {
public:
Resource() {
std::cout << "Resource constructed" << std::endl;
}
~Resource() {
std::cout << "Resource destroyed" << std::endl;
}
};
class TestClass {
private:
Resource* res;
int value;
public:
TestClass(int v) : value(v), res(nullptr) {
try {
res = new Resource();
if (v < 0) {
throw std::invalid_argument("value cannot be negative");
}
std::cout << "TestClass constructed" << std::endl;
} catch (...) {
delete res; // 手动释放已分配的资源
throw; // 重新抛出异常
}
}
~TestClass() {
delete res;
std::cout << "TestClass destroyed" << std::endl;
}
};
int main() {
try {
TestClass obj(-1);
} catch (const std::exception& e) {
std::cout << "catch exception: " << e.what() << std::endl;
}
return 0;
}
这种方式也能避免资源泄漏，但代码冗余度更高，不如RAII方式简洁易维护。
3. 避免在构造函数中执行复杂逻辑
尽量让构造函数只做简单的初始化工作，不要把复杂的业务逻辑、可能抛异常的操作放在构造函数中。如果必须有复杂初始化，可以将初始化逻辑拆分到单独的init函数中，构造函数只做基础的成员赋值，init函数返回初始化结果或者抛出异常，这样开发者可以更清晰地控制初始化流程。
注意事项
- 构造函数抛出异常后，该对象的析构函数不会被调用，因为对象没有完全构造，生命周期没有正式开始。
- 如果类中有动态分配的数组成员，或者持有需要手动释放的句柄，一定要用RAII对象封装，避免构造失败时的资源泄漏。
- 不要在析构函数中抛出异常，否则如果构造函数已经抛异常导致栈展开，再在栈展开过程中析构函数抛异常，程序会直接终止。
总结来说，C++构造函数抛出异常会导致对象构造失败，已经构造的子对象会被自动析构，但未妥善管理的动态资源容易泄漏，最佳的处理方式是使用RAII机制封装所有资源，从源头避免泄漏问题。