一文带你了解结构体——C语言

      

目录

一、结构体的声明

1.1结构体的基础知识

1.2结构体的声明

1.3特殊的声明

二、结构体的自引用

三、结构体变量的定义和初始化

四、结构体的内存对齐

4.1结构体的内存对齐

4.2 修改默认对齐数

---

        在 C 语言中，数据类型指的是用于声明不同类型的变量或函数的一个广泛的系统。变量的类型决定了变量存储占用的空间，以及如何解释存储的位模式。但是一些特殊个体数据（比如书籍、商品、学生信息等）的存储不能用单一的数据类型存储，这就需要用到结构体来存储不同类型的数据。

一、结构体的声明

1.1结构体的基础知识

        结构是 C 编程中另一种用户自定义的可用的数据类型，是一些值的集合，这些值称为成员变量。结构的每个成员可以是不同类型的变量。

1.2结构体的声明

例如我们描述一本书

struct Book
{
    char book_name[20];//书名
    char author[20];//作者
    int price;//价格
    char id[15];//书号

}；

1.3特殊的声明

在结构体的声明中，我们可以不完全声明。

比如匿名结构体类型，声明如下：

//匿名结构体类型
struct
{
 int a;
 char b;
 float c; 
}x;

上面的结构在声明的时候省略掉了结构体标签（ tag ）。

二、结构体的自引用

在结构中可以包含一个类型为该结构本身的成员是可以的噢，但是需要注意要使用正确的自引用方式。

//正确的自引用方式
struct Node
{
 int data;
 struct Node* next;
};

上面正确的自引用方式使用了指针进行自引用，这里提醒一句：自引用时千万别直接套另一个结构体进去，这会让代码运行时陷入死循环。

错误的自引用方式如下：

//错误的自引用方式
struct Node
{
 int data;
 struct Node next;//直接套一个结构体进行自引用，没有用指针进行自引用。
};

三、结构体变量的定义和初始化

定义变量：

有了结构体类型，那如何定义变量，其实很简单。定义变量方式如下：

//两种定义变量方式

//第一种
struct Point
{
 int x;
 int y; }p1; //声明类型的同时定义变量p1

//第二种
struct Point p2; //定义结构体变量p2

变量的初始化：

//初始化：定义变量的同时赋初值。
struct Point p3 = {x, y};

struct Stu        //类型声明
{
 char name[15];//名字
 int age;      //年龄
};
struct Stu s = {"zhangsan", 20};//初始化

//结构体可嵌套初始化
struct Node
{
 int data;
 struct Point p;
 struct Node* next; 
}n1 = {10, {4,5}, NULL}; //结构体嵌套初始化
struct Node n2 = {20, {5, 6}, NULL};//结构体嵌套初始化

四、结构体的内存对齐

4.1结构体的内存对齐

为什么结构体内存需要对齐？

大部分的参考资料都是如是说的：

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

2. 性能原因 ： 数据结构(尤其是栈 ) 应该尽可能地在自然边界上对齐。 原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要一次访问。

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

那如何对齐？

我们应首先了解对齐规则：

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

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

对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。 （VS中默认的值为8）

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

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

既然我们了解了对齐规则，那现在先拿两道题目来练练手吧！

计算如下结构体所占的内存大小：

//思考练习1和练习2的区别

//练习1
struct S1
{
 char c1;
 int i;
 char c2;
};
printf("%d\n", sizeof(struct S1));//这里会显示多少？

//练习2
struct S2
{
 char c1;
 char c2;
 int i;
};
printf("%d\n", sizeof(struct S2));这里会显示多少？

//answer: Q1:12  Q2:8

现在我们看练习1：

根据上面的对齐规则，可以画出该结构体内存对齐的状态：

        变量c1是char类型的，且为第一个成员，所以c1在与结构体变量偏移量为0的地址处。变量i是int类型的，所以i会在结构体变量偏移量为4的地址处，前面三个地址的空间就被浪费掉了。变量c2在变量i后面，变量i占四个字节的空间，所以它在结构体变量偏移量为8的地址处。

        说到这里，还有一个不能忽略的是：结构体总大小为最大对齐数的整数倍。

        从图中来看，该结构体从c1，i，再到c2，总共占了9个空间，但还没有达到结构体总大小为最大对齐数的整数倍的要求，显然，该结构体最大对齐数是4，所以c2后面再浪费3个空间到结构体变量偏移量为12的地址处，使结构体总大小为最大对齐数的整数倍，所以该结构体占了12个字节的空间。

注：练习2与练习1相似，读者可自行根据以上分析自行推出答案。

4.2 修改默认对齐数

  #pragma 这个预处理指令可以改变我们的默认对齐数。

#include <stdio.h>
#pragma pack(8)//设置默认对齐数为8
struct S1
{
 char c1;
 int i;
 char c2;
};

#pragma pack()//取消设置的默认对齐数，还原为默认
#pragma pack(1)//设置默认对齐数为1

struct S2
{
 char c1;
 int i;
 char c2;
};
#pragma pack()//取消设置的默认对齐数，还原为默认

int main()
{
    //输出的结果是什么？
    printf("%d\n", sizeof(struct S1));
    printf("%d\n", sizeof(struct S2));
    return 0; 
}

        前面S1设置默认对齐数为8其实和没有设默认对齐数时候的情况是一样的，这种情况在前面练习1有分析，在这里就不再阐述了。

        有趣的是，在声明结构体S2前，我们将默认对齐数设为了1，也就是说这种情况下，结构体内存不需要对齐，计算结构体的大小只需要将每个变量所占的空间进行求和就行了。所以S2所占的空间大小为：1+4+1=6，也就是S2占了6个字节大小的空间。所以最后输出结果分别是12和6。

综上，我们可以得出一个结论： 结构在对齐方式不合适的时候，我们可以自己更改默认对齐数。