Новые места размещения и исключения

Смысл использования синтаксиса размещения заключается в достижении нестандартного распределения, поэтому обычно требуется нестандартное освобождение. Следовательно, предпринимаемые действия зависят от используемого распределителя.

Ваша задача — указать правильный адрес для трудоустройства новичка.

ОТРЕДАКТИРОВАНО В ОТВЕТ НА КОММЕНТАРИИ: -

#include <new>        // Must #include this to use "placement new"
#include "Fred.h"     // Declaration of class Fred

    void someCode()
    {
      char memory[sizeof(Fred)];     // Line #1     //Allocate enough memory.
      void* place = memory;          // Line #2     // There's no need for this.

      Fred* f = new(place) Fred();   // Line #3 (see "NOTE" below)
      // The pointers f and place will be equal

      ...
    }

ПРИМЕЧАНИЕ. Вы берете на себя единоличную ответственность за то, чтобы указатель, который вы передаете оператору «размещение нового», указывал на область памяти, которая достаточно велика и правильно выровнена для типа объекта, который вы создаете. Ни компилятор, ни система времени выполнения не пытаются проверить, правильно ли вы это сделали. Если ваш класс Fred должен быть выровнен по 4-байтовой границе, но вы указали местоположение, которое не выровнено должным образом, вы можете столкнуться с серьезной катастрофой.

Короче говоря, это означает, что вы должны быть осторожны с использованием размещения new ИЛИ, если вы такой парень, как я, никогда не используйте его :)

Надеюсь, это рассеет ваши сомнения.

Чтобы понять, что делает эта функция, я думаю, необходимо взглянуть на то, что делает new-expression: она вызывает функцию распределения, чтобы получить хранилище для объекта, затем создает этот объект в область памяти, указанную функцией выделения (путем возврата указателя на указанную область памяти).

Это означает, что конструкция никогда не выполняется самой функцией распределения. Функция распределения имеет странное имя operator new.

Можно указать дополнительные параметры для функции распределения, используя синтаксис размещения-нового:

new int(5)        // non-placement form
new(1,2,3) int(5) // placement-form

Однако placement-new обычно относится к очень конкретному new-expression:

void* address = ...;
::new(address) int(5) // "the" placement-form

Эта форма предназначена для создания объекта в уже выделенной области памяти, т. е. она предназначена просто для вызова конструктора, но не для выполнения какого-либо выделения.

Для этого случая в базовом языке не было введено специального случая. Скорее, в Стандартную библиотеку была добавлена ​​специальная функция распределения:

void* operator new (std::size_t size, void* ptr) noexcept;

Будучи неоперативным (return ptr;), он позволяет явно вызывать конструктор для объекта, создавая его в заданном месте памяти. Этот вызов функции может быть устранен компилятором, поэтому накладные расходы не вводятся.

Размещение new существует для того, чтобы сделать возможными явные вызовы конструктора, нацеленные на произвольные буферы (для пользовательских распределителей, отладки и т. д.). Вот об этом.

Вы можете написать свой собственный, который проверяет его ввод.

Например: классу может потребоваться какое-то выравнивание, и вы подозреваете, что какой-то пользовательский аллокатор это подделал. Итак, вы даете классу новое размещение и смотрите, что происходит, когда указанный распределитель использует его.

Кажется, вы думаете, что функция может каким-то образом проверить переданный ей указатель.

Оно не может. В языковом стандарте нет ничего, что позволяло бы это. Конечно, проверка на случай nullptr возможна, но лишь незначительно.

Ошибки выравнивания строго UB, поэтому любая реализация вольна делать что угодно. (даже просто заставить его работать: x86)

Проверка того, достаточно ли велика область памяти, особенно не имеет смысла при размещении new, поскольку вполне вероятно, что пользовательский код также помещает в эту область другие вещи, и компилятор не может это проверить. Кроме того, C и C++ нигде не предлагают возможность проверить размер выделенной области памяти.