关于C语言结构体对齐问题的探讨
今天跟一个同事聊天中,讨论起了C语言结构体对齐的问题,查阅了一些blog,发现这些blog多多少少有些地方忽略了,或者是叙述的不清楚。在这里,我想做个总结,梳理一下。
先扯点题外话,我在查阅blog的时候,发现很多人都是你抄我,我抄你,一个错误到处重现。。。我要问,有意思吗?写技术blog是在完任务吗?希望大家写blog的时候能参考下面这位大哥的建议,写出有价值,能帮助别人的东西。
从理论上看:
字节对齐的细节和编译器实现相关,但一般而言,满足三个准则:
1.结构体变量的首地址能够被其最宽基本类型成员的大小所整除;
2. 结构体每个成员相对于结构体首地址的偏移量(offset)都是该成员大小的整数倍,如有需要编译器会在成员之间加上填充字节(internal adding);
3. 结构体的总大小为结构体最宽基本类型成员大小的整数倍,如有需要编译器会在最末一个成员之后加上填充字节(trailing padding)。
4. 对于结构体嵌套结构体,其对齐仍按照基本数据类型拆分来分析
上面这些条准则在很多blog上都提到过,我想问问这些博主,你们有没有交代过前三条是windows平台上的规则?或许这样说太武断,但是linux下不能按照
这些“准则”去分析。
在win下这些准则基本上可以让你搞清许多关于结构体对齐的问题(包括那些恶心的面试题)。
剩下的,像嵌套,#pragma pack(n),位域等,大家可以去google