最近参加了多场公司的笔试,基本上每次必考结构体的大小。一般都是win32平台,其字节对齐策略为:
1)结构体变量的首地址能够被其最宽数据类型成员的大小整除。编译器在为结构体变量开辟空间时,首先找到结构体中最宽的数据类型,然后寻找内存地址能被该数据类型大小整除的位置,这个位置作为结构体变量的首地址。而将最宽数据类型的大小作为对齐标准。
#include <iostream>
struct A
{
int a:8;
int b:4;
double c;
int d:3;
};
main()
{
std::cout<<sizeof(A);
getchar();
}
输出是:24。此时按8个字节对齐,如果在上面加上#pragma pack(4),强制要求其按4字节对齐,则结果变为16。 取消指定对齐,恢复缺省对齐,则使用#pragma pack ()。
#include <iostream>
struct A
{
int a:3;
int b;
int c;
int d:64;
};
main()
{
std::cout<<sizeof(A);
getchar();
}
输出也是:24。因为d所占大小为8字节,应该按其大小对齐而不是int类型大小对齐。
2)结构体每个成员相对结构体首地址的偏移量都是每个成员本身大小的整数倍,如有需要会在成员之间填充字节。编译器在为结构体成员开辟空间时,首先检查预开辟空间的地址相对于结构体首地址的偏移量是否为该成员大小的整数倍,若是,则存放该成员;若不是,则填充若干字节,以达到整数倍的要 求。
3)结构体变量所占空间的大小必定是最宽数据类型大小的整数倍。如有需要会在最后一个成员末尾填充若干字节使得所占空间大小是最宽数据类型大小的整数倍。