Ayrılan depolama birimindeki işaretçi aritmetiğine C ++ 20'den beri izin veriliyor mu?

C ++ 20 standardında, dizi türlerinin örtük ömür boyu tür olduğu söylenir .

Örtük olmayan bir ömür boyu türüne sahip bir dizinin dolaylı olarak oluşturulabileceği anlamına mı geliyor? Örtülü bir dizinin oluşturulması dizinin öğelerinin oluşturulmasına neden olmaz mı?

Bu durumu düşünün:

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

Bu kod artık C ++ 20'den beri UB değil mi?

Belki bu şekilde daha iyidir?

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

Örtük olmayan bir ömür boyu türüne ilişkin bir dizi dolaylı olarak oluşturulabileceği anlamına mı geliyor?

Evet.

Örtülü bir dizinin oluşturulması dizinin öğelerinin oluşturulmasına neden olmaz mı?

Evet.

std::vectorSıradan C ++ ' da uygulanabilir kılan budur .