C++中能否以无未定义行为(UB)的方式分配未初始化数组？

核心背景 #

实现自定义数据结构时，往往需要分配一块不执行对象初始化的连续内存，用于后续通过placement new按需构造元素。这和直接写buffer = new T[capacity]的行为有本质区别：

• 直接用new T[capacity]会强制对每个元素调用默认构造函数，碰到没有默认构造函数的类型会直接编译失败
• 就算类型有可用的默认构造函数，无意义的批量构造也会带来不必要的性能开销

栈上的未初始化内存方案比较直观，只要写alignas(T) std::byte buffer[capacity];就能拿到满足对齐要求的存储空间，配合std::launder即可合规访问，但这种方式受栈空间大小限制，无法适配大内存的堆分配场景。针对堆分配场景，通常会用带对齐参数的全局分配器申请内存：
auto memory = ::operator new(sizeof(T) * capacity, std::align_val_t{alignof(T)});

针对堆分配流程中容易产生疑问的规则，逐一说明如下： #

常见疑问解答 #

1. 指针转换的合规性：为什么转成std::byte*/unsigned char*是合法的？ #

你提到的指针可互转换规则，是普通reinterpret_cast转换的通用约束，但::operator new返回的void*指向的是刚分配完成、尚未绑定任何具体类型对象的原始存储空间。

• 直接把这个void*转成T*确实是不合规的：此时内存中没有构造任何T类型对象，也不存在和T满足指针可互转换条件的实体，转换结果没有明确定义
• 把void*转成std::byte*、unsigned char*、char*则是完全明确定义的：根据C++标准的特殊豁免规则，字符类型的指针天然允许访问任何对象的底层原始存储，这个转换不受指针可互转换条件的限制

实际写代码的时候，这个转换必须明确指定目标类型，也就是buffer = reinterpret_cast<std::byte*>(memory);，reinterpret_cast是带静态类型校验的强制转换，不能省略目标类型参数。

2. 转换后的指针语义：是指向单个对象还是数组首元素？ #

通过::operator new申请的整块内存，标准明确规定会被隐式构造为一个大小等于申请字节数的字符类数组（比如std::byte[申请字节数]）。
因此当你把返回的void*转成字符类型指针后，这个指针本质上就是指向这个隐式数组的首元素的，所有符合规则的指针算术（偏移范围落在0到申请总字节数之间）都是明确定义的，和手动定义一个显式的字符数组的语义没有任何区别。

3. 只有字符类数组能作为placement new的底层存储吗？ #

是的。标准中专门给unsigned char、std::byte类型的数组开了权限：只要存储空间中存在一个这类字符数组，在这块空间上通过placement new构造其他类型的对象，完全不会破坏原有数组的合法性，这些新构造对象的生命周期也会被标准认可。
反过来，如果你在一块内存里构造的是其他非字符类型的数组（比如int[N]），那么在这块数组的存储空间上做placement new构造其他类型的对象，就属于未定义行为——非字符类型的数组没有作为底层存储的特殊豁免权。

4. 内置new T[capacity]是怎么完成合规指针转换的？ #

你观察到的“内置new底层调用::operator new拿到void*，却能直接返回合法的T*”的流程，完全是标准明确规定的，不是实现自定义的行为。
当你写出new T[capacity]表达式时，编译器会按固定顺序执行：

• 调用对应版本的operator new申请足够大小的原始内存，拿到void*返回值
• 在这块内存上隐式构造一个T类型的数组对象——这个创建过程不需要手动调用placement new，是new表达式的内置流程
• 等T数组的首元素对象已经在内存中存在之后，再把void*转成T*，这个转换就完全符合指针转换规则了

之前提到的指针可互转换要求，本质是要求“转换时目标类型的对象已经存在于内存中”，new表达式在做指针转换前，已经隐式完成了目标对象的创建，因此整个流程是完全合规的。

5. 堆内存的正确释放方式是什么？ #

内存释放必须和申请时的调用严格匹配，不能随意混用重载：

• 如果你是用带对齐参数的::operator new(sizeof(T)*capacity, std::align_val_t{alignof(T)})申请的内存，对应的释放调用就是合规匹配的形式：
  ::operator delete(static_cast<void*>(buffer), sizeof(T) * capacity, std::align_val_t{alignof(T)});
• 注意传参的细节：传给operator delete的指针必须是最开始operator new返回的原始指针，不能是偏移过的指针；传入的大小、对齐参数，必须和申请时的值完全一致，才能匹配上对应的释放重载。

日常业务开发中，这套手动分配内存的流程完全可以直接用标准库的std::allocator替代，后者已经把所有合规细节、对齐处理、释放逻辑都封装好了。理解这套底层规则的价值，主要是避免碰到自定义实现时出现难以排查的未定义行为。

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