32、对齐访问：非对齐内存访问导致的硬件异常
嵌入式开发中，内存对齐是个老生常谈的话题。但说实话，很多人直到程序跑飞了，才意识到它的存在。
我记得刚入行那会儿，在一款ARM Cortex-M3的芯片上调试一个通信协议栈。程序跑着跑着就进HardFault了，查了两天才发现——是一个非对齐的uint32_t指针访问导致的。从那以后，我对内存对齐这件事，再也不敢马虎。
什么是内存对齐？
简单说，就是数据在内存中的存放地址，必须满足某种规则。
比如一个4字节的int，它的地址必须是4的倍数。一个2字节的short，地址必须是2的倍数。这就是所谓的「自然对齐」。
为什么要有这个规则？因为CPU读取内存时，不是按字节一个一个读的。它是一次读4个字节、8个字节这样整块读。如果数据没对齐，CPU就得读两次，再把数据拼起来。有些CPU干脆不支持这种操作，直接抛异常。
核心概念：
- 对齐地址：地址 % 数据大小 == 0
- 非对齐访问：地址不满足上述条件
- 后果：性能下降 或 硬件异常
哪些场景容易踩坑？
我总结了几种常见情况，你想想看，是不是都遇到过：
- 结构体指针强制转换——从字节数组强转成结构体指针
- 网络协议解析——从接收缓冲区直接读取多字节字段
- 内存池/缓冲区管理——偏移量计算错误导致地址不对齐
- 外部存储器访问——从SPI Flash或EEPROM读取数据后直接强转
说白了，只要你在做「把一段内存当作某种类型来访问」的操作，就得小心对齐问题。
代码示例：非对齐访问的典型错误
// 错误示例：从字节数组直接读取uint32_t
uint8_t buffer[10] = {0x12, 0x34, 0x56, 0x78, 0x9A, 0xBC, 0xDE, 0xF0};
// 假设buffer的起始地址是0x20000000
// 那么buffer+1的地址是0x20000001，不是4的倍数
uint32_t *p = (uint32_t *)(buffer + 1); // 非对齐！
uint32_t value = *p; // 这里可能触发硬件异常这段代码在x86上可能能跑，但在ARM、RISC-V等嵌入式平台上，大概率直接崩掉。
正确的做法
我个人习惯用memcpy来避免对齐问题。编译器会帮你处理好一切：
// 正确做法：使用memcpy
uint8_t buffer[10] = {0x12, 0x34, 0x56, 0x78, 0x9A, 0xBC, 0xDE, 0xF0};
uint32_t value;
memcpy(&value, buffer + 1, sizeof(value)); // 安全，编译器处理对齐或者，如果你确定平台支持非对齐访问（比如x86），可以用__attribute__((packed))或#pragma pack：
// 使用packed结构体
typedef struct __attribute__((packed)) {
uint8_t flag;
uint32_t data;
} Packet;
// 但注意：访问packed结构体成员时，编译器会生成慢速的非对齐访问代码警告： packed结构体虽然能解决对齐问题，但访问效率低。在性能敏感的代码中，建议手动拷贝到对齐的局部变量后再使用。
不同平台的对齐策略
| 平台/架构 | 对齐要求 | 非对齐访问行为 |
|---|---|---|
| x86 / x86-64 | 建议对齐，但不强制 | 性能下降，但不会异常 |
| ARM Cortex-M | 强制对齐 | 触发HardFault |
| ARM Cortex-A | 可配置（默认对齐） | 可配置为异常或自动处理 |
| RISC-V | 强制对齐 | 触发异常 |
| MIPS | 强制对齐 | 触发异常 |
你看，除了x86，大部分嵌入式平台都是强制对齐的。所以写代码时别指望「侥幸能跑」。
避坑指南
我曾经在一个项目里，把从SPI Flash读出的数据直接强转成结构体指针。结果换了颗MCU后，程序就崩了。查了半天，发现新MCU的对齐策略更严格。
从那以后，我给自己定了个规矩：所有从外部存储器或通信接口拿到的数据，一律用memcpy拷贝到对齐的变量中再使用。
具体建议：
- 协议解析时：不要直接强转指针，用memcpy逐字段拷贝
- 定义结构体时：按成员大小从大到小排列，减少填充字节
- 使用动态内存时：确保malloc返回的地址满足最严格的对齐要求（通常是8字节或16字节）
- 跨平台代码：用宏封装对齐访问函数，方便移植
知识体系图
下面这张图帮你理清内存对齐的核心逻辑：
总结
内存对齐这件事，说白了就是「尊重CPU的脾气」。它喜欢对齐的数据，你就给它对齐的。非要拧着来，它就给你颜色看。
我个人建议：在所有嵌入式项目中，默认假设平台不支持非对齐访问。这样写出来的代码，移植到任何平台都不会出问题。
嗯，记住一句话：能用memcpy解决的问题，就别用指针强转。
公众号:蓝海资料掘金营，微信deep3321