为何嵌套数组对象会阻碍提供存储？C++标准规则疑问

cppreference「Lifetime」章节「Providing storage」部分提到：作为特例，若满足以下条件，可在unsigned char或std::byte（C++17起）数组中创建对象（此时称数组为对象提供存储）：

1. 数组生命周期已开始且未结束；
2. 新对象的存储完全适配数组；
3. 数组内无满足上述约束的嵌套数组对象。

问题1：为何设置第三个条件？ #

这个约束是为了避免存储管理的歧义。如果数组里已经有一个符合条件的嵌套数组，那这片内存的"存储所有权"已经被嵌套数组占据了——标准需要明确哪一层数组是新对象的存储提供者，不能同时让外层和内层数组都对同一片内存拥有提供存储的资格，否则会导致对象生命周期、内存释放等规则出现冲突。比如如果允许嵌套数组存在时外层还能提供存储，后续销毁对象时，到底是认外层还是内层数组的生命周期？这会让编译器和开发者都陷入混乱。

问题2：若外层数组存在无重叠的嵌套数组，为何不能用外层数组的非重叠片段提供存储？ #

标准的这个规则是一刀切的简单约束，而非精细化的场景区分。从逻辑上说，非重叠片段确实不影响嵌套数组，但标准制定时更倾向于用清晰、无歧义的规则减少复杂度——如果允许这种情况，就得额外定义"非重叠"的判定、嵌套数组的范围边界等细节，会让规则变得臃肿，增加编译器实现难度和开发者理解成本。与其搞复杂的例外，不如直接禁止数组内存在符合条件的嵌套数组，让规则更简洁。

问题3：若嵌套数组无内层嵌套数组则可提供存储，为何外层数组不能在同一位置提供存储？ #

核心原因是存储的独占性。当嵌套数组已经满足条件可以提供存储时，它已经"占据"了自己所在的那片内存区域的存储提供资格——标准不允许同一内存区域被多个数组同时作为存储提供者。如果允许外层数组在同一位置提供存储，相当于同一内存有两个"所有者"，这会导致对象的创建、销毁行为的规则冲突，比如对象的生命周期绑定到底层数组的生命周期，出现两个绑定目标的话，规则就无法执行了。

问题4：跨嵌套数组边界提供存储会引发哪些问题？ #

跨边界的话，首先会违反"存储完全适配数组"的前提——新对象的存储会同时覆盖外层数组和嵌套数组的内存，而嵌套数组本身是一个独立的存储提供者，这片内存已经被它"认领"了。其次，这会导致内存的生命周期管理混乱：比如嵌套数组先被销毁，那新对象的存储就会被提前释放，而外层数组还在的话，又会出现悬空的对象；另外，编译器的内存布局优化、别名分析也会因为这种跨边界的存储操作出现错误，比如编译器可能认为嵌套数组的内存是独立的，不会被外层的操作修改，从而做出错误的优化。

问题5：是否存在部分重叠的嵌套数组？在何种情况下数组互为嵌套？ #

C标准里的数组嵌套，指的是一个数组的存储完全包含在另一个数组的存储范围内，不存在部分重叠的情况——数组是连续的内存块，部分重叠的两个数组不符合C中数组的定义（数组的元素是连续布局的，不能和另一个数组交叉重叠）。

两个数组互为嵌套的场景，通常是显式定义的嵌套数组，比如：

unsigned char outer[10];
// 用placement new在outer的前5个字节创建嵌套数组
unsigned char* inner = new(outer) unsigned char[5];

此时inner指向的数组完全在outer的内存范围内，二者就是嵌套关系；另外，也可能是通过其他合法的内存布局方式创建的、完全包含在另一个数组内的数组对象。

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