基本数据类型的对齐特性

在C语言中，不同数据类型具有不同的内存对齐要求。这种对齐方式由硬件架构决定，旨在提高内存访问效率。例如：

• char 类型按1字节对齐
• short 类型按2字节对齐
• int 类型通常按4字节对齐
• float 和 double 可能分别按4或8字节对齐

结构体成员顺序影响总大小

即使两个结构体包含相同的成员变量，只要声明顺序不同，其占用的总内存空间也可能不一致。考虑以下定义：

struct SampleA {
    char flag;
    short value;
    int number;
};

struct SampleB {
    char flag;
    int number;
    short value;
};

使用 sizeof() 获取大小时会发现：

printf("Size of SampleA: %zu\n", sizeof(struct SampleA));
printf("Size of SampleB: %zu\n", sizeof(struct SampleB));

输出结果可能为：
SampleA: 8 字节
SampleB: 12 字节 这是因为编译器会在成员之间插入填充字节（padding），以满足各自类型的对齐需求。

分析内存布局差异

通过查看各成员的实际偏移量可以更清楚地理解这一现象：

• 在 SampleA 中：
  – flag 位于偏移 0
  – 编译器在 flag 后添加1字节填充，使 value 对齐到偶数地址
  – number 紧随其后，自然对齐到4的倍数地址
• 在 SampleB 中：
  – flag 位于偏移 0
  – 需要3字节填充才能让 number 对齐到4字节边界
  – value 存储之后还需额外2字节填充以保证整体大小为对齐单位的整数倍

使用 #pragma pack 控制对齐行为

可以通过预处理指令 #pragma pack 显式设置对齐模数，从而减少内存浪费。例如强制1字节对齐：

#include <stdio.h>

#pragma pack(push, 1)  // 保存当前设置并设为1字节对齐
struct CompactStruct {
    char tag;
    int data;
    short index;
};
#pragma pack(pop)      // 恢复之前的对齐设置

此时该结构体总大小将变为7字节（无任何填充），但可能会降低访问速度。 其他常用语法包括：

#pragma pack(2)   // 设定最大对齐为2字节
#pragma pack()    // 重置为编译器默认值

为何需要内存对齐？

主要原因有两个：

1. 硬件兼容性：某些处理器无法直接读取未对齐的数据地址。尝试访问可能导致异常或崩溃。
2. 性能优化：对齐数据可被单次读取完成；而非对齐数据可能需要多次内存操作合并处理，显著降低运行效率。

因此，结构体内存对齐是一种典型的空间换时间策略。

优化建议：合理排列成员顺序

为了在保持良好性能的同时节省内存，应尽量将小尺寸成员集中放置。例如：

struct Optimized {
    char first;
    char second;
    short counter;
    int total;
};

相比分散排列的方式，这种方式减少了填充区域，提高了内存利用率。

对齐规则总结

结构体的最终大小遵循以下原则：

1. 每个成员相对于结构体起始地址的偏移必须是 min(指定对齐值, 自身大小) 的整数倍。
2. 结构体总大小必须是其内部最大对齐值的整数倍（受 #pragma pack 影响）。
3. 嵌套结构体时，其对齐要求也参与计算。