将标准布局对象数组转换为元素数组是否合法？

问题1：能否通过x0访问整个数组？ #

不一定，完全取决于S的大小和内存布局：

• 若sizeof(S) == sizeof(int)（比如S仅含一个int成员且无对齐填充），从内存布局上看，arr_s中每个S对象的int成员地址连续且间隔sizeof(int)，此时x0[i]的地址恰好对应arr_s[i]的int成员，实际运行通常能正常访问，但要注意这并非标准层面的合法行为。
• 若sizeof(S) > sizeof(int)（比如S存在对齐填充），x0+1的地址会落在arr_s[0]的填充区域或arr_s[1]的非成员区域，访问这类地址属于未定义行为，可能导致程序崩溃或数据错乱。

问题2：索引x0超过0是否合法？ #

从C++标准层面来说，绝大多数情况不合法：

• x0是指向arr_s[0]的int成员的指针，标准仅保证reinterpret_cast得到的指针能安全转换回原类型，且仅能合法指向最初的那个int对象。
• 使用x0[i]（i>0）本质是对指针做sizeof(int)偏移后访问内存，若偏移后的地址未对应一个有效的独立int对象（而是属于其他S对象的成员或填充区），这种访问就违反了对象模型规则，属于未定义行为。
• 仅当S的大小恰好等于int且编译器内存布局保证每个S的int成员连续排列时，实际运行可能没问题，但这是编译器实现特性，而非标准保证的合法操作。

问题3：当S仅含一个成员时，能否合法将S数组视为int数组？ #

无法从标准层面保证合法性：

• 即便S是仅含一个int成员的standard-layout类型，arr_s的类型仍是S[10]，其元素是S对象而非int对象。C++标准要求数组元素必须是同一类型的独立对象，这里的int成员是每个S对象的子对象，并不构成独立的int数组对象。
• 虽然内存布局可能和int[10]完全一致，但标准并未允许将S数组直接视为int数组访问。这种操作属于类型别名转换，而C++对类型别名有严格限制，除非是char*访问任意类型这类特例，否则均属于未定义行为。
• 实际开发中部分编译器可能允许这种操作，但依赖编译器特性会导致代码不可移植，且存在潜在风险。

内容的提问来源于stack exchange，提问作者Arek' Fu