Использует ли 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()?
Решение
Да, это стандартное поведение. Из стандарта (§20.7.2.2.6 shared_ptr создание ):
Эффекты: выделяет память, подходящую для объекта типа T, и создает объект в этой памяти посредством размещения нового выражения
::new (pv) T(std::forward<Args>(args)...).
Это позволяет make_shared для обеспечения эффективности выделять хранилище как для объекта, так и для структуры данных для самого общего указателя («блока управления») в одном выделении.
Вы могли бы использовать std::allocate_shared если вы хотите контролировать это распределение памяти.
Другие решения
Чтобы расширить правильный ответ Мэта, 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,