C语言标准中“重叠相邻单元”在位域语境下的具体含义

先看你引用的C标准原文：

实现可分配任意足够容纳位域的可寻址存储单元。若剩余空间充足，结构体中紧随另一位域的位域应被压缩到同一单元的相邻位中。若剩余空间不足，无法容纳的位域是被放入下一单元还是重叠相邻单元，由实现定义。

你之前假设溢出位域会移至下一个单元，这是主流编译器的常规行为，但标准允许另一种处理逻辑——“重叠相邻单元”并不是指和已有的位域像共用体（union）那样重叠，而是指该位域会跨越两个相邻的存储单元。

举个更典型的例子：假设存储单元是uint8_t（1字节=8位），定义如下结构体：

struct {
    uint8_t first : 6;  // 占第一个字节的6位，剩余2位
    uint8_t cross : 5;  // 需要5位，当前单元剩余空间不足
};

如果实现选择“重叠相邻单元”的处理方式，cross这个5位的位域会被拆分：2位放在第一个字节的剩余空间里，剩下的3位放在第二个字节中——也就是说这个位域同时占据了两个相邻的存储单元，而非整体移到第二个字节。

回到你的例子：

struct {
    uint8_t bits0_3 : 4;
    uint8_t bits4_7 : 4;  // 第一个字节已占满8位
    uint8_t overflowing: 1;
};

这种情况第一个字节已无剩余空间，若实现选择“重叠”逻辑，这个1位的位域会被放在第一个字节的任意位置（比如覆盖bits0_3或bits4_7的某一位）。不过这种极端情况非常罕见，绝大多数主流编译器（GCC、Clang、MSVC等）都会遵循“溢出则移至下一个单元”的常规逻辑。

需要明确的是：标准给了编译器这个自由度，但实际开发中几乎不会遇到“重叠相邻单元”的情况——这种行为会破坏位域内存布局的可预测性，编译器厂商一般不会这么做。

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