为什么unique_ptr不能推断出删除器的类型？

Question

假设我想使用带有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

？

不能推断出删除器的类型吗？

Answer 1

对于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);
}

Answer 2

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

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

这使得unique_ptr成为拥有指针的轻量级，几乎无成本的替代品。

可以完成Deductin，但必须更改结果unique_ptr的类型。

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