1》事情缘由：今天遇到一个bug，调试了大半天，最终锁定是字节对齐问题，但具体细节尚不清楚，请路过的大神帮忙指教，谢谢。
2》开发环境：stm32f103vct6 + Keil MDK - 5.23 + 未开启优化。
3》详细细节：本来程序是可以通过运行的，”手抽“将数组调动位置（由于调动位置，导致数组buf[]的起始地址开始满足4字节对齐，后来仅仅满足2字节对齐）。于是开启漫长的debug。。。
4》实际代码：删除部分无关代码，浓缩如下：
5》运行效果：如果注释掉aaa[]数组，程序正常执行；如果不注释掉aaa[]数组（注意：此时buf[]起始地址不满足4字节对齐），程序执行到下述位置，直接进入HardDefualt！！！

1. uint8_t aaa[21];
   
2. uint16_t buf[1000];
   
3.                                
   
4. #define data1                 (*((float *)((uint16_t *)(buf + 600))))
   
5. #define data2                 (*((float *)((uint16_t *)(buf + 602))))
   
6.        
   
7. #define temp1                 (*((float *)((uint16_t *)addr + 0)))
   
8. #define temp2                 (*((float *)((uint16_t *)addr + 2)))
   
9.        
   
10. #define ADDR_BASE        ((void *)((uint16_t *)buf + 600))
    
11.        
    
12. float func(void *addr)
    
13. {
    
14.         volatile float tmp;
    
15.         tmp = temp1 + temp2; //程序执行到这里，直接进入HardDefault！！！
    
16.         return tmp;
    
17. }
    
18. 
    
19. int main()
    
20. {       
    
21.         volatile float tmp;
    
22.        
    
23.         data1 = 1.1;
    
24.         data2 = 3.3;
    
25.        
    
26.         board_init();
    
27.        
    
28.         tmp = func(ADDR_BASE);
    
29.        
    
30.         printf("buf = %u, tmp = %f ", (uint32_t)((void *)buf), tmp);
    
31.        
    
32.         while (1);
    
33. }

复制代码
6》个人理解1：buf[]数组是uint16类型，因此系统默认会让buf[]数组满足2字节对齐，是否满足4字节对齐则是随机的。
7》个人理解2：由于Cortex-M3/M4默认是支持非对齐访问的（无外乎是多浪费几条指令，将非对齐最终转换为对齐访问），所以不明白此段代码为什么会进入HardDefualt，恳请指教，感谢！！！