C++中std::byte与unsigned char数组存储的意义及char数组的隐患

根据C++23标准，当在std::byte或unsigned char数组的存储空间上通过placement new创建对象时，数组的生命周期不会终止，核心相关规定如下：

若在类型为“N个unsigned char的数组”或“N个std::byte的数组”（17.2.1）的另一对象e关联的存储空间中创建完整对象（7.6.2.8），当满足以下条件时，该数组为创建的对象提供存储：
(3.1) - e的生命周期已开始且未结束，且
(3.2) - 新对象的存储空间完全容纳于e中，且
(3.3) - e中不存在满足这些约束的嵌套数组对象。

若对象b为对象a提供存储，则对象a嵌套于对象b中。（4.2）

当对象o（类型为T）占用的存储空间被释放，或被未嵌套于o的对象重用时，o的生命周期终止。（1.5）

用char数组替代std::byte/unsigned char数组做对象池的弊端 #

• 生命周期直接终止：C++标准仅对unsigned char和std::byte数组做了特殊豁免，char数组不在此范围内。在char数组上用placement new创建对象时，新对象并未嵌套于该数组（数组不满足“提供存储”的特殊规则），此时数组存储空间被未嵌套的对象重用，按照标准1.5条，char数组的生命周期会立刻终止。
• 未定义行为频发：数组生命周期终止后，任何对原数组的操作（比如复用空间创建新对象、访问数组元素）都属于未定义行为。比如你想重置对象池、再次调用placement new时，原数组已经“不存在”，操作合法性完全没有保障。
• 语义与类型安全问题：std::byte是专门为底层内存操作设计的类型，语义明确表示“原始字节”；而char的设计目的是存储字符，用它做内存池违背类型语义，容易误导代码阅读者，还可能被编译器的字符处理优化干扰。

若无此特定规则会引发的问题 #

如果C++23没有给std::byte/unsigned char数组这个特殊规则，那么这类数组做对象池时会遭遇和char数组一样的困境：

1. 对象池无法复用：第一次用placement new创建对象后，数组生命周期就终止了，后续无法再利用这块存储空间创建新对象——原数组已不存在，即便销毁了之前的对象，也无法合法复用这块空间。
2. 内存管理逻辑崩溃：数组生命周期终止后，其存储空间的归属从C++对象模型角度看是非法的，后续释放内存、再次分配等操作都会触发未定义行为，比如释放数组内存时可能因为对象状态非法导致程序崩溃。
3. 破坏现有代码兼容性：在C++23之前，用unsigned char数组做内存池是非常普遍的底层实践，如果标准不明确豁免这种场景，大量现有代码都会变成未定义行为，引发严重的兼容性问题，也违背开发者的直觉。

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