结构体的内存布局
为了提高内存访问效率,降低处理器从内存读取数据的开支,各种数据类型的对象并不是连续存放在内存中的任意起始地址上的,而是尽可能的对齐到机器字长上面。编译器出于优化的考虑,会给各种数据类型的变量在内存的存储方式施加限制,我们可以从两个方面来考虑这个问题,一个是对齐(alignment),另一个就是间距(padding)。
1. 对齐
各个变量在内存中的起始地址能够被变量所属类型的宽度所整除。比如说占据2个字节的 short
类型的地址应该是偶数,占据4个字节的 int
和 float
应该放到能被4整除的起始地址上,占据8个字节的 double
和 long
应该放置在能够被8整除的起始地址上(注意,数据类型的宽度在 C/C++ 中并没有被严格定义,通常来说32位应用程序中 int
和 long
都是4个字节的,64位应用程序中 int
为4字节,long
是8字节,某些编译器可能会有与此不同的其他实现)。而 char
类型由于只有一个字节,所以他存放在哪里都可以。
指针变量同样是要对齐的,由于指针变量的宽度和地址总线的宽度一致,因此32位应用程序中指针变量总是对齐到能被4整除的字节上,而64位应用程序中指针变量则存放到可以被8整除的起始地址处。
2. 间距
为了保证各种数据类型的变量都很好地对齐到机器字长上,变量间的间距是另一个简单有效的手段。连续定义的变量在内存中可能并不连续,他们之间会存在一个不被使用的间距(由于两个变量都要遵循前面说的对齐规则,他们之间自然而然就会有间距)。比如:
int *p = NULL;