带自定义Deleter的Derived类unique_ptr转Base类unique_ptr求助

这种转换默认不可行，但可以通过调整删除器设计或手动构造目标指针来实现。

问题原因 #

std::unique_ptr<T, D>的删除器D是类型的一部分，Deleter<Derived>和Deleter<Base>是完全独立的类型，编译器没有默认的转换规则。即便Derived继承自Base，只要删除器类型不兼容，就无法直接通过std::move完成转换。

解决方案 #

方案1：让删除器支持类型转换 #

给Deleter模板添加一个泛型转换构造函数，允许从其他类型的Deleter实例转换而来：

class Base
{
public:
    virtual ~Base() = default; // 必须加虚析构，避免销毁Derived对象时的未定义行为
};

class Derived : public Base
{
};

template <typename T> class Deleter
{
public:
    // 泛型转换构造函数，支持从Deleter<U>转换，只要U*可隐式转为T*
    template <typename U>
    Deleter(const Deleter<U>&) noexcept {}

    void operator()(T* pointer)
    {
        // 自定义销毁逻辑，示例：
        delete pointer;
    }
};

int main()
{
    std::unique_ptr<Derived,Deleter<Derived>> derived_pointer(new Derived(), Deleter<Derived>());
    std::unique_ptr<Base,Deleter<Base>> base_pointer = std::move(derived_pointer); // 现在可以正常编译
    return 0;
}

此时Deleter<Derived>可以隐式转换为Deleter<Base>，配合Derived*到Base*的向上转换，std::unique_ptr的移动构造函数就能正常工作。

方案2：手动构造目标unique_ptr #

如果不想修改删除器，可以手动提取源指针并构造目标指针：

class Base
{
public:
    virtual ~Base() = default; // 必须加虚析构
};

class Derived : public Base
{
};

template <typename T> class Deleter
{
public:
    void operator()(T* pointer)
    {
        delete pointer;
    }
};

int main()
{
    std::unique_ptr<Derived,Deleter<Derived>> derived_pointer(new Derived(), Deleter<Derived>());
    // 手动转移指针并构造目标删除器
    std::unique_ptr<Base,Deleter<Base>> base_pointer(
        derived_pointer.release(), 
        Deleter<Base>()
    );
    return 0;
}

注意：必须确保Base有虚析构函数，否则通过Base*删除Derived对象会触发未定义行为。

关键注意点 #

• 无论哪种方案，Base类必须包含虚析构函数，否则销毁Derived对象时只会调用Base的析构函数，导致资源泄漏或未定义行为。
• std::unique_ptr的删除器类型兼容性是转换的核心，只有当源删除器可以转换为目标删除器类型时，才能直接通过std::move完成转换。

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