std::make_shared()使用自定义分配器吗？

Question

考虑这段代码：

#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() 的标准行为吗？

- Mark Garcia

Answer 1

是的，这是标准行为。根据标准(§20.7.2.2.6 shared_ptr creation)：

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

这使得make_shared能够在单个分配中为对象和共享指针本身的数据结构("控制块")分配存储空间，以提高效率。

如果您想控制存储分配，则可以使用std::allocate_shared。

- Mat

---

std::allocate_shared(const A&, Args&&...) 值得一提。第一个参数是分配器，在其上调用 A::allocate。 - Joseph Mansfield

Answer 2

在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。然后会使用放置 new 在位置 (void*)&m_storage 的方法来构造你的类型。

- Jonathan Wakely