类型双关语：INT []和struct {INT ...}

Question

，不知是否安全根据C99的标准，来解释这样一个结构：

struct my_struct_t { 
    int a; 
    int b; 
    int c; 
}; 

作为int[3]。即这个代码片段是否适合所有ABI？

struct my_struct_t f; 
int *i = &f.a; 
i[0] = 1; // f.a == 1 
i[1] = 2; // f.b == 2 
i[2] = 3; // f.c == 3 

据我理解标准，编译器允许在结构成员之后添加填料，但不能是阵列内部的任何填充。我是否正确？ （如果我是，那么代码示例将产生不确定的行为。）

Answer 1

唯一真正的“答案”，这是一个引文：

C11，6.7.2.1：

可能有结构对象内的未命名填充，但不在其开始处。 （第15段）
在结构或联合的末尾可能有未命名的填充。 （第17段）

C11，6.2.5：

数组类型描述了一种连续地分配非空集合与特定的成员对象类型的对象（第20段）

由于下标运算符与指针算术运算完全等价，它不能考虑任何可能存在的填充（无论如何）（在目标对象的类型外部），并且可能存在于结构中。

Answer 2

由于int s是，很好，int -aligned，我认为它应该在大多数平台上工作（它在我的英特尔x86-64与gcc在Linux上）。

您可以检查它是否工作在编译时：

static_assert(offsetof(struct my_struct_t, c) == 2*sizeof(int)); 

当且仅当这一说法并没有失败，该标准保证你是安全的（如果我没有错得要命，但我可以”没有想到任何使它成为UB的东西）。