C/C++内存对齐与联合体底层原理及实战技巧

1. 内存对齐与联合体的底层原理

在C/C++开发中，结构体（struct）和联合体（union）的内存布局一直是让开发者既爱又恨的话题。我曾在嵌入式系统开发中，因为一个结构体对齐问题导致整个通信协议解析失败，排查了整整两天。今天我们就来彻底剖析这个"内存谜题"。

内存对齐（Memory Alignment）的本质是硬件层面的性能优化。现代CPU通常按字长（32位系统4字节，64位系统8字节）来读取内存，未对齐的数据会导致多次内存访问。举个例子：一个int变量如果跨越两个4字节边界，CPU需要执行两次读取操作再拼接数据。

关键点：对齐不是语言特性而是硬件要求，违反对齐规则在某些架构（如ARM）会导致硬件异常

联合体（union）的特殊性在于所有成员共享同一块内存空间。它的内存大小由最大成员决定，但同样受对齐规则影响。这种特性常被用在协议解析和类型转换场景。

2. 结构体大小计算实战

2.1 基础对齐规则

先看这个简单结构体：

c复制struct Example1 {
    char a;     // 1字节
    int b;      // 4字节
    short c;    // 2字节
};

在32位系统（默认4字节对齐）下：

1. a占用0-1字节
2. b需要4字节对齐，因此跳过1-3字节，从4开始
3. c对齐到8字节
4. 最终结构体大小为12字节（0-11）

实测技巧：使用#pragma pack(1)可以取消对齐优化，但会牺牲性能。我在网络协议开发中曾用它来保证跨平台一致性。

2.2 嵌套结构体的对齐

更复杂的情况出现在嵌套结构中：

c复制struct Inner {
    double d;   // 8字节
    char e;     // 1字节
};

struct Outer {
    int f;          // 4字节
    struct Inner g; // 16字节（考虑对齐）
};

这里Inner结构体实际占用16字节（8+1+7填充），导致Outer的总大小为20字节（4+16）。有个实用技巧：按成员大小降序排列可以减少填充字节。

3. 联合体的特殊内存布局

3.1 基础联合体示例

c复制un