关于C23柔性数组成员(FAM)访问偏移量规则的疑问

首先，回顾C23标准§6.7.2.1(20)的相关规则：

[...] 当.（或->）运算符的左操作数是带有柔性数组成员的结构（或指向该结构的指针），且右操作数指定该成员时，其行为等效于将该成员替换为最长的同元素类型数组，且替换后的结构不大于被访问的对象；数组的偏移量应保持为柔性数组成员的偏移量，即使这与替换数组的偏移量不同。

你提出的“同元素类型的数组与柔性数组成员理应偏移量一致”是常规场景下的合理推论，但标准这句话是为了覆盖极端场景或消除编译器实现的歧义，具体原因如下：

• 零长度数组的非标准实现差异：虽然C23正式禁止普通零长度数组，但历史上很多编译器支持该特性作为扩展。这类非标准零长度数组的偏移量在部分实现中被错误设置为0，而柔性数组成员的偏移量是固定的——等于结构体前序成员总大小加上必要的填充字节。标准强制要求：哪怕替换后的等效数组逻辑上是零长度，也必须沿用原柔性数组成员的偏移量，避免行为不一致。

• 极端对齐场景的强制约束：在某些平台的特殊对齐规则下，如果将柔性数组成员替换为普通数组，编译器可能为了优化结构体整体的对齐特性，尝试调整数组的偏移（这种情况非常罕见，但标准需要覆盖所有可能的实现）。标准这句话直接锁定偏移量，确保访问逻辑的一致性。

• 可移植性的规范性要求：本质上，这条规则是为了强制对齐逻辑统一——无论替换后的数组长度如何，访问原柔性数组成员的位置时，必须使用结构体定义时确定的偏移量，而非普通数组的偏移计算规则。这避免了不同编译器对“等效数组”的偏移计算出现差异，保证代码在不同平台上的行为一致。

举个极端场景的例子：

struct S {
    char c;
    int fam[];
};

fam的偏移量是4（char占1字节，后加3字节填充以满足int的4字节对齐）。如果仅分配sizeof(struct S)（4字节）的空间给struct S，此时替换后的等效数组是零长度的int数组。若某个编译器对零长度数组的偏移量计算为0，标准就强制要求必须使用原fam的偏移量4，而非0，确保访问行为的正确性。

内容的提问来源于stack exchange，提问作者user51462