⾃定义类型：结构体

1 结构体的声明

1.1什么是结构体

结构是一些值的集合，这些值称为成员变量。结构的每个成员可以是不同类型的变量。

1.2 结构的声明

也可以不完全的声明。（就是在划红线的位置没有结构体标签，末尾的a与*b是对结构体的重命名）

注意：

这样是非法的。

编译器会把上面的两个声明当成完全不同的两个类型。

1.4 结构的自引用

结构体如何包含一个类型为该结构本身的成员

正确示范：

错误示范：

两者区别少了个*号，但呈现出来的却大有不同。

正确示范所呈现的：

错误示范所呈现的：

以至于错误示范的结构体会一直循环下去。

而为什么存地址就可以呢？如下图所示：

一个节点包含数据域和指针域，数据域存的就是结构体，而下面的指针域存放指针，用来找到下一个节点的地址，当我们想结构体自己调用自己时，这样就相当于自己包含一个自己同类型的指针。最后在最后一个节点中的指针域存放空指针即可。

1.5 结构体内存对齐

下面的数据你认为是多少呢？

答案是12

如何计算 ？

首先得掌握结构体的对齐规则：

1. 第一个成员在与结构体变量偏移量为 0 的地址处。

2. 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。

对齐数 = 编译器默认的一个对齐数 与 该成员大小的 较小值 。

VS 中默认的值为 8

3. 结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。

4. 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，结构体的整

体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

 

解析：

我们知道char的值是1个字节，int则是4字节。

第一个存的是char c1

因为编译器的对齐数为8而char为1字节所以，对齐数为1

由规则易知 第一个成员在与结构体变量偏移量为 0 的地址处，所以如图所示：

现在到int i，由规则可知， 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。因为对齐数为4（int为4个字节小于编译器对齐数8）.所以int我们应该从4的倍速开始对齐，所以i必须对齐4的倍数的地址如图：

最后char2，和char1一样对齐数为1.因为大于0的整数数的地址都是1的倍数，所以如图：

如图现在内存只是9字节而答案却是12这是为什么呢，由规则： 结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。可知，因为最大对齐数为int的对齐数4，所以结构体总大小必须是4的倍数。所以由图

因为 结构体总大小为9不是4的倍数所以继续往后走，走到后面 结构体总大小为12时，即是 结构体总大小。而里面未被利用的部分就浪费掉了。

再来看下一题：

这题和上题不同的就是c2与i调换了顺序。那会有什么不同呢？

首先第一步还是一样

char2，和char1一样对齐数为1.因为大于0的整数数的地址都是1的倍数，所以如图：

然后是i，因为i为int，所以对齐数为4，对齐的坐标必须是4的倍数所以从4开始对齐，如图所示：

结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍。所以这里总共占了8字节刚好是最大对齐数4的倍数所以结构体总大小为8.

结构体的内存对齐是拿 空间 来换取 时间 的做法。

那在设计结构体的时候，我们 让占用空间小的成员尽量集中在一起。 这样可以满足对齐，又要节省空间。

如图s2所占空间更小。

如果遇到嵌套的形式如图所示：

这个就相当于如图：

做法如上面的例子。

注意：double为8字节。