关于C语言字节对齐问题的解释

对于字节对齐问题一直有所疑惑，在网上搜寻资料也是看的迷迷糊糊。看了这位大神的分析，才真正结了我的困惑。

原文链接

https://mp.weixin.qq.com/s/WRaJQ8gD22OhLPvhM0dHew?

https://mp.weixin.qq.com/s/Lj7uTdgjYoA3ZbGyUJXI9w?

https://mp.weixin.qq.com/s/mFvBXRNrJBB-kdFtOyKutg?

总结

1. 如果我们没有给出特别的指示，编译器会倾向于：

• 将uint32_t（4个字节）的变量放到被4整除的地址上，0x0、0x4、0x8、0xC…，也就是我们常说的对齐到字（Word Aligned）；
• 将uint16_t（2个字节）的变量放到能被2整除的地址上，0x0、0x2、0x4…也就是我们常说的对齐到半字（Half-word Aligned）；
• 将uint64_t（8个字节）的变量放到被8整除的地址上，0x0、0x8… 也就是我们常说的对齐到双字（Double Word Aligned）；

1. Cortex-M0/M0+不支持非字节对齐，Cortex-M3/M4/M7支持非字节对齐。
2. 可通过__packed直接告诉编译器对目标数据的访问是非对齐的。
3. 在ARM Compiler里面，结构体的对齐使用以下规则：

• 整个结构体，根据结构体内最大的那个元素来对齐。比如，整个结构体内部最大的元素是WORD，那么整个结构体就默认对齐到4字节。
• 结构体内部，成员变量的排列顺序严格按照定义的顺序进行。
• 结构体内部，成员变量自动对齐到自己的大小——这就会导致空隙的产生。