std::allocate_shared, std::allocate_shared_for_overwrite

template< class T, class Alloc, class... Args >
shared_ptr<T> allocate_shared( const Alloc& alloc, Args&&... args );

template< class T, class Alloc >
shared_ptr<T> allocate_shared( const Alloc& alloc, std::size_t N );

template< class T, class Alloc >
shared_ptr<T> allocate_shared( const Alloc& alloc );

template< class T, class Alloc >
shared_ptr<T> allocate_shared( const Alloc& alloc, std::size_t N,
                               const std::remove_extent_t<T>& u );

template< class T, class Alloc >
shared_ptr<T> allocate_shared( const Alloc& alloc,
                               const std::remove_extent_t<T>& u );

template< class T, class Alloc >
shared_ptr<T> allocate_shared_for_overwrite( const Alloc& alloc );

template< class T, class Alloc >
shared_ptr<T> allocate_shared_for_overwrite( const Alloc& alloc, std::size_t N );

Для allocate_shared, объект (или отдельные элементы массива для (2-5))(с C++20) уничтожаются с помощью выражения std::allocator_traits<A2>::destroy(a, p), где p — указатель на объект, а a — копия распределителя, переданного в allocate_shared, перенастроенный на тип уничтожаемого объекта.

Параметры

Возвращаемое значение

Указатель на экземпляр типа T.

Исключения

Может бросить исключения, выброшенные Alloc::allocate() или конструктором T. Если исключение брошено, (1) не оказывает никакого эффекта. Если исключение брошено во время построения массива, уже проинициализированные элементы уничтожаются в обратном порядке.(с C++20)

Примечания

Подобно std::make_shared, эта функция обычно выполняет только одно выделение и помещает как объект T, так и блок управления в выделенный блок памяти (стандарт рекомендует, но не требует этого, все известные реализации это делают). Копия alloc хранится в составе блока управления, чтобы её можно было использовать для освобождения памяти, когда счётчики общих и слабых ссылок достигнут нуля.

В отличие от std::shared_ptr constructors, std::allocate_shared не принимает отдельный пользовательский деструктор: используемый распределитель используется для уничтожения блока управления и объекта T, а также для освобождения их общего блока памяти.

Конструктор активирует shared_from_this с указателем ptr типа U* означает, что он определяет, имеет ли U явную и доступную(с C++17) базовую специализацию std::enable_shared_from_this, и если да, то конструктор оценивает утверждение:

if (ptr != nullptr && ptr->weak_this.expired())
    ptr->weak_this = std::shared_ptr<std::remove_cv_t<U>>(
                         *this, const_cast<std::remove_cv_t<U>*>(ptr));

Где weak_this — скрытый мутабельный член std::weak_ptr объекта std::enable_shared_from_this. Присвоение члена weak_this не является атомарным и конфликтует с любым потенциальным одновременным доступом к тому же объекту. Это гарантирует, что будущие вызовы shared_from_this() будут совмещать владение с std::shared_ptr созданным этим указателем.

Проверка ptr->weak_this.expired() в демонстрационном коде выше гарантирует, что weak_this не переприсваивается, если уже указывает владельца. Эта проверка необходима начиная с C++17.

Пример

См. также