结构体大小

2401_88413914

1012人浏览 · 2025-06-03 16:31:28

2401_88413914 · 2025-06-03 16:31:28 发布

前言

1. 结构体大小计算的基本概念

在C语言中，结构体的大小（sizeof）并不总是其所有成员大小的简单相加，这是因为编译器会对结构体进行内存对齐（Memory Alignment）优化。理解结构体大小的计算规则对于内存优化和跨平台开发非常重要。

1.1 为什么需要内存对齐

硬件效率：许多计算机体系结构要求特定类型的数据必须从特定地址开始访问
性能优化：对齐的数据访问通常比非对齐访问更快
硬件限制：某些架构（如ARM）根本无法访问非对齐数据，会导致硬件异常

2. 结构体对齐的基本原则

2.1 基本对齐规则

成员对齐规则：每个成员相对于结构体首地址的偏移量必须是该成员大小与对齐基数中较小者的整数倍
结构体整体对齐规则：结构体总大小必须是最大成员大小与对齐基数中较小者的整数倍

2.2 默认对齐基数

32位系统：通常为4字节
64位系统：通常为8字节
可以通过#pragma pack(n)指令修改（n=1,2,4,8,16）

3. 结构体大小计算示例

3.1 示例1：简单结构体

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

计算过程（假设4字节对齐）：

char a：偏移0，大小1
int b：需要4字节对齐，所以偏移量必须是4的倍数。下一个可用位置是4（跳过1-3）
1-3为填充字节
short c：偏移8，大小2
结构体总大小：0-9 = 10字节？
但需要满足整体对齐（最大成员int为4字节），所以扩展到12字节

内存布局：

0   1   2   3   4   5   6   7   8   9   10  11
[a][pad][pad][pad][b ][b ][b ][b ][c ][c ][pad][pad]

3.2 示例2：调整成员顺序优化空间

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

计算过程：

int b：偏移0，大小4
char a：偏移4，大小1
short c：需要2字节对齐，偏移必须是2的倍数
- 下一个可用位置是6（5不是2的倍数）
- 5为填充字节
结构体总大小：8字节（已经是最大成员int的倍数）

内存布局：

0   1   2   3   4   5   6   7
[b ][b ][b ][b ][a][pad][c ][c ]

sizeof(struct Example2) = 8字节

优化技巧：合理安排结构体成员顺序可以减少填充字节，节省内存空间

3.3 示例3：包含数组的结构体

struct Example3 {
    char a;         // 1
    double b;       // 8
    char c[5];      // 5
};

计算过程（假设8字节对齐）：

char a：偏移0，大小1
double b：需要8字节对齐，所以从8开始
- 1-7为填充字节
char c[5]：偏移16，大小5
结构体总大小：16+5=21 → 需要是8的倍数，扩展到24

sizeof(struct Example3) = 24字节

3.4 示例4：嵌套结构体

struct Inner {
    int a;          // 4
    char b;         // 1
};                  // 大小为8（填充3字节）

struct Outer {
    char x;         // 1
    struct Inner y; // 8
    short z;        // 2
};

计算过程：

char x：偏移0，大小1
struct Inner y：需要按照其最大成员(int)4字节对齐
- 下一个4的倍数是4，所以从4开始
- 1-3为填充字节
short z：偏移12，大小2
结构体总大小：14 → 需要是4的倍数，扩展到16

sizeof(struct Outer) = 16字节

4. 特殊情况下的大小计算

4.1 空结构体

在C标准中，空结构体的大小是未定义的。不同编译器处理方式不同：

GCC：大小为0
MSVC：大小为1（为了确保每个实例有唯一地址）

4.2 柔性数组成员(C99)

struct FlexArray {
    int length;
    int data[];  // 柔性数组成员
};

sizeof(struct FlexArray) 不包含柔性数组部分，只计算固定部分（这里是4字节）

5. 控制结构体对齐的方式

5.1 使用#pragma pack

#pragma pack(1)  // 设置为1字节对齐
struct PackedStruct {
    char a;
    int b;
    short c;
};
#pragma pack()   // 恢复默认对齐

// sizeof(struct PackedStruct) = 1+4+2 = 7