1. 内存对齐的基本概念与必要性
在嵌入式系统和单片机开发中，内存对齐是一个经常被忽视但极其重要的概念。我第一次真正理解它的重要性是在调试一个STM32项目时，当时遇到了一个奇怪的硬件异常错误，追踪了整整两天才发现是结构体成员未对齐导致的。
内存对齐指的是数据在内存中的存储地址必须是某个特定值（通常是2、4、8等2的幂次方）的整数倍。例如，一个4字节的int型变量在32位系统上通常需要4字节对齐，即它的内存地址必须是4的倍数。
注意：在ARM Cortex-M系列单片机中，未对齐的内存访问会导致硬件异常（HardFault），这是新手最容易踩的坑之一。
为什么需要内存对齐？主要有三个原因：
-
硬件效率：现代处理器从内存读取数据时，如果数据是自然对齐的（即地址是数据大小的整数倍），通常只需要一次内存访问。未对齐的数据可能需要两次内存访问和额外的移位操作。
-
原子性保证：某些架构（如ARM）要求特定类型的数据必须对齐才能保证操作的原子性。
-
编译器优化：对齐的数据结构可以让编译器生成更高效的代码，特别是在使用SIMD指令时。
在Cortex-M0这样的单片机中，内存对齐要求更为严格。例如：
c复制struct {
char a; // 1字节
int b; // 4字节，需要4字节对齐
short c; // 2字节
} myStruct;
如果不了解对齐规则，可能会错误地认为这个结构体大小为7字节（1+4+2），但实际上在32位系统上它通常会占用12字节，这就是结构体内存对齐的典型表现。
2. 结构体内存对齐的详细规则
结构体的内存对齐遵循一套明确的规则，这些规则在不同编译器和平台上可能略有差异，但基本原则是一致的。让我们通过一个实际的例子来解析这些规则。
2.1 对齐规则详解
-
成员对齐规则：结构体每个成员的偏移量（offset）必须是其自身大小或编译器指定对齐值（通过#pragma pack指定）中较小者的整数倍。
-
结构体整体对齐规则：结构体总大小必须是其最大成员大小或编译器指定对齐值中较小者的整数倍。
-
嵌套结构体规则：嵌套结构体的对齐方式与其最大成员的对齐要求相同。
以这个