为什么unique_ptr无法推断出删除程序的类型？

Why can't unique_ptr infer the type of the deleter?

本文关键字：删除程序 类型 推断出 unique ptr 为什么      更新时间：2023-10-16

假设我想使用带有unique_ptr的自定义删除器：

void custom_deleter(int* obj)
{
    delete obj; 
}

为什么我必须写这个：

std::unique_ptr<int, void(*)(int*)> x(new int, custom_deleter);

取而代之的是：

std::unique_ptr<int> x(new int, custom_deleter); //does not compile

？

无法推断删除程序的类型吗？

对于unique_ptr，删除器是以下类型的一部分：

template <
    class T,
    class Deleter = std::default_delete<T>
> class unique_ptr;

因此，在构造对象时，需要指定其类型。您正在写的行：

std::unique_ptr<int> x(new int, custom_deleter);

相当于：

std::unique_ptr<int, std::default_delete<int> > x(new int, custom_deleter);

而且您不能从custom_deleter构建std::default_delete<int>.

推断删除器类型的唯一方法是在该部分使用模板推导：

template <typename T, typename Deleter>
std::unique_ptr<T, Deleter> make_unique_ptr(T* ptr, Deleter deleter) {
    return std::unique_ptr<T, Deleter>(ptr, deleter);
}

它无法推断删除程序的类型，因为默认情况下unique_ptr没有专用于删除程序的状态：默认删除程序是无状态的。

在您的情况下，删除器需要一个指针的状态值，因此它不能"适合"std::unique_ptr的状态（这只是指向T的指针）。

这使得unique_ptr成为拥有指针的轻量级、几乎免费的替代品。

可以进行扣除，但必须更改结果unique_ptr的类型。

相比之下，shared_ptr始终具有删除器、两个不同的原子计数器和指向值的指针的状态容量。 它的重量更重，而不是指针的免费替代品。

相关文章：