在C++中为非过对齐类型获取对齐正确的堆内存

一、new表达式对非过对齐类型的对齐保证 #

C++标准明确规定：普通new表达式（包括new unsigned char[N*sizeof(T)]这类形式）返回的内存地址，满足基础对齐要求——即至少适配所有对齐要求不超过alignof(std::max_align_t)的类型（也就是你所说的非过对齐类型）。

std::max_align_t是标准库定义的类型，它的对齐值等于系统支持的最大基础对齐量，所有内置类型和未显式指定过对齐的自定义类型，其对齐要求都不会超过这个值。因此，只要你分配的内存大小N*sizeof(T)足够容纳N个T对象，用这段内存通过placement new创建非过对齐的T对象时，对齐是有保证的。

需要注意：如果T是过对齐类型（比如用alignas(64)显式指定了比alignof(std::max_align_t)更大的对齐要求），普通new无法满足其对齐需求，此时需要使用std::aligned_alloc、std::aligned_storage或者C++20的std::allocate_at_least等专门的对齐内存分配方式。

二、连续调用new分配弱对齐类型的内存碎片化问题 #

连续为弱对齐类型单独调用new会引发内存碎片化，但原因并非弱对齐本身，而是内存分配器的机制：

• 每次new分配内存时，分配器会在实际对象内存的前后添加额外的元数据（比如块大小标记、空闲链表指针等），用于管理内存的分配与释放。
• 如果频繁分配大量小尺寸的弱对齐对象，内存中会充斥着大量带有元数据的小内存块。当这些对象被释放后，这些小块空闲内存可能因为被已分配的块隔开，无法合并成足够大的连续内存块，从而导致碎片化。

要避免这类碎片化，建议使用内存池：一次性分配一块足够容纳多个对象的大块内存，之后在这块内存内部通过placement new创建对象，自行管理对象的创建与销毁，减少分配器元数据的开销和碎片化风险。

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