sizeof总是alignof的倍数吗？

Question

sizeof(Type)总是能被alignof(Type)整除吗

以使此语句始终为真？sizeof(Type) % alignof(Type) == 0

Answer 1

是，对于所有类类型， sizeof(Type) % alignof(Type) == 0 均为true。

标准草案写道：

dcl.array ...数组类型的对象包含一个连续分配的非空集，其中包含N个类型为T的子对象。

expr.sizeof ...当应用于类时，结果是该类的对象中的字节数，包括在数组中放置该类型的对象所需的任何填充。

为了使数组中的每个元素都对齐，两个相邻元素之间的距离必须是对齐的倍数。sizeof定义为此距离。

expr.sizeof ...sizeof应用于任何其他基本类型(6.7.1)的结果是由实现定义的。

也就是说，我从来没有见过基本类型的大小不是其对齐的倍数的系统。