Std::construct_at против размещения new; дополнительный вызов конструктора перемещения/копирования ⇐ C++

[Anonymous]

У меня есть функция, которая создает и возвращает значение типа класса Value.

Код: Выделить всё

Value compute();

Теперь я хочу создать новый объект типа Value в существующем хранилище и инициализировать его значением, возвращаемым вычислением. Когда я использую placement new для этой инициализации и применяется отложенная временная материализация/NRVO, новый объект инициализируется «напрямую».

Код: Выделить всё

new (storage) Value(compute()); // single constructor of Value called

Однако, когда я использую std::construct_at, вызывается дополнительный вызов конструктора копирования/перемещения Value:

Код: Выделить всё

std::construct_at(storage, compute()); // additional copy/move constructor called

Это не только менее эффективно в целом, но и непригодно для неподвижных типов. Мой вопрос заключается в том, есть ли способ использовать std::construct_at в этом сценарии без дополнительного вызова конструктора копирования/перемещения. (Я так не думаю, но хочу быть уверенным.)
Более подробная онлайн-демо: https://godbolt.org/z/sc98Px3hW

Подробнее здесь: https://stackoverflow.com/questions/798 ... uctor-call