结构体内存对齐
一、 为什么需要结构体内存对齐?
1. 平台原因(移植原因): 不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
2. 性能原因: 数据结构(尤其是栈)应该尽可能地在自然边界上对齐。 原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。
总体来说: 结构体的内存对齐是拿空间来换取时间的做法。
3.如何计算? 首先得掌握结构体的对齐规则:
1.1. 第一个成员在与结构体变量偏移量为0的地址处。
1.2. 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。 对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。 VS中默认的值为8 Linux中没有默认对齐数,对齐数就是成员自身的大小
1.3. 结构体总大小为最大对齐数(每个成员变量都有一个对齐数)的整数倍。
1.4. 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整 体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
4.设计结构体的技巧
我们在设计结构体的时候将占用空间小的成员尽量集中在一起,可以避免内存的浪费.
5. 修改默认对齐数
在VS2022中,我们可以自由的修改默认对齐数来满足我们的内存需求.
#pragma pack()
只需在pack中填入你设置的默认对齐数即可.
二、位段
2.1 什么是位段
位段是通过结构体来实现的一种以位(bit位)为单位的数据存储结构,它可以把数据以位的形式紧凑的储存,并允许程序员对此结构的位进行操作.这样可以节省空间.
1.位段的成员必须是 int、 char 、unsigned int 或signed int 。
2.位段的空间上是按照需要以4个字节( int )或者1个字节( char )的方式来开辟的。
3.位段的成员名后边有一个冒号和一个数字。位段后面分配的比特位不能超过原本类型的大小。
4.位段涉及很多不确定因素,位段是不跨平台的,注重可移植的程序应该避免使用位段。
struct A
{
int a:2;
int b:5;
int c:10;
int d:30;
};
2.2 位段内存计算
我们以这个结构体举例
struct S
{
char a:3;
char b:4;
char c:5;
char d:4;
};
int main()
{
struct S s = {0};
printf("%d\n", sizeof(s));
return 0;
}
结果是3个字节,这样相对直接使用结构体来说节省了不少空间。
2.3 位段的跨平台问题
1. int 位段被当成有符号数还是无符号数是不确定的。
2. 位段中最大位的数目不能确定。(16位机器最大16,32位机器最大32,写成27,在16位机 器会出问题。
3. 位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。
4. 当一个结构包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的位时,是 舍弃剩余的位还是利用,这是不确定的。
总结: 跟结构相比,位段可以达到同样的效果,并且可以很好的节省空间,但是有跨平台的问题存在。
3.联合体
3.1 定义:
联合体是一种特殊的自定义类型 这种类型定义的变量也包含一系列的成员,特征是这些成员公用同一块空间(所以联合也叫共用体)。 比如:
使用场景:在某个变量不使用的时候可以使用其他变量.
缺点:在使用其他变量的时候会改变内存中的数据
特点:联合的成员是共用同一块内存空间的,这样一个联合变量的大小,至少是最大成员的大小(因为联合至少得有能力保存最大的那个成员)。
union 联合体名字
{
成员表
};
3.2 联合体的创建方式(和结构体相似)
1.先创建模板,再定义变量
// 创建联合体模板union u
union u
{
int i;
char c;
};
// 使用该联合体模板创建两个变量a, b
union u a,b;
3.3创建模板时同时定义变量
// 创建联合体模板union u的同时定义两个变量a、b
union u
{
int i;
char c;
};
3.4匿名联合体
union
{
int i;
char c;
}a,b;
3.5typedef
typedef union u
{
int i;
char c;
}U;
U a = {1,'a'};
3.6 初始化
U a;
a.i = 10;
U b = a; /* 1、把一个联合初始化为另一个同类型的联合; */
U c = {20}; /* 2、初始化联合的第一个成员; */
U d = {.i = 30}; /* 3、根据C99标准,使用指定初始化器。 */
3.7判断机器的大小端
typedef union u
{
int i;
char c;
}U;
U u;
u.i = 0x00000001
//打印c,如果是1就是小端,如果是0就是大端