g++13.2中[[no_unique_address]]的sizeof结果异常及成员位置影响问题

核心逻辑先明确：[[no_unique_address]]是C++17引入的属性，允许编译器将空类型（无静态成员、无虚函数/虚基类的类）的成员地址与其他非静态成员重叠以节省内存，但该优化的具体实现由编译器决定，标准并未强制要求所有场景都能完全重叠。

结合你的测试场景，原因可拆解为以下几点：

1. 成员声明顺序对内存布局的强制约束 #

C++标准要求类的非静态成员必须按声明顺序在内存中布局，且需满足成员的对齐要求（比如64位系统下int*的对齐大小为8字节）。

场景1：int* a放在四个[[no_unique_address]]成员之前 #

• 当模板参数为true时，四个成员是空类型：
  g++的实现逻辑中，仅能将第一个空成员与a的地址重叠，剩余三个空成员因连续声明，编译器会为它们分配最小占位空间（每个1字节），但为满足int*的8字节对齐要求，这3字节会被填充至8字节，最终总大小为8(a) + 8(填充后的空成员占位) = 16。
• 当模板参数为false时，四个成员是非空类型，每个需占用实际空间（假设每个8字节），加上a的8字节，总大小4*8 +8=40，符合预期。

场景2：int* a移至四个[[no_unique_address]]成员之后 #

• 当模板参数为true时，四个空成员的声明顺序在a之前，编译器可将所有空成员的地址与a重叠（或直接忽略它们的空间占用），a从内存起始位置开始布局，总大小为8字节。
• 非空成员场景下，四个成员的空间占用不受顺序影响，总大小仍为40。

2. 单个[[no_unique_address]]成员的预期行为 #

当仅保留一个带属性的空成员且a在其前时，编译器可直接将这个空成员与a完全重叠，因此sizeof(B<true>)为8；非空成员场景下，成员占用独立空间，总大小8+8=16，完全符合[[no_unique_address]]的设计预期。

3. 编译器实现的差异提醒 #

这种多个空成员的重叠优化逻辑属于编译器的实现细节，不同编译器（如Clang）可能有不同处理方式，标准仅允许这种重叠，并未强制要求编译器必须对所有空成员都做重叠优化。

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