Использует ли std:: make_shared() пользовательские распределители?

#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()?

Ответы

Ответ 1

Да, это стандартное поведение. Из стандарта (§20.7.2.2.6 shared_ptr creation):

Эффекты: выделяет память, подходящую для объекта типа T, и создает объект в этой памяти через новое выражение размещения ::new (pv) T(std::forward<Args>(args)...).

Это позволяет make_shared распределять память как для объекта, так и для структуры данных для самого общего указателя ( "блок управления" ) в одном распределении по соображениям эффективности.

Вы можете использовать std::allocate_shared, если хотите контролировать распределение хранилища.

Ответ 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.