Для чего нужен placement new в C++ и как его правильно использовать?

Что такое placement new и зачем он нужен?

Placement new — это особая форма оператора new, которая не выделяет память, а конструирует объект по уже существующему адресу. В отличие от обычного new, который делает две вещи: выделяет память (через operator new) и вызывает конструктор, placement new выполняет только вторую часть. Это даёт полный контроль над управлением памятью.

Основные сценарии использования:

• Пользовательские аллокаторы (пулы памяти, арены, стеки) — когда нужно выделить большой блок заранее и раздавать объекты из него без обращения к системному аллокатору.
• Встраиваемые системы — где нет динамической памяти в привычном смысле, а есть фиксированный буфер.
• Контейнеры низкого уровня — например, std::vector использует placement new внутри себя для размещения элементов в заранее выделенном массиве.
• Переиспользование памяти — когда один и тот же буфер используется для объектов разных типов (например, в union-подобных структурах).
• Оптимизация производительности — избегание накладных расходов на частые выделения/освобождения памяти.

Почему нужно вызывать деструктор вручную?

Так как placement new не владеет памятью, он не знает, когда и как её освобождать. Соответственно, при "удалении" объекта вы не можете использовать delete — это бы вызвало двойное освобождение памяти. Вместо этого нужно:

1. Явно вызвать деструктор: p->~MyStruct();
2. Освободить память тем способом, которым она была выделена (free, munmap или возврат в пул).

Это разделяет время жизни объекта (от конструктора до деструктора) и время жизни памяти (от выделения до освобождения).

Подводные камни и правильное использование

• Выравнивание (alignment): память должна быть выровнена под тип объекта. Используйте alignof и std::aligned_storage или std::align. Для простых типов malloc даёт выравнивание до alignof(std::max_align_t), но для перегруженных типов (например, __m256) это может не подойти.
• Не используйте delete: вызов delete p на объекте, созданном через placement new, — неопределённое поведение (undefined behavior).
• Исключения: если конструктор выбросил исключение, placement new не выделял память, поэтому освобождать её не нужно. Но если вы уже выделили память до вызова, она останется занятой — это ваша ответственность.
• Массивы: placement new для массивов (new (buf) MyStruct[10]) работает, но требует осторожности — стандартная реализация может хранить дополнительную информацию о количестве элементов. Лучше создавать объекты по одному в цикле.

Пример с правильным выравниванием

#include <new>
#include <cstdlib>
#include <type_traits>

struct alignas(64) AlignedStruct {
    double data[8];
    AlignedStruct() { /* ... */ }
};

int main() {
    // Выделяем память с выравниванием 64 байта
    void* buffer = std::aligned_alloc(alignof(AlignedStruct), sizeof(AlignedStruct));
    if (!buffer) return 1;

    // Создаём объект
    AlignedStruct* p = new (buffer) AlignedStruct();

    // Используем...
    p->~AlignedStruct();   // явный вызов деструктора
    std::free(buffer);      // освобождаем исходную память
    return 0;
}

В C++17 и новее рекомендуется использовать std::aligned_alloc (но он есть не во всех реализациях) или _aligned_malloc на Windows. Альтернатива — std::byte массив с alignas.

Заключение

Placement new — мощный инструмент для низкоуровневого управления памятью. Он используется в стандартной библиотеке (например, в std::vector, std::optional, std::variant) и в высокопроизводительных системах. Главное правило: кто выделил память — тот и освобождает, а placement new только конструирует объект.