ARM GCC对packed结构体取地址触发-Waddress-of-packed-member警告原因求解

• 你对__attribute__((packed))的作用存在部分误解：该属性修饰结构体时，不仅会取消结构体内部成员之间的填充字节，同时会将整个结构体类型的强制对齐要求设置为1，不会保留原本和最大内部成员对齐的属性。对你定义的test_struct_t类型来说，类型层面的对齐要求就是1，编译器在类型检查阶段只会基于类型的对齐属性做通用判断，不会单独为某一个全局变量的实际对齐情况做特例处理。
• 该警告是针对类型转换的通用风险，而非你当前示例中全局变量的实际对齐情况：你当前定义的全局test_struct变量，gcc确实大概率会为它分配满足4字节对齐的地址，但从C语言类型规则的角度，test_struct_t类型的实例完全可能出现在非4对齐的地址上：

  比如将test_struct_t作为成员嵌入另一个packed结构体中、定义test_struct_t类型的数组（第二个元素的地址为首地址+3，必然不满足4对齐）、用malloc动态分配test_struct_t实例等场景下，实例地址都可能是1对齐的。

• 你执行的(uint32_t*) &test_struct转换本质是将对齐要求为1的指针强转为对齐要求为4的指针，编译器无法保证所有场景下转换后的指针都是对齐的，因此会触发该警告。

如果要合法消除该警告，且你确定业务场景下所有test_struct_t实例地址一定满足4对齐，可以在定义结构体时额外添加__attribute__((aligned(4)))修饰，显式指定整个结构体的对齐要求为4即可。

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