题目:什么是内存对齐?为什么要对齐?什么时候需要对齐?
【答案】
什么是内存对齐?
字节对齐(内存对齐)主要是根据编译器设定或者在特定系统环境下数据按一定的规则存取在内存中的位置。
为什么要对齐?
由于不同系统对数据存取的位置有着不同的要求,对齐规则也就会有些不同。在X86系统下,一般默认对齐为4的整数倍并作为自然对齐。
CPU访问数据的效率问题(对一些系统要求效率高):
(1)若存取数据是整型变量,如果该变量置于0x0002,那么CPU存取它的值就要访问2次,即第一次一个0x0002到0x0003的short类型,第二次一个0x0004到x0005的short类型,两次结合一起得到整型变量。如果该变量置于0x0003,那么CPU存取它的值就要访问3次。
(2)不管是基本数据类型、对象还是数据结构等都离不开字节对齐规则。比如我们在函数内部定义一些基本数据类型在栈区,当您要打印他们各自的存储地址就会发现,像int,float,double类型,就会按偶地址来存储的,而对于char类型是按奇地址来存储的,这显然目的是为了存取数据的效率更快些。相比之下,在堆区里的数据就不一定了。
节省内存空间问题:
对于一些对CPU效率要求不高或者其他不同的要求,不必要采用默认字节对齐,而采用指定某字节对齐来减少存储空间。
什么时候需要对齐?
根据不同的编译器设置字节对齐来避免生成的代码出错。此外,对于一些存储效率的要求,我们不得不需要以时间效率来换取空间大小,同样的,以牺牲空间来换取时间的效率。
题目:对于结构体字节对齐,有哪些规则?
【答案】
总体上我们假设结构体起始位置为0x0000,N为设置的n字节对齐,则满足公式0x0000%N==0,来决定结构体成员存储的位置。
1.如果是采用默认对齐规则,需要执行以下的步骤:
(1)结构体的成员的自身对值N(数据类型占有的空间,比如在32位机器下int型为4字节,自身对值为4)需要与存储位置做出判断。若满足“起始位置%N=0”(除了结构体的第一个成员,N也要必须满足>=成员自身对齐值),则把该成员存放在该起始位置。若前一个成员与目前成员的存储位置有一定的距离,则把该距离作为填充空间。
(2)所有结构体的成员都分配完存储位置之后,则还要结构体本身也要进行对齐。结构体本身也要满足“(M+X)%S=0”来进行对齐ÿ