新的字符实际上保证alignment的内存类types?

通过new char[sizeof(T)]分配一个缓冲区,保证为Ttypes正确地分配内存,其中T所有成员都有自然的,实现定义的alignment方式(也就是说,你还没有使用alignas关键字修改它们的alignment)。

我在这里看到了几个答案中的这个保证,但是我不完全清楚标准是如何得到这个保证的。 该标准的5.3.4-10给出了基本要求:基本上new char[]必须与max_align_talignment。

我所缺less的是说, alignof(T)将始终是一个有效的队列,最大值为max_align_t 。 我的意思是,这似乎很明显,但一个结构的结果alignment最多是max_align_t ? 甚至连点3.11-3都说可以支持扩展alignment,所以编译器可以自己决定一个类是否是一个过度alignment的types?

我所缺less的是说, alignof(T)将始终是一个有效的队列,最大值为max_align_t 。 我的意思是,这似乎很明显,但一个结构的结果alignment最多是max_align_t ? 甚至连点3.11-3都说可以支持扩展alignment,所以编译器可以自己决定一个类是否过度alignment?

正如Mankarse所指出的,我能得到的最好的报价是从[basic.align] / 3

具有扩展的alignment要求的types是超alignmenttypes。 [注意:每个超alignmenttypes是或包含扩展alignment应用的类types(可能通过非静态数据成员)。 – 注意]

这似乎意味着扩展alignment必须明确要求(然后传播),但不能

我希望更清楚一点, 对于编译器编写者来说这个意图是显而易见的,任何其他的行为都是疯狂的,但是…

expression式new char[N]new unsigned char[N]保证返回足够alignment任何对象的内存。 参见§5.3.4/ 10“[…]对于char和unsigned char的数组,新expression式的结果与分配函数返回的地址之间的差异应该是最严格的基本alignment要求的整数倍(3.11),其大小不超过所创build的数组的大小[注意:因为分配函数被假定为返回指向存储的指针,这些指针对于任何具有基本alignment的types的对象都适当地alignment,数组分配开销允许分配其他types的对象稍后将被放置到的字符数组的普通习惯用法。

当然,从文体的angular度来看,如果你想要的是分配原始内存,则更清楚地说: operator new(N) 。 从概念上讲, new char[N]创buildN char ; operator new(N)分配N个字节。