Чи дозволена арифметика вказівника на виділеному сховищі, оскільки C ++ 20?

У стандарті C ++ 20 сказано, що типи масивів - це неявний тип життя .

Чи означає це, що масив до неявного типу життя може бути неявно створений? Неявне створення такого масиву не спричинило б створення елементів масиву?

Розглянемо цей випадок:

//implicit creation of an array of std::string 
//but not the std::string elements:
void * ptr = operator new(sizeof (std::string) * 10);
//use launder to get a "pointer to object" (which object?)
std::string * sptr = std::launder(static_cast<std::string*>(ptr));
//pointer arithmetic on not created array elements well defined?
new (sptr+1) std::string("second element");

Цей код вже не є UB, оскільки C ++ 20?

Може, цей спосіб краще?

//implicit creation of an array of std::string 
//but not the std::string elements:
void * ptr = operator new(sizeof (std::string) * 10);
//use launder to get a "pointer to the array of 10 std::string" 
std::string (* sptr)[10] = std::launder(static_cast<std::string(*)[10]>(ptr));
//pointer arithmetic on an array is well defined
new (*sptr+1) std::string("second element");

Чи означає це, що масив до неявного типу життя може бути неявно створений?

Так.

Неявне створення такого масиву не спричинило б створення елементів масиву?

Так.

Саме це робить std::vectorреалізованим у звичайному C ++.