为什么变量的起始地址必须能够被自身数据类型的大小整除?

1、这段话放在段首,首先你要知道这是一个规定,计算机就是这么做的,下面这段话会让你更理解这个规定的具体操作:

个人还是更喜欢下面的对齐准则。

 结构体字节对齐的细节和具体编译器实现相关,但一般而言满足三个准则:

 1) 结构体变量的首地址能够被其最宽基本类型成员的大小所整除;

 2) 结构体每个成员相对结构体首地址的偏移量(offset)都是成员大小的整数倍,如有需要编译器会在成员之间加上填充字节(internal adding);

 3) 结构体的总大小为结构体最宽基本类型成员大小的整数倍,如有需要编译器会在最末一个成员之后加上填充字节{trailing padding}。

 对于以上规则的说明如下:

 第一条:编译器在给结构体开辟空间时,首先找到结构体中最宽的基本数据类型,然后寻找内存地址能被该基本数据类型所整除的位置,作为结构体的首地址。将这个最宽的基本数据类型的大小作为上面介绍的对齐模数。

 第二条:为结构体的一个成员开辟空间之前,编译器首先检查预开辟空间的首地址相对于结构体首地址的偏移是否是本成员大小的整数倍,若是,则存放本成员,反之,则在本成员和上一个成员之间填充一定的字节,以达到整数倍的要求,也就是将预开辟空间的首地址后移几个字节。

 第三条:结构体总大小是包括填充字节,最后一个成员满足上面两条以外,还必须满足第三条,否则就必须在最后填充几个字节以达到本条要求。

如果你要深究,这篇文章也许能帮到你:
链接: 博客园-C语言字节对齐问题详解.

你可能感兴趣的:(计算机组成原理)