利用类对齐优化紧凑排布变量：能否将变量放入结构体填充区？

给定不可修改的结构体A，以及可修改的结构体B，定义如下：

struct A {
  int64_t x;  // 8 bytes
  int32_t y;  // 4 bytes
              // 4 padding bytes
};

struct B {
  A a;        // 16 bytes
  int32_t z;  // 4 bytes
              // 4 padding bytes (alignof(B) == alignof(A) == 8)
};

static_assert(sizeof(B) == 24);  // 存在8字节无用填充！

核心提问：是否可以通过某些属性将变量z放入结构体A的填充字节中？

可以实现，但仅能依赖编译器扩展，且存在移植性和内存安全风险，具体方案如下：

利用匿名联合体+packed属性（GCC/Clang适用） #

通过匿名联合体让A和一个紧凑布局的结构体共享内存空间，把z直接放在A的填充位置：

struct B {
    union {
        A a;
        struct {
            int64_t x;
            int32_t y;
            int32_t z; // 恰好占用A原本的4字节填充空间
        } __attribute__((packed));
    };
};

static_assert(sizeof(B) == 16); // 验证：大小从24缩减到16

原理说明：

1. 匿名联合体的大小取成员中最大的尺寸，这里A的大小是16字节，紧凑结构体的大小是8+4+4=16字节，因此B的整体大小为16字节
2. __attribute__((packed))强制结构体消除内部填充，让z紧跟在y之后，恰好填满A原本的填充区域

注意事项：

• 这违反了C++标准的严格别名规则，属于编译器扩展支持的未定义行为，仅在GCC、Clang等兼容该属性的编译器下有效，无法移植到MSVC等其他编译器
• 如果A的内部布局发生变化（比如编译器调整填充策略、A的定义被修改），会直接导致z的内存位置出错，破坏数据结构
• 不能同时通过a.y和z修改同一内存区域，否则会互相覆盖，引发逻辑错误

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