目录
在 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;
二、结构体的自引用
//正确的自引用方式
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 修改默认对齐数
#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。
综上,我们可以得出一个结论: 结构在对齐方式不合适的时候,我们可以自己更改默认对齐数。