C语言中static_assert能否使结构体与数组的别名操作合法？
咱们直接拆解核心问题：仅靠static_assert检查成员偏移量，并不足以让这种结构体成员的数组式指针算术在C和C++中都具备标准层面的合法性，得结合两个语言的标准规则分别来看：
C语言的情况
在C11标准草案（n1570）里，数组被定义为「特定元素类型的连续分配非空对象集合」。你用static_assert(offsetof(struct quad, t) == 3 * sizeof(int))确认了四个int成员连续无填充，内存布局和数组完全一致，但这里有个关键细节：
C标准规定，指针算术仅对同一个数组对象的元素（或数组末尾的下一个位置）合法。而结构体的成员本质上是独立的对象，只是恰好连续存放——它们并不属于一个「数组对象」。严格来说，标准并没有明确允许这种跨成员的指针算术操作，哪怕内存连续。
不过在实践中，几乎所有主流C编译器都会支持这种写法，因为内存布局完全匹配数组，编译器不会刻意破坏这种直观的行为。但这属于「编译器宽容支持」，而非标准赋予的合法性。
C++语言的情况
C++标准对指针算术的限制要严格得多，明确规定指针算术只能在同一个数组对象的范围内进行（包括数组末尾的下一个位置）。结构体的成员哪怕连续无填充，也不属于数组对象，所以这种ix[i]式的数组访问属于显式的未定义行为。
哪怕你用static_assert保证了内存布局，也改变不了C++标准的规则——编译器在优化时完全可能做出违反预期的操作，比如把数组式访问直接替换成成员访问，或者在某些场景下触发内存越界的错误。
替代的稳妥写法
如果想要合法地遍历连续的同类型结构体成员，更可靠的方式有两种：
- 直接在结构体里嵌入数组：
struct quad { int arr[4]; };，这样指针算术完全符合标准； - 用
offsetof宏逐个计算成员地址，避免跨成员的指针算术。
你的示例代码能编译运行出预期结果，只是编译器没有针对这种未定义行为做激进优化，但这不能代表它是合法的写法。
内容的提问来源于stack exchange，提问作者Serge Ballesta
