结构体以及结构体内存对齐

一、结构体

C语言已经提供了内置类型，如：char、short、int等等，但是仅有这些内置类型是不够的，生活中许多场景都不能满足，例如，描述一个学生，需要学生的学号、姓名、性别、身高、体重等等。C语言为了解决这个问题，增加了结构体这种自定义的数据类型，让程序员可以自己创造合适的类型。

1.结构体的一般形式：

struct   结构体名

{

        成员表列

}；

在成员表列中要对各个成员进行类型声明，形式是 " 类型名  成员名；"

举个例子来说明：要表述年月日

struct  Date

{

       int  year;

       int  month;

       int  day;

};

Date 是我们自己取的，一般都根据实际意义来取名字

2.定义结构体变量

两种方式：

1）先声明结构体类型，再定义该类型的变量

例：在上述例子基础上我们定义一个变量 ：struct  Date today；

2）在声明类型的同时定义变量

例：

struct  Date

{

       int  year;

       int  month;

       int  day;

} today;

3.初始化（赋值）

1）定义的同时初始化（用{ }括起来）

例：struct  Date today={2023, 12, 5}；

2)定义后逐个赋值

在这里我们先讲解一下成员运算符"."

在所有运算符中，成员运算符优先级最高，我们可以通过引用"结构体变量名 . 成员名"来引用成员值。

给结构体变量中的成员赋值时也可以通过它来赋值。

例：struct  Date today；

       today.year = 2023;

       today.month = 12;

       today.day = 5;

3)定义时乱序赋值

例：struct Date today = { .day=5, .month=12, .year=2023}；

4.结构体的特殊声明

在声明结构的时候，可以不完全声明

抛出一个问题：在上面代码基础上， p=&x 是否合法？

答案是不合法的，编译器会把上面两个声明当成两个完全不同的两个类型，所以是非法的。

对于匿名结构体类型，如果没有对结构体类型重命名的话，基本上只能使用一次。

5.结构体的自引用

在结构体中包含一个类型为该结构体本身的成员是可以的，但是写时要特别注意

错误写法：

这个是不行的，因为一个结构体中再包含一个同类型的结构体变量，会使结构体变量的大小变得无穷大的，是不合理的。

正确写法：

通过指针可以引用结构体的成员值。

二、结构体内存对齐

 先来个例子：

我们知道int类型占4个字节，char 占1个字节，float占4个字节，如果用sizeof求这个结构体的大小会是9吗？

答案显然不是，这就与结构体对齐规则有关了。

⭐对齐规则：

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

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

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

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

-VS 中默认的值为 8

- Linux中 gcc 没有默认对齐数，对齐数就是成员自身的大小

④ 如果嵌套了结构体的情况，嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处，结构体的整体大小就是所有最大对齐数（含嵌套结构体中成员的对齐数）的整数倍。

接下来通过画图的形式来进行详细讲解。

首先，假设0处就是起始地址，int占四个字节，4<8，对齐数为4，从0开始往下数4个字节；然后char是一个字节，1<8,对齐数为1，而4就是1的整数倍，所以这就是b的地址；最后是float，占四个字节，对齐数同样是4，但是必须从4的整数倍开始往下数，也就是8，即绿色部分就是c，总共是12个字节，12正好是4的整数倍。

那如果是嵌套了结构体的情况呢？

接下来再以一个例子来说明。

struct test1的大小是12，其成员中最大对齐数为4，所以这个结构体对齐数为4，8是4的倍数，从此开始，由前边一个例子我们知道它的大小是12，填完后，正好20个字节，在所有成员中，最大对齐数是4，最后struct test2 的整体大小要是4的整数倍，20正好是4的整数倍，如果不是则需要继续往下。

到这里本次讲解就结束啦，如有不正确或存在缺陷，欢迎指正！