如何用std::byte[]替换C++23中废弃的aligned_storage<T[]>？

1. 对齐方式的正确写法 #

你怀疑alignas(alignof(T)*SIZE)的用法有误，这个判断是对的——这种写法完全错误。

原代码std::aligned_storage_t<sizeof(T), alignof(T)> data_[SIZE];本质是一个包含SIZE个“单个T的对齐存储单元”的数组，替换成std::byte[]时，正确的对齐方式是**alignas(T)**，也就是：

alignas(T) std::byte data_[sizeof(T) * SIZE];

理由如下：

• 标准要求sizeof(T)必须是alignof(T)的整数倍，所以只要缓冲区起始地址满足alignof(T)对齐，那么每个index * sizeof(T)的位置也必然满足T的对齐要求，完全能容纳一个T对象。
• alignof(T)*SIZE不是合法的对齐值：对齐值必须是2的幂（或实现支持的合法边界），而且完全没有必要——数组中每个T只需要满足自身的对齐要求，整个缓冲区的对齐只要保证第一个T的位置对齐即可，后续位置由sizeof(T)的特性自动保证。

2. 读写操作的正确性验证 #

读取操作 #

你写的读取代码是合法的，但有两个前提：

reference data(size_t index) noexcept {
    return *std::launder(reinterpret_cast<T*>(&data_[index*sizeof(T)]));
}

• index必须在[0, SIZE)范围内，且对应位置已经通过placement new构造了T对象；
• std::launder是必需的：因为你将std::byte的指针reinterpret_cast到T*，而该内存区域已经构造了T对象，launder用于告知编译器该指针指向的是一个新构造的对象，避免优化导致的未定义行为。

写入操作 #

你的placement new写法是正确的：

new (reinterpret_cast<void*>(&data_[size_*sizeof(T)])) T{std::forward<Args>(args)...};

同样要注意size_不能超过SIZE-1，避免缓冲区越界，同时要记得在对象不再使用时手动调用析构函数：

std::destroy_at(reinterpret_cast<T*>(&data_[index*sizeof(T)]));

额外困惑点解答 #

• 正确对齐方式：如前所述，直接用alignas(T)即可，无需额外操作。
• 内存填充问题：不需要额外考虑填充，因为sizeof(T)已经包含了T类型自身的尾部填充（用于保证数组中元素的对齐），所以index * sizeof(T)的计算完全等价于普通T数组的元素地址偏移。
• 代码繁琐问题：可以定义常量来简化重复的sizeof(T)和alignof(T)：

  constexpr size_t elem_size = sizeof(T);
  constexpr size_t elem_align = alignof(T);
  

  后续直接使用elem_size和elem_align即可减少重复代码。
• 安全性问题：运行正常不代表符合标准，必须严格遵循：
  1. 仅对已构造对象的位置进行读取；
  2. 构造对象必须用placement new；
  3. 读取前必须用std::launder；
  4. 对象生命周期结束时必须手动析构。

内容的提问来源于stack exchange，提问作者TilmannZ