Краткий ответ

После завершения времени жизни старого объекта placement new создаёт новый объект в той же области памяти, но старый указатель не всегда автоматически начинает обозначать новый объект. Для объекта с константным подобъектом стандарт может не считать замену прозрачной, поэтому обращение через прежний указатель недопустимо; std::launder получает указатель, связанный уже с новым объектом.

std::launder не создаёт объект, не продлевает его время жизни и не исправляет неверное выравнивание или недостаточный размер памяти. Он только возвращает корректный способ обратиться к объекту, который уже был создан в этой памяти.

Исторический контекст

В C++ память и время жизни объекта — разные понятия. Это необходимо для аллокаторов, контейнеров, пулов памяти, объединений и других низкоуровневых механизмов, где область памяти переиспользуется без повторного выделения.

Явное управление временем жизни появилось как следствие требования эффективно работать с сырой памятью, сохраняя при этом строгую модель объектов языка. Поэтому C++ отдельно регулирует создание объекта, завершение его времени жизни и допустимость использования прежних указателей после замены объекта.

Постановка проблемы

Пусть объект уничтожен или его время жизни завершено, после чего в той же памяти создан другой объект. Адрес может остаться тем же, но равенство адресов не означает, что любой старый указатель автоматически стал указателем на новый объект.

Если использовать указатель, который больше не обозначает существующий объект, результатом может быть неопределённое поведение. Особенно опасны такие ошибки в оптимизированной сборке: компилятор вправе полагаться на неизменность константных подобъектов и переиспользовать ранее вычисленные значения.

Подробное решение

placement new создаёт объект в заранее предоставленной памяти и возвращает указатель на него. Он не выделяет память обычным способом и не уничтожает прежний объект автоматически: если прежний объект ещё жив, его время жизни нужно завершить отдельно, а память должна иметь подходящий размер, выравнивание и пригодность для размещения нового объекта.

После создания нового объекта указатель автоматически продолжает обозначать новый объект только при условиях прозрачной замены. В частности, должны совпадать типы с учётом верхнеуровневых cv-квалификаторов, объекты не должны быть потенциально перекрывающимися подобъектами, а дополнительные ограничения стандарта не должны нарушаться.

Если прозрачная замена не применяется, используется std::launder. Он принимает указатель на адрес новой области объекта и возвращает указатель, через который разрешено обращаться к новому объекту:

#include <iostream>
#include <new>

struct X { const int value; };

int main() {
    X* p = new X{1};
    new (p) X{2};

    std::cout << std::launder(p)->value << '
';
    delete p;
}

В примере память не меняется, но время жизни первого X заканчивается, а затем начинается время жизни второго. std::launder(p) не является заменой для правильного уничтожения: перед повторным использованием памяти необходимо учитывать деструктор прежнего объекта и правила его вызова.

std::launder нужен не после каждого placement new. Если объекты прозрачно заменяемы, прежнее имя, ссылка или указатель могут использоваться для нового объекта без launder. Поэтому безусловное добавление std::launder не заменяет понимание правил времени жизни и может лишь усложнить код.

Ситуация из практики

В высокопроизводительном пуле памяти хранятся объекты разных типов. При повторном использовании слота разработчик создаёт новый объект placement new, но оставляет старые указатели на элементы слота. В тестах всё работает, однако оптимизатор может считать доступ через старый указатель недействительным и выдавать неожиданные результаты.

Рассматривались три варианта:

обычное динамическое выделение для каждого объекта — проще и безопаснее, но создаёт дополнительные накладные расходы и фрагментацию;
хранение объектов в std::variant или контейнере с готовым управлением временем жизни — безопаснее на уровне абстракции, но не всегда подходит для произвольных типов и специализированного пула;
явное управление временем жизни с placement new и корректным получением указателей после замены — эффективно, но требует строгого соблюдения правил стандарта.

Выбран третий вариант, потому что пул должен переиспользовать фиксированную память. Для каждого слота контролируются размер, выравнивание, завершение времени жизни старого объекта и получение нового указателя через std::launder там, где прозрачная замена не гарантирована. Это устраняет неопределённое поведение, сохраняя преимущества пула.

Что кандидаты часто упускают

Освобождает ли placement new память или уничтожает прежний объект?

Нет. Placement new только начинает время жизни нового объекта в указанном месте и возвращает указатель на него. Память должна быть предоставлена вызывающим кодом, а деструктор прежнего объекта при необходимости вызывается отдельно; освобождать эту память через delete можно только при соблюдении условий, соответствующих способу её получения.

Нужен ли std::launder после каждого создания объекта в прежней памяти?

Нет. При прозрачной замене старые указатели, ссылки и имена могут продолжать использоваться для нового объекта. std::launder требуется только в случаях, когда правила прозрачной замены не позволяют считать старую ссылку на объект автоматически ссылкой на новый, поэтому его вызов не должен быть механической частью любого placement new.

Продлевает ли std::launder время жизни объекта?

Нет. До вызова std::launder новый объект уже должен быть создан, а его время жизни — начаться. Функция лишь возвращает указатель, пригодный для обращения к существующему объекту; она не исправляет отсутствие объекта, неверное выравнивание, недостаточный размер хранилища или нарушение правил доступа к памяти.