C语言含零长度数组成员的结构体嵌套取值原理问题

零长度数组是GCC、IBM C等编译器支持的结构体扩展特性，它的核心内存规则非常明确：

• 当零长度数组作为结构体的最后一个成员时，它本身不占用结构体的存储大小，sizeof计算结构体尺寸时不会给它分配空间；它的起始地址，恰好等于结构体前序所有成员占用空间结束后的首个内存地址。

示例代码的内存布局拆解 #

我们按常规32/64位平台int占4字节的约定，拆解例子里的内存排布：

1. 首先计算struct s的尺寸：成员int a占4字节，末尾的int b[0]尺寸为0，因此sizeof(struct s) = 4，成员b的偏移量固定为4，也就是b的地址完全和struct s实例的尾部地址重合。
2. 再看struct t1的内存排布，全局变量g1的内存是连续分配的，成员按声明顺序依次排列：
   • 前4字节：第一个成员struct s f，其中前4字节就是f.a
   • 从偏移量4开始：第二个成员int c[3]，总共占12字节，对应偏移4~15的位置
     可以看到：f.b的起始地址，刚好就是c数组的起始地址。

初始化逻辑的匹配 #

初始化语句g1 = {{1},{1,2}};完全符合C语言初始化列表的匹配规则：

• 最外层大括号对应struct t1的初始化，第一个初值{1}匹配第一个成员f（struct s类型），这个值会初始化f的第一个成员a为1，零长度成员b没有可初始化的存储，这部分初始化结束。
• 最外层大括号的第二个初值{1,2}匹配第二个成员c（int[3]类型），显式给c[0]赋值1、c[1]赋值2，未显式赋值的c[2]因为是全局存储变量，默认被初始化为0，最终c数组的三个元素就是[1,2,0]，和直接打印c的结果一致。

下标访问的本质 #

C语言的数组下标访问没有内置越界检查，arr[n]从语义上完全等价于*(arr的起始地址 + n * sizeof(数组元素类型))。
结合前面的内存布局，f.b的起始地址等于c的起始地址，因此：

• g1.f.b[0] 等价于访问偏移4位置的int值，也就是c[0] = 1
• g1.f.b[1] 等价于访问偏移8位置的int值，也就是c[1] = 2
• g1.f.b[2] 等价于访问偏移12位置的int值，也就是c[2] = 0
  最终打印结果自然就是1 1 2 0。

补充说明：零长度数组的设计初衷是作为柔性数组使用——分配结构体内存时，在结构体尾部额外分配指定长度的连续空间，就可以直接通过零长度数组成员访问这块额外空间，不需要额外维护指针。这个例子里的访问本质是踩中了连续内存排布的必然结果，但如果零长度数组后面没有合法分配的可访问内存，访问其下标元素就属于标准的未定义行为。

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