O ponteiro é aritmético no armazenamento alocado permitido desde C ++ 20?

No padrão C ++ 20, diz-se que os tipos de matriz são do tipo vida útil implícita .

Isso significa que uma matriz para um tipo de duração não implícita pode ser criada implicitamente? A criação implícita de tal matriz não causaria a criação dos elementos da matriz?

Considere este caso:

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

Esse código não é mais UB desde C ++ 20?

Talvez assim seja melhor?

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

Isso significa que uma matriz para um tipo de duração não implícita pode ser criada implicitamente?

Sim.

A criação implícita de tal matriz não causaria a criação dos elementos da matriz?

Sim.

É isso que torna std::vectorimplementável em C ++ comum.