Số học con trỏ trên bộ nhớ được phân bổ có được phép kể từ C ++ 20 không?

Trong tiêu chuẩn C ++ 20, người ta nói rằng các kiểu mảng là kiểu trọn đời ẩn .

Điều đó có nghĩa là một mảng cho một kiểu trọn đời không ngầm có thể được tạo ngầm? Việc tạo ngầm định một mảng như vậy sẽ không gây ra việc tạo các phần tử của mảng?

Hãy xem xét trường hợp này:

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

Mã này không phải là UB nữa kể từ C ++ 20?

Có lẽ cách này là tốt hơ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 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");

Liệu nó có nghĩa là một mảng cho một loại trọn đời không ngầm có thể được tạo ra ngầm?

Đúng.

Việc tạo ngầm định một mảng như vậy sẽ không gây ra việc tạo các phần tử của mảng?

Đúng.

Đây là những gì làm cho có thể std::vectorthực hiện được trong C ++ thông thường.