【C语言进阶】结构体进阶（内含结构体内存对齐）

 

目录

         一、结构体的声明

1.1 结构的基础知识

1.2 结构的声明

1.3 特殊的声明

1.4 结构的自引用

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

二、结构体的内存对齐

         三、结构体传参

---

 一、结构体的声明

1.1 结构的基础知识

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

1.2 结构的声明

struct tag
{
 member-list;
}variable-list;

struct为结构体的关键字，tag为定义结构体的名称，number-list为成员变量。

例如，我们定义一个学生的结构体：

struct Stu
{
 char name[20];//名字
 int age;//年龄
 char sex[5];//性别
 char id[20];//学号
}; //分号不能丢

1.3 特殊的声明

在声明结构的时候，可以不完全的声明，例如下边的代码，我们称之为匿名结构体类型。

//匿名结构体类型
struct
{
 int a;
 char b;
 float c;
}x;
struct
{
 int a;
 char b;
 float c;
}a[20], *p;

就是没有tag标记，只是在结构体后边定义了变量，所以在其他函数中，就不能再次定义该类型的变量。

// 在上面代码的基础上，下面的代码合法吗？

p = &x;

虽然两个结构体内部的变量都是相同的，但是编译器认为这是两个类型的结构体，所以 是非法的。

#include<stdio.h>

struct {
	int age;
	char name[20];
};
int main() 
{
	struct student1;
	struct student2 = {10,"lisi"};
	return 0;
}

 我们也可以看出，匿名结构体类型，必须声明的时候进行定义。

1.4 结构的自引用

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

//代码1
struct Node
{
 int data;
 struct Node next;
};
//可行否？
如果可以，那sizeof(struct Node)是多少？

这是我们数据结构中的链表，一个结构体内存着这个结点的数据以及下一个结点的地址，所以这种方式是不行的，当我们在计算struct Node 的大小时，我们发现会一直死循环下去，大小就是无限大的，所以我们应该定义struct Node* next，存储下一个结点的地址。

正确的方式：

//代码2
struct Node
{
 int data;
 struct Node* next;
};

 我们再来看下边的代码：

//代码3
typedef struct
{
 int data;
 Node* next;
}Node;
//这样写代码，可行否？
//解决方案：
typedef struct Node
{
 int data;
 struct Node* next;
}Node;

代码3中使用typedef对结构体名重定义之后，在结构体内部就用重定义的结构体名进行自引用，这种方式是不可行的，所以要使用下边的解决方案，在内部自引用时使用重定义之前的名字。

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

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};//结构体嵌套初始化

我们在定义结构体时，可以在类型声明的时候就是定义，也可以在后边定义，初始化也一样，可以在声明的时候直接定义在后边，也可以在使用时单独初始化。

二、结构体的内存对齐

我们已经掌握了结构体的基本使用了。

现在我们深入讨论一个问题：计算结构体的大小。

这也是一个特别热门的考点： 结构体内存对齐

我们知道每种数据类型都是自己的大小，例如char类型占1个字节，short类型占2个字节，int类型占4个字节，所以结构体的大小是多少呢？我们来探究一下吧

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

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

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

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

VS 中默认的值为 8

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

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

我们来通过下边几个例题来讲解：

//练习1
struct S1
{
 char c1;
 int i;
 char c2;
};
printf("%d\n", sizeof(struct S1));

首先存储c1，占一个字节，接下来是一个int类型的数据，我们知道vs的默认对齐数为8，而int的大小为4，所以对齐数应该选择较小值4的倍数，所以我们必须跨过三个字节的空间，到第四个字节存储，接下来为char型，所以对齐数为1，直接存储，但是在存储完之后 ，结构体总大小为最大对齐数（每个成员变量都有一个对齐数）的整数倍，所以必须再跨越三个字节，最终结构体的大小为12个字节。

//练习2
struct S2
{
 char c1;
 char c2;
 int i;
};
printf("%d\n", sizeof(struct S2));

 

 

//练习3
struct S3
{
 double d;
 char c;
 int i;
};
printf("%d\n", sizeof(struct S3));

 

 

//练习4-结构体嵌套问题
struct S4
{
 char c1;
 struct S3 s3;
 double d;
};
printf("%d\n", sizeof(struct S4));

 为什么存在内存对齐?

1. 平台原因 ( 移植原因 ) ：

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

2. 性能原因 ：

数据结构 ( 尤其是栈 ) 应该尽可能地在自然边界上对齐。

原因在于为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要一次访问。

总体来说：

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

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

让占用空间小的成员尽量集中在一起。

//例如：
struct S1
{
 char c1;
 int i;
 char c2;
};
struct S2
{
 char c1;
 char c2;
 int i;
};

所以s1中和s2相比，所占的字节比较大，所以浪费的空间较多。

修改默认对齐数

 之前我们见过了 #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;
}

 三、结构体传参

在结构体传参时，我们可以直接传参，也可以通过结构体的地址进行传参，我们来探究一下哪种方式合适呢？

struct S
{
 int data[1000];
 int num;
};
struct S s = {{1,2,3,4}, 1000};
//结构体传参
void print1(struct S s)
{
 printf("%d\n", s.num);
}
//结构体地址传参
void print2(struct S* ps)
{
 printf("%d\n", ps->num);
}
int main()
{
 print1(s);  //传结构体
 print2(&s); //传地址
 return 0;
}

上面的 print1 和 print2 函数哪个好些？

答案是：首选 print2 函数。

原因：

函数传参的时候，参数是需要压栈，会有时间和空间上的系统开销。

如果传递一个结构体对象的时候，结构体过大，参数压栈的的系统开销比较大，所以会导致性能的下降。

结论：

结构体传参的时候，要传结构体的地址。