c++ - 是否保证 sizeof(T[N]) == N * sizeof(T)？

Question

我一直假设 T 类型的 N 个元素的数组的大小，如 sizeof 返回的那样，保证正好是 sizeof( T)。

comments on this question虽然让我怀疑。有信誉的用户声称数组可能包含填充，这会破坏相等性。当然，这样的平台可能不存在，但它们被允许吗？

如果允许，这将打破许多常见的习语，例如使用 N * sizeof(T) 计算数组所需的存储空间，或使用 计算数组中的元素数量sizeof(a)/sizeof(a[0])。

Answer 1

是的。 [expr.sizeof] 包含关于 sizeof 的这一点:

When applied to an array, the result is the total number of bytes in the array. This implies that the size of an array of n elements is n times the size of an element.