重置 std::shared_ptr 会导致重置其删除器吗?

Does resetting std::shared_ptr lead to resetting its deleter?

本文关键字:删除 shared std ptr 重置      更新时间:2023-10-16

也许我误解了 c++ 中智能指针的某些方面,但在执行此代码后:

class cls
{
public:
class deleter
{
public:
const cls& obj;
deleter(const cls& c) : obj(c) {}
void operator()(int* num)
{
std::cout << "deleter was called" << std::endl;
if (num)
{
std::cout << "num in deleter: " << *num << std::endl;
if (*num == *obj.int_ptr)
{
std::cout << "equal " << *num << " = " << *obj.int_ptr << std::endl;
delete num;
}
else
std::cout << "not equal" << std::endl;
}
}
};
std::shared_ptr<int> int_ptr;
cls() : int_ptr(nullptr,deleter(*this)) {}
};
int main()
{
cls obj;
obj.int_ptr.reset(new int{15});
return 0;   
}

输出:

deleter was called
0

我注意到 reset(( 从 shared_ptr 中删除了在其构造函数中传递给它的自定义删除器。相反,unique_ptr没有表现出这样的行为,这对我来说似乎很奇怪。

这到底是怎么回事呢?

std::shared_ptr将删除程序存储在控制块中。因此,您可以切换删除程序并将std::shared_ptr与各种删除程序一起使用,同时与指向相同数据的所有其他std::shared_ptr实例共享它。

std::unique_ptr不需要任何此类内容,并在必要时将删除程序存储在其实例中。此外,您还必须将删除器的用法指定为模板参数之一。

基本上,在std::shared_ptr删除器是数据的一部分,std::unique_ptr删除器是类的一部分。

当我们在 std::shared_ptr 上分配nullptr或调用重置时,它将在清理内存后清除指针和 getdeleter。unique_ptr的方式是不同的。

下面是库中的函数,它递减shared_ptr计数,如果reference_count为零,则继续销毁:

void _Decref() noexcept { // decrement use count
if (_MT_DECR(_Uses) == 0) {
_Destroy();
_Decwref();
}
}

因此,一旦重置并且引用_count为零,则自定义删除程序shared_ptr将因重置而被删除。

删除程序在 std::shared_ptr 中的存储方式与在 std::unique_ptr 中的存储方式不同。std::unique_ptr 使用空基优化 (EBO( 来存储删除程序,这意味着 std::unique_ptr 继承了删除程序。std::shared_ptr 不这样做,这就是删除程序 API 在两者之间不同的原因。