那么为什么要这样设计,为什么存在内存对齐呢?
- 平台原因(移植原因):不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
- 性能原因:数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于:为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。
解释一下两次内存访问的情况:
以32位机器举例:32位机器字长32位(bit),即一次读写数据32位(bit),对应4个字节(byte)。
假设在不对齐的情况下:
所以说:结构体的内存对齐是拿空间来换取时间的做法。
在设计结构体的时候,我们既要满足对齐,又要节省空间就需要让占用空间小的成员尽量集中在一起。比如:
//例如: struct S1 { char c1; int i; char c2; }; struct S2 { char c1; char c2; int i; };
S1和S2类型的成员一模一样,但是S2在设计时让占用空间小的char集中在一起,所以S2的占用空间小于S1的占用空间。
(5)修改默认对齐数
如果你觉得该编译器的默认对齐数不合适,那么我们可以自行修改,方法如下:
#pragma pack(8)//设置默认对齐数为8 struct S1 { char c1; int i; char c2; }; #pragma pack()//取消设置的默认对齐数,还原为默认
(6)结构体传参
结构体作为参数传递时我们要传递结构体本身还是结构体指针呢?
struct S { int data[1000]; int num; }; struct S s = { {1,2,3,4}, 1000 }; //结构体传参 void print1(struct S s) { printf("%d\n", s.num); } //结构体地址传参 void print2(struct S* ps) { printf("%d\n", ps->num); } int main() { print1(s); //传结构体 print2(&s); //传地址 return 0; }
如果是你,你选择那个打印函数?
答案:首选print2函数。
原因: 函数传参的时候,参数是需要压栈,会有时间和空间上的系统开销。
如果传递一个结构体对象的时候,结构体过大,参数压栈的的系统开销比较大,所以会导致性能的 下降。
结论: 结构体传参的时候,要传结构体的地址。
(7)位段
位段的声明和结构是类似的,有两个不同:
- 位段的成员必须是int、unsigned int、signed int或者是char(属于整型家族)类型。
- 位段的成员名后边有一个冒号和一个数字。
比如:
struct A { int _a : 2; int _b : 5; int _c : 10; int _d : 30; };
A就是一个位段类型。
位段是为了节省内存来设计的,比如有些数字两个bit就能放下:
如0,1,2,3 对应00,01,10,11。
那么位段A的大小又如何计算呢?
位段的内存分配:
- 位段的成员可以是 int、unsigned int、signed int或者是char(属于整形家族)类型
- 位段的空间上是按照需要以4个字节( int )或者1个字节( char )的方式来开辟的,具体是哪种取决于编译器。
- C语言没有明确规定位段的空间开辟方式,位段涉及很多不确定因素,位段是不跨平台的,注重可移植的程序应该避免使用位段。
上图为VS2013编译器的调试结果,该编译器的规则是,每个字节从右向左赋值,空间不够了就舍弃进入下一个字节内部继续存储。
关于位段的跨平台问题:
- int位段被当成有符号数还是无符号数是不确定的。
- 位段中最大位的数目不能确定。(16位机器最大16,32位机器最大32,写成27,在16位机器会出问题。
- 位段中的成员在内存中从左向右分配,还是从右向左分配标准尚未定义。(VS从右向左分配,如上图)
- 当一个结构包含两个位段,第二个位段成员比较大,无法容纳于第一个位段剩余的位时,是舍弃剩余的位还是利用,这是不确定的(VS舍弃,如上图)。
总结:跟结构相比,位段可以达到同样的效果,但是可以很好的节省空间,但是有跨平台的问题存在。
位段的应用:
上图为IP数据包的格式,我们发现数据的每行都是32位,再结合位段的使用,节省了空间。
二、枚举
(1)枚举的定义
enum Day//星期 { Mon, //0 Tues, //1 Wed, //2 Thur, Fri, Sat, Sun }; enum Color//颜色 { RED, //0 GREEN=2, //2 BLUE //3 };
enum Day,enum Color是枚举类型,{}中的内容是枚举类型的可能取值,也叫枚举常量。
枚举常量的值默认从0开始,每次递增1,在定义时也可以附初值。
(2)枚举的优点
我们可以使用 #define 定义常量,为什么非要使用枚举?
枚举的优点:
- 增加代码的可读性和可维护性。
- 和#define定义的标识符比较枚举有类型检查,更加严谨。(见枚举的使用)
- 防止了命名污染(封装)。
- 便于调试。
- 使用方便,一次可以定义多个常量。
另外如果大家想更直观的了解到枚举的优点,请移步博客:通讯录的实现。
(3)枚举的使用
enum Color//颜色 { RED=1, GREEN=2, BLUE=4 }; enum Color clr = GREEN;//只能拿枚举常量给枚举变量赋值,才不会出现类型的差异。 clr = 5; //err
clr为enum Color类型,5为int类型,枚举有类型检查,赋值失败。
只有枚举常量能赋值给枚举变量。
三、联合(共用体)
(1)联合类型的定义
联合也是一种特殊的自定义类型,这种类型定义的变量也包含一系列的成员,特征是这些成员共用同一块空间(所以联合也叫共用体)。比如:
//联合类型的声明 union Un { char c; int i; }; //联合变量的定义 union Un un; //计算连个变量的大小 printf("%d\n", sizeof(un));
(2)联合的特点
联合的成员是共用同一块内存空间的,这样一个联合变量的大小,至少是最大成员的大小(因为联 合至少得有能力保存最大的那个成员)。
union Un { int i; char c; }; union Un un; // 下面输出的结果是一样的吗? printf("%d\n", &(un.i)); printf("%d\n", &(un.c)); //下面输出的结果是什么? un.i = 0x11223344; un.c = 0x55; printf("%x\n", un.i);
答案:第一部分结果相同,第二部分打印11223355。
分析:联合体公用同一块内存空间,所以他们的地址是相同的,只不过整型i占四个字节,字符c占一个字节,由于是小端字节序存储,所以0x11223344放在内存中的结果是44332211,0x55在内存中替换掉一个字节44,为55332211,打印出来为11223355。
你能利用联合的特点测试一下你的机器是大端字节序还是小端字节序存储么?
int check_sys() { union { int i; char c; }un = {.i = 1}; return un.c; } int main() { int ret = check_sys(); if (ret == 1) printf("小端\n"); else printf("大端\n"); return 0; }
(3)联合大小的计算
联合大小的计算基于两个规则:
- 联合的大小至少是最大成员的大小。
- 当最大成员大小不是最大对齐数的整数倍的时候,就要对齐到最大对齐数的整数倍。
考察一下你是否明白如何计算了?:
union Un1 { char c[5];//5 1 8 1 int i;//4 8 4 }; union Un2 { short c[7];//14 2 8 2 int i;//4 4 8 4 }; int main() { printf("%d\n", sizeof(union Un1));//5+3 = 8 printf("%d\n", sizeof(union Un2));//16 return 0; }
与结构体类似首先需要计算对齐数,再根据上面的两个规则进行判断。
- 对于Un1:char c[5]的大小为1,VS默认对齐数为8,取较小为1;int i的大小为4,VS默认对齐数为8,取较小为4,该联合体最大对齐数为4,最大成员大小为5,所以需要扩大到4的整数倍8,所以第一个打印结果为5+3=8。
- 对于Un2:short c[7]的大小为2,VS默认对齐数为8,取较小为2;int i的大小为4,VS默认对齐数为8,取较小为4,该联合体最大对齐数为4,最大成员大小为14,所以需要扩大到4的整数倍16,所以第一个打印结果为14+2=16。
学习完自定义类型后,博主会在后续对于这部分知识实践应用,完成一个通讯录程序,感兴趣的读者可以关注博主动态🔥🔥🔥