C语言中的结构体解析

结构体导言

为什么要有结构体类型？
我们知道数组可以存储相同元素的变量，比如一组整数、一组字符串或者一组浮点数。很多时候能够帮我们解决问题，比如行列式运算、转移表，但有时我们也发现了它的不足，就是不能存储不同类型变量。比如当我们需要记录一个学术的信息时，不单要记录他的名字，还需要记录身高体重和成绩类的信息。这些都是不同类型的数据，如果想要统一存储起来，就需要用到不同于数组的其他变量，即结构体。

结构体的声明

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

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

例如当我们需要描述一个学生时：

struct student
{
	char name[];
	double score;
	char sex[];
	int height;
};

·需要注意的是，最后的分号不能丢。
·这样我们就声明了一个结构体类型struct student.
我们就能创建相应的变量：

struct student first={"zhangwho",99.9,"male",177};

特殊的声明

struct
{
 int a;
 char b;
 float c;
}x;
struct
{
 int a;
 char b;
 float c;
}a[20], *p;

·上述结构体声明的时候都省略了标签（tag），那它对应的变量就只有后面跟着声明的x，a[20]、*p。
·注意到两个结构体里面存放的数据类型和顺序都是相同的，那我们是否可以认为两个结构的类型相同？可否令p=&x?
答案是不可以！编译器会将上述两个结构体看作不同的类型，令p=&x是非法的，编译器会报错。

结构体的访问操作符

·访问结构体内容的操作符有两个：“.“和”->”.
·“.”操作符是针对结构体变量，“->”则是针对结构体指针。
·具体使用方式如下：

struct
{
 int a;
 char b;
 float c;
}a[20], *p;
a[0].a=18;
a[0].b='F';
a[0].c=99.9f;
p->c=98.2f;
printf("%lf %lf",a[0].c,p->c);

结构体变量的初始化和赋值

初始化

1.普通的按顺序初始化：

struct stu
{
 int a;
 char b;
 float c;
}x={15,'F',15.0f};

struct stu
{
 int a;
 char b;
 float c;
};
struct stu x={15,'F',15.0f};

上述变量都是在声明的时候，用{}初始化，注意初始化时一定要按照结构体内部的顺序初始化。
此外，我们还可以不完全初始化：

struct stu
{
 int a;
 char b;
 float c;
}x={15};

那么就会默认后面的char和float为空。
2.不按顺序初始化：

struct stu
{
 int a;
 char b;
 float c;
}x={.b='F',.c=99.9f};

同样的，我们使用.操作符能够帮助我们不按结构体内的顺序进行初始化，也可以选择性初始化，这里的int没初始化默认为0。

赋值

struct stu
{
 int a;
 char b;
 float c;
}x,*p;
x.a=15;
*p->c=99.9f;

我们声明了结构体变量后，就能用两个访问操作符对其进行赋值。

注意事项

1.不能多次初始化

struct stu
{
 int a;
 char b;
 float c;
}x={0,'A',9.0f};
strcut stu x={0,'F',99.9f};

上述代码是错误的，不允许多次初始化x变量。
2.只有声明的时候初始化能用{}，赋值时不可以

struct stu
{
 int a;
 char b;
 float c;
}x;
x={15,'A',99.9f};
struct stu fitst={15,'A',99.9f};

上述代码中，x的初始化是不允许的，而first的初始化是允许的。

结构体的自引用

struct Node
{
 int data;
 struct Node next;
};

上述代码是一个典型的结构体错误自引用，因为这样声明的结构体是无限大的。
那有没有什么办法可以做到自引用呢？
答案是有的！

struct Node
{
 int data;
 struct Node* next;
};

我们改为存放结构体的指针，那么该结构体的内存大小就不是无限大了，这就是一个正确的自引用。
还需要注意的是，自引用结构体时使用typedef对匿名结构体重命名会出现问题：

typedef struct
{
 int data;
 Node* next;
}Node;

我们在结构体内部声明了一个，Node*next,可遗憾的是这时的编译器还不知道Node是什么变量，所以这也是个错误的自引用。
改进方法很简单，就是不要使用匿名结构体。

结构体的内存对齐

如果要想计算出结构体所占内存的大小，我们需要掌握一个知识点，就是结构体的内存对齐。

对齐规则

1. 结构体的第一个成员对齐到相对结构体变量起始位置偏移量为0的地址处
2. 其他成员变量要对齐到某个数字（对齐数）的整数倍的地址处。对齐数 = 编译器默认的一个对齐数与该成员变量大小的较小值。

• VS中默认的值为8
• Linux中没有默认对齐数，对齐数就是成员自身的大小

3. 结构体总大小为最大对齐数（结构体中每个成员变量都有一个对齐数，所有对齐数中最大的的整数倍。
4. 如果嵌套了结构体的情况，嵌套的结构体成员对齐到自己的成员中最大对齐数的整数倍处，结构体的整体大小就是所有最大对齐数（含嵌套结构体中成员的对齐数）的整数倍。
   如：

#include<stdio.h>
struct S1
{
	double d;
	char c;
	int i;
};//16
struct S2
{
	char c1;
	struct S1 s1;
	double d;
};
int main()
{
	printf("%d\n", sizeof(struct S2));
	return 0;
}

输出的结果为32.

为什么会有对齐规则

常见的两种解释：

1. 平台原因(移植原因)：
   不是所有的硬件平台都能访问任意地址上的任意数据的；某些硬件平台只能在某些地址处取某些特定类型的数据，否则抛出硬件异常。
2. 性能原因：
   数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于，为了访问未对齐的内存，处理器需要作两次内存访问；而对齐的内存访问仅需要一次访问。
   总体来说：结构体的内存对齐是拿空间来换取时间的做法。

如何在设计结构体类型时节省空间

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

struct s1
{
	char a;
	char b;
	int c;
};
struct s2
{
	char a;
	int b;
	char c;
};

上述代码中两结构体内容一致，但是s1的内存大小为8，而s2的内存大小为12.
2. 修改默认对齐数
#pragma 这个预处理指令，可以改变编译器的默认对齐数。

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

我们需要注意的是修改的对齐数最好是2的整数次方，这样更方便寄存器读取内容。

结构体实现位段

·结构体实现位段能够大大减少结构体所申请的内存空间。
·具体格式为：变量名后加“：”和整数。
例如：

struct
{
	char a:2;
	char b:3;
	char c:4;
};

：后面的整数代表这个变量所占有的字节数。
具体实现过程是，char a先声明了一个1Byte的空间，然后占有其中的2个bit，还剩下了6个bit，再分给b3个bit，最后剩下3个bit，不足分给c，所以c独自申请一个1Byte的空间。即这个结构体的大小为2Byte。
·通过上面的例子我们明显感受到位段节省空间的效果，但是位段也不是随便就能使用的，相反它有着诸多注意事项和使用限制。

1. 位段的成员必须是 int、unsigned int 或signed int ，在C99中位段成员的类型也可以选择其他类型。
2. 位段的成员名后边有一个冒号和一个数字。
3. 位段涉及很多不确定因素，位段是不跨平台的，注重可移植的程序应该避免使用位段。
4. 位段的几个成员共用一个字节，那么这些成员是没有地址的，不能用scanf和指针对其赋值，需要创建一个相同的变量再对其赋值。
   为什么说位段是不跨平台的呢？其中有很多原因：
   1. int 位段被当成有符号数还是无符号数是不确定的。
   2. 位段中最大位的数目不能确定。（16位机器最大16，32位机器最大32，写成27，在16位机器会出问题。
   3. 位段中的成员在内存中从左向右分配，还是从右向左分配标准尚未定义。
   4. 当一个结构包含两个位段，第二个位段成员比较大，无法容纳于第一个位段剩余的位时，是舍弃剩余的位还是利用，这是不确定的。