C++ - 定义自定义新建和删除运算符时make_shared

C++ - make_shared when custom new and delete operators are defined

本文关键字：运算符 make shared 删除定义自定义新建 C++ 更新时间：2023-10-16

关于Scot Meyers的"Effective Modern C++"一书，以及第21项："更喜欢std：：make_unique和std：：make_shared直接使用new"：

"一些类定义了自己的运算符new和运算符delete版本。通常，特定于类的例程仅用于分配和释放与类对象大小精确匹配的内存块。这样的例程不适合std::shared_ptr对自定义分配(通过std::allocate_shared)和释放(通过自定义删除器)的支持，因为std::allocate_shared请求的内存量不是动态分配对象的大小，而是该对象的大小加上控制块的大小。因此，使用 make 函数创建具有特定于类的运算符new和运算符delete版本的类型对象通常是一个糟糕的主意。

如果自定义new和delete在与标准new和delete相同的位置调用，为什么这对allocate_shared/make_shared来说是一个问题？

建设：运算符new仅用于构造资源对象，但make_shared/allocate_shared构造 constrol 块。

破坏：无论是否指定了自定义删除程序函数，调用delete时，应仅删除资源对象。Cntrol阻断取决于参考和弱计数。

那么为什么会有这样的句子："这样的例程不适合std::shared_ptr对自定义分配(通过std::allocate_shared)和释放(通过自定义删除器)的支持，因为std::allocate_shared请求的内存量不是动态分配对象的大小，而是该对象的大小加上控制块的大小。

std::make_unique很好，因为它不需要任何额外的数据(在一般情况下)。

问题std::make_shared。为了使std::shared_ptr工作，需要一些额外的数据：强引用计数器、弱引用计数器、删除器函数指针。

这意味着当你这样做时：std::shared_ptr<Foo>{raw_pointer}，std::shared_ptr将分配自己的缓冲区来保存这些数据。现在分配非常昂贵，因此引入了std::make_shared以优化堆的使用。它分配内存，该内存将在单个内存块中并排保存shared_ptr数据和指向的项目。它就地构造指向对象。

因此，当您对某个类具有自定义运算符new时，std::make_shared不会使用它。另一方面，如果您将原始指针传递给std::shared_ptr那么您将有两个内存块。