带默认参数的C++依赖注入：对象生命周期管理咨询

你的核心问题是原代码用引用持有依赖，但引用无法接管临时默认对象的生命周期——如果直接给构造函数加MyDependency()作为默认参数，这个临时对象会在构造函数执行完毕后立即销毁，导致MyClass中的引用悬空，引发未定义行为。而std::move之所以失败，是因为引用本身不具备所有权，无法通过move转移对象的归属权。

下面给出两种可行的解决方案：

方案一：使用std::unique_ptr实现独占所有权管理 #

将MyClass的成员改为std::unique_ptr<IMyDependency>，让MyClass完全拥有依赖对象的所有权，默认参数直接创建MyDependency实例并转移所有权：

#include <memory>

// 定义基类与实现类
class IMyDependency {
public:
    virtual ~IMyDependency() = default; // 必须声明虚析构函数，确保多态销毁
    // 在此添加你的纯虚接口方法
};

class MyDependency : public IMyDependency {
    // 实现IMyDependency的接口逻辑
};

class MyClass {
    std::unique_ptr<IMyDependency> dependency;
public:
    // 构造函数：外部可传入自定义依赖（转移所有权），默认创建MyDependency实例
    explicit MyClass(std::unique_ptr<IMyDependency> dep = std::make_unique<MyDependency>())
        : dependency(std::move(dep)) {}
};

说明： #

• std::unique_ptr是独占型智能指针，确保同一时间只有MyClass持有该依赖对象的所有权，对象生命周期与MyClass完全绑定。
• std::make_unique<MyDependency>()在堆上创建MyDependency实例，返回的unique_ptr会自动管理其内存释放。
• explicit关键字避免隐式转换，符合C++最佳实践。

方案二：使用std::shared_ptr实现共享所有权管理 #

如果你的依赖对象需要被多个组件共享（比如其他类也需要持有该对象的引用），可以改用std::shared_ptr：

#include <memory>

class IMyDependency {
public:
    virtual ~IMyDependency() = default;
};

class MyDependency : public IMyDependency {};

class MyClass {
    std::shared_ptr<IMyDependency> dependency;
public:
    explicit MyClass(std::shared_ptr<IMyDependency> dep = std::make_shared<MyDependency>())
        : dependency(std::move(dep)) {}
};

说明： #

• std::shared_ptr通过引用计数管理对象生命周期，只有当所有持有该指针的对象都被销毁后，依赖对象才会被释放。
• 同样支持外部传入自定义依赖，灵活满足不同场景需求。

为什么不能用引用或值类型？ #

• 引用：无法接管临时对象的所有权，默认参数的临时对象会立即销毁，导致引用悬空。
• 值类型：如果直接用IMyDependency作为成员，会触发对象切片（slicing），丢失MyDependency的多态特性，无法正确调用子类的实现。

内容的提问来源于stack exchange，提问作者Madden