1. You still need std::launder in that case.
2. It doesn't initialize the object that is implicitly created, even if the storage has initialized chars.
Re:GCC 16 has been released
by denotational on Thursday April 30, 2026 @06:27PM
(#47969072)
The paper that introduced the implicit lifetime mechanism suggests that std::launder is not required: https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p05....
See https://eel.is/c++draft/intro.object#def:object,implicit_cre....
https://eel.is/c++draft/intro.object#15 is an example showing this with malloc; the subsequent paragraph further permits it to work with an unsigned char array.