std::make_shared()是否使用自定义分配器

Does std::make_shared() use custom allocators?

本文关键字：分配器 是否 自定义 make shared std      更新时间：2023-10-16

考虑以下代码:

#include <memory>
#include <iostream>

class SomeClass {
public:
    SomeClass() {
        std::cout << "SomeClass()" << std::endl;
    }
    ~SomeClass() {
        std::cout << "~SomeClass()" << std::endl;
    }
    void* operator new(std::size_t size) {
        std::cout << "Custom new" << std::endl;
        return ::operator new(size);
    }
    void operator delete(void* ptr, std::size_t size) {
        std::cout << "Custom delete" << std::endl;
        ::operator delete(ptr);
    }
};

int main() {
    std::shared_ptr<SomeClass> ptr1(new SomeClass);
    std::cout << std::endl << "Another one..." << std::endl << std::endl;
    std::shared_ptr<SomeClass> ptr2(std::make_shared<SomeClass>());
    std::cout << std::endl << "Done!" << std::endl << std::endl;
}

下面是它的输出:

Custom new
SomeClass()
Another one...
SomeClass()
Done!
~SomeClass()
~SomeClass()
Custom delete

显然，std::make_shared()没有调用new操作符——它使用了一个自定义分配器。这是std::make_shared()的标准行为吗?

是的，这是标准行为。来自标准(§20.7.2.2.6 shared_ptr creation):

效果:为T类型的对象分配合适的内存，并通过放置new表达式::new (pv) T(std::forward<Args>(args)...).在该内存中构造一个对象

这允许make_shared在一次分配中为对象和共享指针本身的数据结构("控制块")分配存储，以提高效率。

你可以使用std::allocate_shared如果你想控制存储分配

为了进一步解释Mat的正确答案，make_shared通常是通过分配一个包含shared_ptr引用计数和未初始化字节缓冲区的对象来实现的:

template<typename T>
  struct shared_count_inplace
  {
    long m_count;
    long weak_count;
    typename std::aligned_storage<sizeof(T)>::type m_storage;
    // ...
  };

这是将在堆上分配的类型，而不是您的类型，因此不会调用您的类型的new。然后，您的类型将在位置(void*)&m_storage使用位置new来构造。

相关文章：