上周面试一个题目,考察的是 c
语言数据结构里面的对齐,题目如下:
struct S {
char a;
short b;
int c;
}
在 32 位机器上占用的空间大小是多少?
答案: 8
想必大家都知道这个答案,而且原因大家也都清楚,但是我不太确定有多少人知道详细的内存布局?
假如 S
的地址空间从 0x0000
开始, a
跟 c
的地址分别为 0x0000
和 0x0004
也都有问题,那 b
的地址为多少,是 0x0001
还是 0x0002
?
答案: 0x0002
这里需要理解以下几个概念:
- 数据类型自身对齐值:
char
为 1,short
为 2,int
为 4。 - 结构体的自身对齐值: 成员中自身对齐值最大的那个值。本例中为 4。
- 指定对齐值:
#pragma pack (value)
指定对齐值的value
,在 32 位机器上默认是 4,当然也可以自己设定。 - 数据成员有效对齐值:即 数据类型自身对齐值 和 指定对齐值 的最小值。
而有效对齐值是最终用来决定数据存放地址的值。假设有效对齐为N,就是表示“对齐在N上”,也就是说该数据的“存放起始地址%N=0”。数据结构中的数据变量都是按定义的先后顺序排放的。
此题中,成员变量 b
的有效对齐值为 2, 而 0x0002 % 2 == 0
, 所以 b
的地址为 0x0002
。