c - C90 和 C99 中复合类型对象的对齐

Question

请考虑以下类型:

typedef struct { char myArray[300]; } MyStruct;
typedef union  { char myArray[300]; } MyUnion;

typedef struct { uint64_t x; } MyStruct2;
typedef union  { uint64_t x; } MyUnion2;

typedef struct { uint64_t x; char myArray[300]; } MyStruct3;
typedef union { uint64_t x; char myArray[300]; } MyUnion3;

我可以找到有关复合类型成员的对齐和填充的信息，但我不确定这些类型本身的对象。

在 X86 平台上使用 C90 和 C99 的 RAM 中这些类型的对象适用哪些对齐规则？对齐方式可以改变吗？因为优化器会删除未使用的成员(特别是在 union 中)？

Answer 1

对象的对齐方式是由实现定义的。如果您想设置特定值，则应该使用编译器特定的属性。

编译器无法合理地确定某个成员未使用，因此不会从 union 或结构中删除“未使用”的成员(实际上， union 是另一回事，因为“未使用”意味着什么？)。

我能想到的编译器可以确定的唯一情况是，在结构体的编译单元中仅创建静态或自动变量，这些变量永远不会传递给编译单元外部的函数和一个或多个成员从未在语句中使用。也许我忘记了一些覆盖这个推理的东西。

我认为在所有其他情况下，编译器无法确定未使用成员。例如，如果将其传递给另一个编译单元中的函数，则编译器无法更改定义，因为另一个函数将依赖于该定义，并且可能使用此编译单元中未使用的成员。

对于 union ，编译器永远无法确定，因为成员的内存是共享的。