Czy arytmetyka wskaźnika na przydzielonej pamięci jest dozwolona od C ++ 20?

W standardzie C ++ 20 mówi się, że typy tablic są domyślnymi typami życia .

Czy to oznacza, że ​​tablica dla niejawnego typu życia może być niejawnie utworzona? Domniemane utworzenie takiej tablicy nie spowodowałoby utworzenia elementów tablicy?

Rozważ ten przypadek:

//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");

Czy ten kod nie jest już UB od C ++ 20?

Może ten sposób jest lepszy?

//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");

Czy to oznacza, że ​​tablica dla niejawnego typu życia może być niejawnie utworzona?

Tak.

Domniemane utworzenie takiej tablicy nie spowodowałoby utworzenia elementów tablicy?

Tak.

To sprawia, że ​​można go std::vectorwdrożyć w zwykłym C ++.