c++ - 对象地址是否保证是其类型对齐的倍数？

Question

对齐方式 已定义 in the Standard如下:

An alignment is an implementation-defined integer value representing the number of bytes between successive addresses at which a given object can be allocated.

然而，这并不意味着这些地址是对齐值的倍数。例如，地址为 0x01 和 0x09 的两个 double 对象满足上述定义。

是否以某种方式保证对象的地址是其类型对齐值的倍数？

Answer 1

不，不是。

只能保证线性关系，不比例关系是有保证的，但即便如此，对齐要求也可以在结构封装中放宽，例如

/*packed*/ struct s {double a; char b; double c;);

请注意，nullptr 甚至不必是零内存字节、虚拟内存或其他。