对于字节对齐问题一直有所疑惑,在网上搜寻资料也是看的迷迷糊糊。看了这位大神的分析,才真正结了我的困惑。
原文链接
https://mp.weixin.qq.com/s/WRaJQ8gD22OhLPvhM0dHew?
https://mp.weixin.qq.com/s/Lj7uTdgjYoA3ZbGyUJXI9w?
https://mp.weixin.qq.com/s/mFvBXRNrJBB-kdFtOyKutg?
总结
- 如果我们没有给出特别的指示,编译器会倾向于:
- 将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);
Cortex-M0/M0+
不支持非字节对齐,Cortex-M3/M4/M7
支持非字节对齐。- 可通过
__packed
直接告诉编译器对目标数据的访问是非对齐的。 - 在ARM Compiler里面,结构体的对齐使用以下规则:
- 整个结构体,根据结构体内最大的那个元素来对齐。比如,整个结构体内部最大的元素是WORD,那么整个结构体就默认对齐到4字节。
- 结构体内部,成员变量的排列顺序严格按照定义的顺序进行。
- 结构体内部,成员变量自动对齐到自己的大小——这就会导致空隙的产生。