我想知道按照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
据我了解标准，允许编译器在结构中的成员之后添加填充，但数组内不得有任何填充。我说对了吗？（如果是，则该代码示例将产生未定义的行为。）
唯一真正的“答案”是引用：
C11，6.7.2.1：
结构对象内可能存在未命名的填充，但在其开始处没有。（第15段）
在结构或联合的末尾可能会有未命名的填充。（第17段）
C11，6.2.5：
数组类型描述具有特定成员对象类型的连续分配的非空对象集（第20段）
由于下标运算符完全等同于指针算术运算，因此它不能考虑可能存在填充的问题（无论如何，填充都在目标对象的类型外部），而在结构中可以考虑。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句