C++20隐式生存期类型自定义分配器的严格别名规则解惑

constexpr auto L1 = std::hardware_destructive_interference_size;
std::byte* allocator_cachelines = static_cast<std::byte*>(
            ::operator new(TOTAL_CACHELINES*L1, std::align_val_t{L1}));

// 所有使用该分配器的类型均为隐式生存期类型
//（平凡可复制且平凡可析构）
struct ABC { int i=0; };
struct XYZ { float f=1.f; };

auto* abc = reinterpret_cast<ABC*>(allocator.allocate(ABC_COUNT * sizeof(ABC)));
// allocate 从 allocator_cachelines 返回足够的缓存行以满足请求，
// 同时更新簿记信息标记这些缓存行已被使用

std::cout << abc[0].i; // 是否合法？                                                       
// 由于 ABC 是该内存中首次存储的类型，它的隐式生存期是否已开始？

技术疑问 #

1. 上述代码中访问 abc[0].i 是否合法？作为首次存入内存的类型，ABC 的隐式生存期是否已开始？
2. 若该内存被释放后复用给另一种隐式生存期类型，代码如下：

   allocator.deallocate(abc);
   // deallocate 将返回的 abc 缓存行标记为可复用
   
   auto* xyz = reinterpret_cast<XYZ*>(allocator.allocate(XYZ_COUNT * sizeof(XYZ)));
   // allocate 返回刚被释放的 abc 缓存行
   
   std::cout << xyz[0].f; // 是否合法？
   
   // 还是必须先执行以下操作？
   xyz[0] = XYZ{};
   std::cout << xyz[0].f; // 现在合法了？
   

   此时直接访问 xyz[0].f 是否合法？是否需要先赋值再访问？
3. 若分配器的访问由 std::mutex 控制，能否解决严格别名违规问题？
4. 若从该分配器分配 float 数组并用于 SIMD 指令，是否必须写入所有元素以避免严格别名违规？例如数组元素 0、1、2 已写入，3 未写入但此前存储过其他类型，SIMD 加载4个 float 时会访问元素3。

问题解答 #

1. 访问 abc[0].i 的合法性与 ABC 的隐式生存期 #

根据 C++ 标准，*隐式生存期类型（平凡可复制且平凡可析构）*的对象，可以在满足对齐要求、大小足够的已分配内存中隐式启动生存期。这里的内存通过 ::operator new 分配时指定了正确的对齐，且大小足够容纳 ABC 对象，因此当你通过 reinterpret_cast 得到的指针访问 abc[0].i 时，ABC 对象的生存期会被隐式启动。

但需要注意：此时内存是未初始化的，读取 abc[0].i 的值属于未定义行为（UB），因为未初始化的标量值读取是标准禁止的。但“访问操作本身（即确认对象存在）”是合法的，问题出在读取未初始化值上。

2. 复用内存后直接访问 xyz[0].f 的合法性 #

当内存被释放后，原 ABC 对象的生存期已结束，内存回到原始未使用状态。此时将其复用给 XYZ 类型：

• 直接访问 xyz[0].f 属于未定义行为：一方面，未初始化的 float 值读取本身是 UB；另一方面，虽然 XYZ 是隐式生存期类型，但标准并未规定“读取未初始化内存”会隐式启动对象生存期——只有当执行写入操作（如 xyz[0] = XYZ{}）时，才会明确隐式启动 XYZ 对象的生存期，同时初始化值。
• 先执行赋值操作后再访问是合法的：赋值既启动了 XYZ 对象的生存期，又初始化了成员值，后续读取操作完全符合标准要求。

3. std::mutex 无法解决严格别名违规 #

严格别名规则是编译时的类型安全约束，目的是防止编译器进行优化时出现错误的内存访问假设。而 std::mutex 仅用于解决线程间的数据竞争问题，属于运行时同步机制，完全不影响编译时的严格别名检查。因此，即使加了 mutex，严格别名违规的问题依然存在（如果有的话）。

4. SIMD 加载未写入元素的严格别名与合法性问题 #

首先，严格别名违规的前提是“用不同类型的指针访问同一个已存在的对象”。当内存被重新分配后，原类型的对象生存期已结束，内存属于原始存储，因此用 float 指针（或 SIMD 指令加载）访问并不违反严格别名规则。

但问题在于：未写入的元素3对应的内存是未初始化的，SIMD 加载时读取该未初始化的 float 值属于未定义行为。因此，必须先写入所有元素（哪怕是默认初始化），确保每个 float 对象的生存期启动且值被初始化，才能安全地进行 SIMD 加载操作。

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