C语言进阶——自定义类型学习笔记

结构体的大小计算

结构体的大小计算过程并不是按照小编（初学者）一开始想的那样只是简单地将结构体内部包含的数据大小一一相加，在这之中存在着一个内存对齐的过程，下面我们举例分析如何计算一个结构体的大小。
例：我们首先给出一个结构体A

struct A
{
 int a;
 short b;
 char c;
 int d;
};

用图形表示其内存占用情况如下（其中一个方框表示一个字节）

首先我们按顺序将第一个数据a放入，a的类型是int，大小为四个字节，故占用4个方框 ，下一个数据b类型为char，大小为两个字节，对齐数为2（对齐数：数据自身大小与编译器默认对齐数（一般为4/8）中较小的数字），紧挨着a的方框序号是4（是对齐数2的倍数），故可以b可以直接从4号框内开始存储，到5号框b存储结束，下一个方框6号框是c的对齐数1的整数倍，故仍然可以直接存储，c只有一个字节，故在6号框内存储完毕，后面的七号框由于其序号7不是d的对齐数4的倍数，故d不能从7号框开始存储，而与7号框相邻的八号框的序号是d的对齐数4的倍数，故d从八号框开始存储，存储到十一号框结束，此时我们观察到到此为止我们一共用掉了12个方框，a,b,c,d的对齐数中最大对齐数为4，目前结构体占用的空间是最大对齐数的整数倍，于是计算到此为止，我们得出该结构体的大小为12（若不是则需要向下延申空间，直到结构体大小达到最大对齐数的整数倍，然后计算结束，输出结构体的值）。

下面我们给出在上述分析过程中用到的结构体内存对齐的要求：
1.第一个成员在与结构体变量偏移量为0的地址处。
2. 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。
（对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。VS中默认的值为8，Linux中的默认值为4）
3. 结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

位段及其大小计算

位段和结构体极其相似，下面我们给出一个位段的声明。

struct A
{
int _a:2;
int _b:5;
int _c:10;
int _d:30;
};

直观地看：位段与结构体最明显的区别是位段在内部变量的后面加上了“：”和“xx(数字)”。
实际上他们的不同点主要是：
1.位段的成员类型必须是 int、unsigned int 、signed int 或char。
2.位段的成员名后边有一个冒号和一个数字。

位段这种数据类型的大小如何计算呢？
我们以上述位段为例来分析：

上图中每一个0代表着一个比特位，上述位段中每一个数据后面的数字代表着该数据占多少个比特位。我们首先开辟一个整型的空间（因为位段中第一个数据的类型是int），然后按照先后顺序和数据的大小依次紧密地在上图中为这些数据分配它们自己的空间。当数据分配到d时发现d的大小太大，一个整型不能同时容纳a,b,c,d四个数据，故我们再开辟一个整型的空间，然后再为d分配空间。到此为止我们一共为该位段开辟了两个整型的空间，该位段的大小为8个字节。

同样的我们给出上述分析中位段内存分配的注意事项：
1.位段的成员可以是 int unsigned int signed int 或者是 char （属于整形家族）类型
2.位段的空间上是按照需要以4个字节（ int ）或者1个字节（ char ）的方式来开辟的。
3.位段涉及很多不确定因素，位段是不跨平台的，注重可移植的程序应该避免使用位段。

我们在上述分析的最后提到了d的空间分配，但是我们并没有说明d的空间到底是怎样分配的，这之中存在着一个跨平台问题
（我认为其说明的是在位段中的一些不确定性）
位段的跨平台问题
1.int 位段被当成有符号数还是无符号数是不确定的。
2.位段中最大位的数目不能确定。（16位机器最大16，32位机器最大32，写成27，在16位机器会出问题。
3.位段中的成员在内存中从左向右分配，还是从右向左分配标准尚未定义。
4.当一个结构包含两个位段，第二个位段成员比较大，无法容纳于第一个位段剩余的位时，是舍弃剩余的位
还是利用，这是不确定的。

总结：
跟结构相比，位段可以达到同样的效果，但是可以很好的节省空间，但是有跨平台的问题存在。

枚举

下例是一个枚举的声明

enum Day//星期
{
Mon,//0
Tues,//1
Wed,//2
Thur,//3
Fri,//4
Sat,//5
Sun//6
};

{}中的内容是枚举类型的可能取值，也叫 枚举常量 。
这些可能取值都是有值的，默认从0开始，一次递增1，当然在定义的时候也可以赋初值。 例如：

enum Color//颜色
{
RED,//1
GREEN,//2
BLUE=4,//4
YELLOW,//5
};

联合

联合的成员是共用同一块内存空间的，这样一个联合变量的大小，至少是最大成员的大小（因为联合至少得有
能力保存最大的那个成员）。

union Un1
{
char c[5];
int i;
};

联合的大小至少是最大成员的大小。
当最大成员大小不是最大对齐数的整数倍的时候，就要对齐到最大对齐数的整数倍。