c++ - 在以下情况下是否可以分配未对齐的对象？

Question

假设我们有一些有效的类型 T。给定以下代码:

char* p = static_cast<char*>(malloc(sizeof(T) * 32));
T* t1 = new (p) T;
p += sizeof(T);
T* t2 = new (p) T;
...

t2 现在是否可能根据其对齐限制无法正确对齐？

Answer 1

取决于 T 是什么。保证与将指针直接存储到 T* 中一样。如果指针 P 与 N 字节边界对齐，则 P+N 也与 N 对齐。此外，大小必须是对齐的倍数。 malloc 的内存保证对齐到 max_align_t 的对齐方式。

如果指针是 过度对齐 类型，即对齐要求高于 max_align_t 的类型，则不能保证指针与 T 对齐.