1 预备知识
1.1 变量所占内存
(1)32位操作系统:
char : 1 int :4 short : 2 unsigned int : 4 long : 4 unsigned long : 4 long long : 8 float : 4 double : 8 指针 : 4
(2)64位操作系统
char : 1 int :4 short : 2 unsigned int : 4 long : 8 unsigned long : 8 long long : 8 float : 4 double : 8 指针 : 8
1.2 内存对齐
例1:
#include<stdio.h>
#include<string.h>
int main(void){
char a;
int b;
int c;
printf("a=%d\n",&a);
printf("b=%d\n",&b);
printf("c=%d\n",&c);
}
分析:char 所占1字节,int 所占4字节,假设起始内存为00000,那么a的起始地址为00000,b的起始地址00001,c的起始地址00005,总体所占内存大小为9字节。
通过编译(64b),可以看到a 的起始地址为6487583,b 的起始地址为6487576,c的起始地址为6487572,所占内存大小与分析不符。
原因:CPU每次都是以8字节(64b)或4字节(32b)的整数倍的内存地址中读取数据,如果不以整数倍读取,访问变量时,CPU需要进行多次访问内存操作,增加开销,即内存对齐。
内存对齐:编译器为了优化代码、往往会根据变量的大小将其指定合适的位置。
2、结构体所占内存
结构体所占内存并不是每个成员所占字节数简单相加,而是遵从内存对齐规则,其成员的内存对齐规则如下:
(1)每个成员分别按自己的对齐字节数和PPB(指定的对齐字节数,32位机默认为4)两个字节数最小的那个对齐,这样可以最小化长度。如在64bit的机器上,short的大小为2,min(sizeof(short), 8) = 2因此short存储的位置都是2的整数倍的位置开始存储,这个成员应该按照对其参数 min(sizeof(short), 8) = 2字节来对齐,
(2)复杂类型(如结构)的默认对齐方式是它最长的成员的对齐方式,这样在成员是复杂类型时,结构体数组的时候,可以最小化长度。
(3)结构体对齐后的长度必须是成员中最大的对齐参数(PPB)的整数倍,这样在处理数组时可以保证每一项都边界对齐。
例2:
struct A(64b)
{
char a; //内存位置: [0]
double b; // 内存位置: [8]...[15]
int c; // 内存位置: [16]...[19] ---- 规则1
}; // 内存大小:sizeof(A) = (1+7) + 8 + (4+4) = 24, 补齐[20]...[23] ---- 规则3
分析:a占1字节,按规则一,min(sizeof(char), 8) = 1,char 以1的整数倍的位置开始存储.
b占8字节,按规则一,min(sizeof(double), 8) = 8,double 以8的整数倍的位置开始存储.
c占4 字节,按规则一,min(sizeof(int), 8) = 4,double 以4的整数倍的位置开始存储.
那么 b 的起始位置为(1+7),c的起始位置为(1+7+8),因此struct A所占内存大小为24,(结果符合规则三)。
例3:
struct B
{
char a; //内存位置: [0]
double b; // 内存位置: [8]...[15]
A d;
int c; // 内存位置: [16]...[19] ---- 规则1
}; // 内存大小:sizeof(A) = (1+7) + 8 + (4+4) = 24, 补齐[20]...[23] ---- 规则3
分析: a占1字节,按规则一,min(sizeof(char), 8) = 1,a 以1的整数倍的位置开始存储.
b占8字节,按规则一,min(sizeof(double), 8) = 8,b 以8的整数倍的位置开始存储.
d占24字节,按规则二. 在64位地址空间中, A占24个字节,所以按照规则一的对齐条件,min(sizeof(A), 8) = 8,d 以8的整数倍的位置开始存储。
c占4 字节,按规则一,min(sizeof(int), 8) = 4,double 以4的整数倍的位置开始存储.
那么 b 的起始位置为(1+7),d的起始位置为(1+7+8),c的起始位置为(1+7+8+24),因此struct A所占内存大小为48(结果符合规则三)。