C语言struct padding前提假设：结构体首成员是否始终紧邻word boundary存储？

核心结论：这一情况并不始终成立，视频中描述的布局只是默认编译配置下的特定场景，并非C语言层面的强制规则。

你看到的视频逻辑本质是特定条件下的巧合，可以拆解开理解：

• 默认对齐规则下的常见场景
  按照C语言标准定义的默认内存布局规则，编译器处理结构体时只需要满足两个硬约束：

  1. 结构体成员必须按照声明的先后顺序排布，每个成员的内存偏移量，必须满足该成员自身的对齐要求（比如int类型在多数32位系统上要求偏移量为4的整数倍）
  2. 整个结构体的起始地址，必须是结构体所有成员中最高对齐值的整数倍；且结构体的总大小也要是这个最高对齐值的整数倍，不足的部分靠末尾填充字节补全。

  拿视频中定义的struct abc举例，成员包含1字节对齐的char、4字节对齐的int，整个结构体的最高对齐值就是4。在常见的32位x86系统上，单个word的长度刚好是4字节，按照规则，这个结构体的起始地址必须是4的整数倍——刚好落在word boundary上。又因为结构体第一个成员的偏移量永远是0，和结构体起始地址完全重合，看起来就像是首成员特意被安排在了word边界上。
  视频中提到的在成员b之后填充2个空字节、让int c对齐到4字节边界、实现单周期读取的逻辑，在默认配置下是完全正确的，但这一布局的成立，完全依赖于“结构体整体被分配在4字节整数倍地址上”这个整体对齐的结果，并不是针对首成员的特殊设计。

• 会打破这一前提的常见场景

  1. 手动修改结构体对齐属性
     主流编译器都提供了扩展语法，允许开发者手动调整结构体的整体对齐值。比如把原本要求4字节对齐的struct abc，手动指定为1字节对齐：

     struct abc {
         char a;
         char b;
         int c;
     } __attribute__((aligned(1)));
     

     调整后这个结构体的整体对齐要求会变为1，编译器可以把它放在内存中任意字节地址上——哪怕是像0x0001、0x0002这种完全不落在4字节word边界的位置，首成员a自然也不会紧邻word boundary存储。
  2. 结构体本身的最高对齐值小于word长度
     比如定义一个只包含2字节short类型的结构体：

     struct short_struct {
         short x;
         short y;
     };
     

     这个结构体的最高对齐值是2，在32位x86系统上（单word长4字节），编译器完全可以把它分配在0x0002这种不是4的整数倍的地址上。哪怕完全用默认编译选项、不做任何手动修改，这种结构体的首成员也不会落在word boundary上。
  3. 强制类型转换得到的非对齐指针
     哪怕结构体本身有4字节的对齐要求，只要通过强制类型转换，把本来不在对齐边界上的地址硬转成结构体指针访问，首成员的地址同样会偏离word边界。比如：

     char raw_buf[10] = {0};
     // 假设数组起始地址为0x0001，强行从偏移1的位置取结构体指针
     struct abc *var = (struct abc*)&raw_buf[1];
     

     虽然这种操作属于C标准定义的未定义行为，但多数编译器不会直接拦截这类转换，最终结果就是结构体首成员完全不落在word boundary上。

总结来说，C语言从来没有强制要求结构体必须对齐到word boundary，所有的对齐规则都围绕“满足每个成员自身的对齐需求”展开，从来不存在“首成员必须紧邻word边界”的通用要求。

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