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

从C ++ 20开始，此代码不再是UB吗？

也许这种方法更好？

//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 ++实现的原因。