为何std::unique_ptr不允许引用类型删除器的多态转换？

核心原因很明确：std::unique_ptr<T, D>的类型完全由模板参数T和D决定，即便D是引用类型，DerivedDeleter&和BaseDeleter&也会被视为完全不同的类型。标准库并没有为std::unique_ptr<T, DerivedDeleter&>提供到std::unique_ptr<T, BaseDeleter&>的移动构造或转换支持——这是因为unique_ptr的设计追求零开销，删除器类型是编译期确定的，不会做运行时类型擦除或隐式跨类型转换。

虽然普通的DerivedDeleter&可以隐式转换为BaseDeleter&，但unique_ptr的模板实例化绑定的是整个删除器类型（包括引用修饰符），因此这两个unique_ptr属于不同类型，编译器不允许跨类型的移动操作。

解决方法：实现异构删除器的统一管理 #

如果需要将带有不同派生类删除器的unique_ptr存入同一个容器，有几种可行方案：

1. 使用指针类型的删除器 #

将删除器的模板参数改为基类指针BaseDeleter*，利用指针的向上转换特性：

#include <iostream>
#include <memory>
#include <vector>

struct BaseDeleter {
    virtual ~BaseDeleter() = default;
    virtual void operator()(int* p) const = 0;
};

struct DerivedDeleter : public BaseDeleter {
    void operator()(int* p) const override {
        std::cout << "DerivedDeleter called\n";
        delete p;
    }
};

int main() {
    DerivedDeleter d;
    std::unique_ptr<int, BaseDeleter*> p8(new int, &d);
    std::unique_ptr<int, BaseDeleter*> p9(std::move(p8)); // 正常编译

    std::vector<std::unique_ptr<int, BaseDeleter*>> vec;
    vec.push_back(std::move(p9));
    vec[0].reset(); // 调用DerivedDeleter的operator()
}

注意要保证删除器对象的生命周期长于unique_ptr，避免悬空指针。

2. 使用std::function作为删除器 #

用std::function<void(int*)>包装删除器，利用其类型擦除特性兼容不同删除器类型：

#include <iostream>
#include <memory>
#include <vector>
#include <functional>

struct BaseDeleter {
    virtual ~BaseDeleter() = default;
    virtual void operator()(int* p) const = 0;
};

struct DerivedDeleter : public BaseDeleter {
    void operator()(int* p) const override {
        std::cout << "DerivedDeleter called\n";
        delete p;
    }
};

int main() {
    DerivedDeleter d;
    // 用lambda包装删除器调用，值捕获可避免生命周期问题
    std::unique_ptr<int, std::function<void(int*)>> p8(new int, [d](int* p){ d(p); });
    std::unique_ptr<int, std::function<void(int*)>> p9(std::move(p8));

    std::vector<std::unique_ptr<int, std::function<void(int*)>>> vec;
    vec.push_back(std::move(p9));
    vec[0].reset();
}

这种方式会带来少量运行时开销，但灵活性很高。

3. 切换到std::shared_ptr（语义允许时） #

std::shared_ptr的删除器是类型擦除的，天然支持多态删除器，无需指定删除器模板参数：

#include <iostream>
#include <memory>
#include <vector>

struct BaseDeleter {
    virtual ~BaseDeleter() = default;
    virtual void operator()(int* p) const = 0;
};

struct DerivedDeleter : public BaseDeleter {
    void operator()(int* p) const override {
        std::cout << "DerivedDeleter called\n";
        delete p;
    }
};

int main() {
    DerivedDeleter d;
    std::shared_ptr<int> p8(new int, d);
    std::vector<std::shared_ptr<int>> vec;
    vec.push_back(p8);
    vec[0].reset(); // 调用DerivedDeleter的operator()
}

注意shared_ptr是共享所有权语义，若场景需要独占所有权则不适用。

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