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()的標准行為嗎？

Answer 1

是的，這是標准行為。 從標准（§20.7.2.2.6shared_ptr 創建 ）：

效果：分配適合T類型對象的內存，並通過放置新表達式::new (pv) T(std::forward<Args>(args)...).構造該內存中的對象::new (pv) T(std::forward<Args>(args)...).

由於效率原因，這允許make_shared在單個分配中為共享指針本身（“控制塊”）分配對象和數據結構的存儲。

如果要控制存儲分配，可以使用std::allocate_shared 。

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 。 然后，您將使用位置(void*)&m_storage placement new構建您的類型。