17370845950

构造函数中new失败会抛std::bad_alloc，此时已构造的成员按逆序析构，对象内存自动释放，但未完成构造的部分不析构；应使用RAII（如unique_ptr）而非手动清理。

构造函数里 new 失败会怎样

直接抛 std::bad_alloc，这是 C++ 标准行为。但关键不在“抛不抛”，而在“抛了之后对象有没有被部分构造、析构

函数会不会被调用”。答案是：不会调用析构函数——因为对象根本没构造完成，this 指针无效，连虚表都可能没初始化完。

常见错误是手动 delete 已分配的资源再 throw，比如：

MyClass() {
    ptr1 = new int[100];
    ptr2 = new char[200]; // 这里失败
    delete[] ptr1; // 手动清理？错！容易漏、易重复、不异常安全
    throw std::runtime_error("oops");
}

正确做法是把资源交给 RAII 对象管理：

• 用 std::unique_ptr 替代裸指针，分配成功自动接管，失败时已构造的 unique_ptr 会正常析构（释放其持有的资源）
• 成员变量按声明顺序构造，也按逆序析构；所以把依赖资源的成员放在靠后的声明位置，能保证前面资源先析构
• 避免在构造函数里做复杂 I/O 或网络操作——这些失败不可控，且难以回滚

构造函数抛异常后，对象内存是否泄漏

不会泄漏。C++ 标准保证：如果构造函数抛出异常，编译器会自动调用已完成构造的成员对象的析构函数，并释放该对象占用的内存（即调用 operator delete）。注意：这只是栈上或 new 分配的原始内存，不是你手动 malloc 或 VirtualAlloc 的。

但有例外：

• 如果你重载了类的 operator new，且在其中做了额外资源分配（比如注册句柄），而没配套实现异常安全的 operator delete，那这部分资源就真漏了
• 使用 placement new 时，编译器不负责调用 operator delete，必须手动匹配调用 operator delete（哪怕构造失败）
• std::vector 等容器在扩容时内部调用 new 失败，也会抛异常，但它自己已确保无泄漏——前提是你的元素类型构造函数也是异常安全的

想“静默失败”返回空对象？别这么干

C++ 构造函数没有返回值，无法返回 nullptr 或 std::nullopt。试图用“构造函数设标志位 + 提供 valid() 成员”是反模式：对象逻辑上已存在，但处于无效状态，后续任何成员函数都得加运行时检查，极易遗漏。

更安全的替代方案：

• 用工厂函数返回 std::optional（C++17）或 std::unique_ptr，把构造逻辑和成败判断收口到一处
• 对资源敏感类型（如文件句柄、socket），优先用 std::expected（C++23）或第三方 outcome 库，显式表达可能失败
• 禁止默认构造，强制用户走工厂路径，从源头杜绝“半成品对象”被创建

继承体系中基类构造失败的影响

如果派生类构造函数开始执行，但基类构造函数抛异常，则派生类的成员**一个都不会构造**，也不会调用派生类的析构函数。整个对象生命周期止步于基类。

这意味着：

• 基类构造函数应尽量轻量，避免在其中申请多个资源；否则失败时，派生类完全不知道发生了什么
• 不要在基类构造函数里调用虚函数——此时虚表还没就绪，实际调用的是基类版本（即使你写了 virtual）
• 若需复杂初始化，把逻辑拆进一个 init() 成员函数，并明确文档说明“必须在构造后立即调用”，但这本质上放弃了异常安全保证

最棘手的其实是多继承：各基类按声明顺序构造，任一失败都会导致后续基类和所有成员跳过构造。调试时看到“某个成员的构造函数根本没进”，先查它前面的基类或成员是否抛了异常。