C++子类对象初始化基类引用为何引发悬垂引用？求修复方案

问题背景 #

现有代码定义了类A、基类B_parent、子类B_child（构造函数初始化A的引用），以及包含A和B_parent引用的类C。C的第一个构造函数接收外部A和B_parent对象可正常运行，但第二个构造函数（仅接收A，初始化_b为B_child(a)）触发段错误；用指针改写后存在内存泄漏，需解答以下问题：

1. 第二个构造函数为何出现悬垂引用？ #

在C的第二个构造函数初始化列表中，_b(B_child(a))创建了一个临时B_child对象。根据C++规则：临时对象的生命周期仅会在绑定到函数作用域内的引用时延长至引用生命周期结束，但绑定到类成员引用时，临时对象的生命周期只持续到构造函数的初始化阶段完成（即构造函数执行完毕后立即销毁）。

当构造函数执行完，临时B_child对象被销毁，_b作为类成员引用，此时指向的是已释放的内存，成为悬垂引用。后续调用c2.foo()时访问_b.foo()，会触发未定义行为（如段错误）。

2. 如何修复该错误？ #

有两种可靠的修复方案，可根据需求选择：

方案一：持有默认成员对象（无堆分配，高效）

让C类内部持有一个B_child类型的成员对象，当需要默认值时，将_b绑定到该成员。这样默认对象的生命周期与C实例一致，避免悬垂引用：

class C
{
    const A &_a;
    B_child _default_b; // 内部持有默认B_child对象
    const B_parent &_b;

public:
    // 外部传入B_parent对象时，_b绑定到外部对象
    C(const A &a, const B_parent &b) : _a(a), _default_b(a), _b(b) {}
    // 仅传入A时，_b绑定到内部的_default_b
    C(const A &a) : _a(a), _default_b(a), _b(_default_b) {}

    void foo() const
    {
        cout << "foo() from class C\n";
        _a.foo();
        _b.foo();
    }
};

方案二：用智能指针管理动态对象（支持多态，无内存泄漏）

如果需要保持对任意B_parent子类的多态支持，可使用std::unique_ptr管理动态分配的对象，智能指针会在C实例销毁时自动释放内存，避免泄漏：

#include <memory> // 需包含智能指针头文件

class C
{
    const A &_a;
    std::unique_ptr<const B_parent> _b; // 用智能指针替代引用

public:
    // 外部传入B_parent对象时，复制对应子类对象（避免切片）
    C(const A &a, const B_child &b) : _a(a), _b(std::make_unique<B_child>(b)) {}
    // 仅传入A时，动态创建B_child对象
    C(const A &a) : _a(a), _b(std::make_unique<B_child>(a)) {}

    void foo() const
    {
        cout << "foo() from class C\n";
        _a.foo();
        _b->foo();
    }
};

注：若需支持任意B_parent子类传入，建议将构造函数改为接收std::unique_ptr<const B_parent>，直接转移所有权，彻底避免切片问题。

3. 为C的_b引用提供默认对象的更优实现方式是什么？ #

优先选择方案一：持有内部默认成员对象，原因如下：

• 无需堆内存分配，性能更高，完全避免内存泄漏风险；
• 默认对象的生命周期与C实例严格绑定，不存在悬垂引用隐患；
• 代码实现简单，无需额外的智能指针或内存管理逻辑。

如果业务需求必须支持多态（即_b可能指向任意B_parent子类的默认对象），则方案二的智能指针实现是更优选择，它既能保证多态性，又能通过智能指针自动管理内存，避免泄漏。

内容的提问来源于stack exchange，提问作者Ivan K.