什么是Misaligned Load与Misaligned Store错误？如何解决运行时该异常？

让我一步步给你拆解这个问题——我之前在嵌入式平台上也踩过这个坑，太懂这种崩溃的痛苦了😅

首先得先搞懂内存对齐的核心逻辑：很多CPU架构（比如ARM、MIPS，甚至部分严格模式下的x86）对数据的内存访问有硬性要求——不同大小的数据类型，必须存放在对应倍数的内存地址上。举个例子：

• 1字节的char：随便放，没有对齐要求
• 4字节的int/float/指针：必须存在地址是4的倍数的位置（比如0xXXXXXXX0、0xXXXXXXX4）
• 8字节的double/64位指针：必须存在地址是8的倍数的位置

基于这个规则，Misaligned Load和Store的定义就很清晰了：

• Misaligned Load：当你试图从一个不符合对应类型对齐要求的地址读取数据时，触发的硬件异常
• Misaligned Store：就是你遇到的情况——往不符合对应类型对齐要求的地址写入数据时触发，你看到的异常码0x21在很多嵌入式架构里就是专门对应这个错误的

结合你的案例分析 #

你提到&buffer[0].dataMember的输出是0x1f1f1f1f，我们来算一下这个地址的对齐情况：
0x1f1f1f1f除以4的余数是3（因为0x1f1f1f1c是4的倍数，加3就是这个地址）。如果dataMember是4字节的类型（比如int、float或者指针），那这个地址完全不符合4字节对齐要求，写入操作自然会触发Misaligned Store错误。

为什么会出现这种不对齐的情况？ #

大概率是这两个原因之一：

1. 结构体定义的对齐被破坏：
   比如你的MyStructure里，前面的成员总字节数不是对齐边界的倍数，而且你可能用了强制取消对齐的编译指令（比如#pragma pack(1)）。举个例子：

   #pragma pack(1)
   struct MyStructure {
       char flag; // 1字节
       int dataMember; // 4字节，此时会紧跟在flag后面，地址偏移1字节，不对齐
   };
   #pragma pack()
   

   默认情况下编译器会自动填充3字节，让dataMember落在4字节对齐的地址上，但强制打包后就取消了这个填充，直接导致不对齐。

2. 数组本身的起始地址不对齐：
   静态数组一般编译器会自动处理对齐，但如果你在代码里做了奇怪的指针强制转换（比如把一个char*指针强制转成struct MyStructure*），就可能让数组的起始地址本身就不符合结构体的对齐要求，进而导致内部成员地址不对齐。

修复建议 #

• 先检查结构体定义：看看有没有#pragma pack之类的强制对齐指令，如果不是必须的，直接去掉；如果必须用，那手动在结构体里添加填充字节，确保dataMember落在对齐地址上，比如：

  #pragma pack(1)
  struct MyStructure {
      char flag;
      char padding[3]; // 手动填充3字节，让dataMember对齐
      int dataMember;
  };
  #pragma pack()
  

• 检查编译器选项：比如GCC的-fpack-struct选项，是否被错误开启了，这个选项会强制结构体紧凑排列，取消自动对齐。
• 开启编译器的对齐警告：比如GCC的-Wcast-align，编译时会帮你找出可能导致对齐问题的强制类型转换。
• 确认数组的初始化方式：有没有用非对齐的内存指针来初始化这个结构体数组？如果有，改成让编译器自动分配对齐的内存（静态数组本来就应该是对齐的）。

内容的提问来源于stack exchange，提问作者K_peanutButter