std::move转移unique_ptr初始化报use of deleted function错误排查

• 直接触发报错的原因：Child::function1() 被声明为const成员函数，在const成员函数的上下文内，继承自父类Parent的成员d_retriever_up属于const限定的std::unique_ptr<Retriever>类型。而std::unique_ptr是独占所有权的智能指针，传入需要接收std::unique_ptr参数的构造函数时，必须通过std::move转移所有权，这个操作会修改原指针将其置空，无法在const对象上执行，因此触发编译错误。
• 代码中另外两处严重逻辑隐患：
  • Parent和Provider类自定义的拷贝构造函数完全不符合语义要求：拷贝构造函数接收const引用的原对象，本不应该修改原对象内容，但实现中直接std::move了const对象内智能指针持有的资源，会导致原const对象的智能指针悬空，属于未定义行为。
  • 上述拷贝构造函数的写法本质是绕过了std::unique_ptr禁用拷贝的限制，逻辑完全错误，std::unique_ptr本身就不支持拷贝，这种写法实现的根本不是合法的拷贝逻辑。

首先明确Provider使用Retriever的所有权语义，二选一调整：

• 方案1（推荐，适配当前const成员函数的场景）：Provider不需要持有Retriever的所有权，仅做临时访问
  1. 修改Provider构造函数参数，将std::unique_ptr<Retriever>改为Retriever&或Retriever*，类内对应成员也改为引用/裸指针，不持有所有权
  2. 构造Provider时直接传入*d_retriever_up或d_retriever_up.get()即可，不需要做所有权转移，完全兼容const成员函数的限制
  3. 删除Parent和Provider中错误的自定义拷贝构造函数，不需要拷贝就直接用= delete禁用拷贝构造；如果确实需要拷贝，就对Retriever做深拷贝，通过std::make_unique<Retriever>(*原指针)构造新的unique_ptr，绝对不能move const原对象的资源。
• 方案2：Provider确实需要接管Retriever的所有权
  1. 移除Child::function1声明和实现上的const限定——转移成员的所有权属于修改对象核心状态的操作，本身就不应该放在const成员函数中
  2. 构造Provider时显式调用std::move(d_retriever_up)完成所有权转移，注意转移后当前对象的d_retriever_up会变为空指针，后续访问需要先判空避免崩溃
  3. 同样删除两个类中错误的拷贝构造实现，按实际需求禁用或正确实现深拷贝。

// provider.h 修正后
class Provider {
public:
    Provider(Impl& context, Retriever& retriever);
    ~Provider() = default;
    // 禁用不符合语义的拷贝
    Provider(const Provider&) = delete;
    Provider& operator=(const Provider&) = delete;
private:
    Impl& d_impl;
    Retriever& d_retriever; // 仅持有引用，不管理生命周期
};

// provider.cpp 修正后
Provider::Provider(Impl& impl, Retriever& retriever)
: d_impl(impl), d_retriever(retriever)
{}

// child.cpp 中function1修正后
T::Y Child::function1() const
{
    Provider provider(d_impl, *d_retriever_up);
    // 其余业务逻辑
    return Y;
}

// parent.h 修正后，删除错误的拷贝构造
class Parent {
public:
    explicit Parent(Impl& impl, std::unique_ptr<Retriever> retriever_up);
    virtual ~Parent() = default;
    Impl& d_impl;
    std::unique_ptr<Retriever> d_retriever_up;
private:
    Parent(const Parent&) = delete;
    Parent& operator=(const Parent&) = delete;
};

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