结构体的应用和内存对齐

1.自定义类型.结构体

        在C语言中有内置类型和自定义类型，什么是内置类型，什么又是自定义类型呢？让我们接着往下看

内置类型：

自定义类型        那今天我们来了解一下自定义类型中的一种，结构体：struct

1.1结构体类型的声明

        结构体关键字：struct，结构体怎么声明呢？让我们上图来看看

1.2结构体类型的使用

        使用结构体之前，我们要学一下如何去访问结构体成员，为了访问结构体的成员，C语言提供了两个操作符

1. （.）：结构体直接访问操作符

        结构体里面的成员是需要通过操作符（.）来访问的，上一段代码来理解

        使用方法：结构体变量.成员名

2. （->）:结构体间接访问操作符

        当我们把结构体变量赋给一个结构体指针时，就要通过（->）操作符去访问，上段代码：

        那可能有人会好奇，这个结构体的初始化时只能按照结构体里面的成员的顺序初始化吗？其实不然，结构体的初始化可以按结构体成员的顺序初始化，也可以用（.）操作符找到成员并对其初始化的乱序初始化，上段代码来看一看：

        

        再来一段代码来梳理一下结构体初始化和两个操作符的用法

        

1.3 结构体的特殊声明

        聊完了结构体如何去使用后，我们接着看结构体的特殊声明

        

        这里我们可以看到，结构体的声明少了个标签，那少了个标签的结构体能否使用呢？

        答案是可以

        那结构体和匿名结构体的区别在哪里呢？区别在于结构体可以多次创建变量，但匿名结构体只能创建一次，借用上面的代码: 结构体中，S为第一次创建的变量， S2是第二次创建变量，还可多次创建。

        那匿名结构体真的只能使用一次吗？也不全是，其实匿名结构体可以通过typedef来对匿名结构体重命名，但是没有必要，因为匿名结构体本身就是一次性消耗品，就像你用一次性塑料杯子，虽然说使用后可以清洗并多次使用，但一次性杯子本来就是为了方便，不需要清洗才使用的，所以是没有必要的。

一些结构体的错误使用方法：

错误 1：

        不同类型的结构体如果设置了相同的变量，就会报错

        那匿名结构体呢？匿名结构体不是没有定义 类型吗？它可不可以定义相同的变量名呢？

        答案也是不行

错误2：

                上面这串代码可不可以呢？答案是不行，因为在编译器看来，这就是两个不同类型的结构体，尽管他们都不存在类型名，且具有相同的结构体成员。

1.4结构体的自引用

        在结构体中包含一个类型为该结构体本身的成员是否可以呢？

比如：定义一个链表的节点：

        这样的代码是否正确呢？答案是不行，因为在一个结构体里面包含一个同类型的大小，那这个结构体的大小是多少呢？第一个结构体里包含结构体，第二个结构体里也包含结构体，第三个，第四个，以此类推，那这结构体的大小不就无穷大了吗？所以这段代码是错误的自引用方式。

那如何正确的自引用呢？

        答案是结构体里面包含一个同类型的指针就可以了，其原理就是，一个指针变量的大小根据不同平台大小都是4/8个字节，因此这段代码才是正确的解引用的方式。

总结：结构体类型自己里面包含自己是不行的，但结构体里面包含一个同类型的指针是可行的

注：匿名结构体是没法实现结构体自引用的。

2.结构体内存对齐

        那么说了那么多，结构体类型的大小是多少呢？结构体类型的大小是由里面的成员决定的。

        既然结构体的大小是有里面的成员决定的，那简单啊，int是4个字节，char是1个字节，图中的代码是两个int和一个char，所以是9个字节，对不对呢？

        这里我们看到，结果是12，嗯？？？这是为什么呢？不应该是9个字节吗？这里我们就要了解到一个新的知识点：结构体内存对齐

        结构体在内存中的存储并不完全像数组一样，连续存放的，结构体的存储更像是一块空间内断断续续存储的形式，那究竟是以什么形式存储的呢？让我们接着往下看

2.1结构体对齐规则

        结构体在内存中存储是有特定的规则的，如下：

1.结构体的第一个成员对齐到和结构体变量起始位置偏移量为0的地址

        上图来解析一下

        

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

        对齐数：编译器默认的一个对齐数与该成员变量大小的较小值

这句话什么意思呢？

例：有一个int类型的成员，它的大小是4个字节，在VS中，默认对齐数为8

                

        理解了什么是对齐数之后再继续往后看，在第二条中写到要对齐到某个数字（对齐数）的整倍数的地址处又是什么意思呢？

        先找出其他成员的对齐数，分别是4 ，1 ，4,，那这些在内存中是怎么存放的呢？

        结构体在内存中存放图

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

        什么意思呢？就是说这一整个结构体的大小必须是结构体里面最大成员的整倍数，在上面的代码中，最大的成员就是int（4个字节），所以这个结构体的最大对齐数必须是4的倍数

        图中存放完三个成员之后，偏移量来到了12 , 12是4的整倍数，所以这个结构体的总大小就是12.

4.如果嵌套了结构体的情况下，嵌套的结构体对齐的就是自身里最大的对齐数的整倍数处，结构体的总大小就是所有最大对齐数（含嵌套结构体中的成员的最大对齐数）的整倍数。

        上图：

        

        在内存中对齐

        结果对不对呢？让我们来运行一下看看

        

2.2为什么存在内存对齐

1.平台原因：

          不是所有的硬件平台都能访问任意地址上的任意数据的：某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。

2.性能原因：

         数据结构(尤其是栈)应该尽可能地在⾃然边界上对⻬。原因在于，为了访问未对⻬的内存，处理器需要作两次内存访问；⽽对⻬的内存访问仅需要⼀次访问。假设⼀个处理器总是从内存中取8个字节，则地址必须是8的倍数。如果我们能保证将所有的double类型的数据的地址都对⻬成8的倍数，那么就可以⽤⼀个内存操作来读或者写值了。否则，我们可能需要执⾏两次内存访问，因为对象可能被分放在两个8字节内存块中。
总体来说：结构体的内存对⻬是拿空间来换取时间的做法。

那在设计结构体的时候，我们既要满⾜对⻬，⼜要节省空间，如何做到：

        同样类型的三个成员，只不过换了位置，就节省了四个字节，这是因为我们让空间少的成员尽量聚在了一起，这样就能节省不少空间

        关于结构体，就介绍到这里，我们下篇见！！！