c++ - std::make_shared() 是否使用自定义分配器？

Question

考虑 this code :

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

Answer 1

是的，这是标准行为。从标准(§20.7.2.2.6 shared_ptr 创建):

Effects: Allocates memory suitable for an object of type T and constructs an object in that memory via the placement new expression ::new (pv) T(std::forward<Args>(args)...).

这允许 make_shared出于效率原因，在一次分配中为共享指针本身(“控制 block ”)分配对象和数据结构的存储空间。

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