c++ - 对于所有对象类型 T，sizeof(T) >= alignof(T) 是否总是如此？

Question

对于任何对象类型 T，是否总是 sizeof(T) 至少与 alignof(T) 一样大？

直觉上似乎是这样，因为即使您调整对象的对齐方式，例如:

struct small {
  char c;
};

在正常情况下，它们的“大小”也向上调整，以便数组中对象之间的关系在保持对齐的同时有意义(至少在我的 testing 中。例如:

struct alignas(16) small16 {
  char c;
};

大小和对齐方式均为 16。

Answer 1

至少在标准 C++ 中，对于任何可以创建数组(长度 > 1)的东西，都必须是这样。如果你有

Foo arr[2];

和 alignof(Foo) > sizeof(Foo)，那么 arr[0] 和 arr[1] 不能同时是对齐。

作为 Zalman Stern's example但是，至少有一些编译器允许您声明一个对齐大于其大小的类型，结果编译器根本不允许您声明该类型的数组。这不是符合标准的 C++(它使用类型属性，即 are a GCC extension)，但这意味着您可以在实践中使用 alignof(T) > sizeof(T)。

数组参数假定 sizeof(Foo) > 0，对于标准支持的任何类型都是如此，但 o11c shows编译器扩展破坏该保证的示例:一些编译器允许 0 长度数组，其中 0 sizeof 和正 alignof。