浅析 # 自定义类型三兄弟的重难点

结构体

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

·结构体是将不同类型的数据按照一定的功能需求进行整体封装，封装的数据类型与大小均可以由用户指定。

类型声明

一般形式：

struct tag
{
    member-list; //若干个成员变量，类型可以各不相同，用逗号分隔。
}variable-list;  //定义的结构体变量列表，每个变量都属于该结构体类型，用逗号分隔。（可省略）
                 

例如描述一个地点：

struct location
{
    char province[20];//所属省
    char city[10];//所属市
    char county[10];//所属县
    int population;//总人口数
    int square;//占地面积
};//分号一定不能丢！

有一般即有特殊，以下为特殊形式：

struct
{
    char a;
    float b;
    double c;
}x;

struct
{
    char a;
    float b;
    double c;
}arr[10],*p;

上述两段代码与一般形式的区别在于省略了 struct 后的标签，即声明了一个匿名结构体类型。

其中 x , arr[10] , *p 都为结构体变量名。

因此，当出现 p=&x 时编译器会判定为非法，

因为p已经是结构体类型，而再对p赋值时会出现错误，

编译器已经把对p的两个声明当成两个不同类型。

---

结构自引用

顾名思义，即为在结构体中再次引用结构体本身，但其使用仅仅是字面上那么容易吗？

//错误示范
struct Node
{
    int a;
    char b;
    struct Node data;
};

上述代码确为在结构体中再次引用结构体本身，但是在结构体内部在定义一个结构体成员是不合法的！所以我们应当用指针来实现操作：

//代码1
struct Node
{
    int a;
    char b;
    struct Node* data;//△注意：这里的struct不可省略，否则编译器将无法识别Node*的类型。
};

//代码2
typedef struct Node
{
    int a;
    char b;
    struct Node* data;
}Node;

---

 定义与初始化

struct Stu
{
    int age;
    int height;
    char sex[5];
}Zhangsan,Lisi,Wangwu;//声明类型的同时定义变量

struct Stu Zhaoliu = {20,175,"保密"};

 上述代码为标准的结构体定义与初始化，

但其中出现的在声明类型的同时定义变量，会有以下两个缺点：

① 代码可读性变差：将类型声明和变量定义放在一起可能会导致代码可读性较差。如果类型定义较复杂，同时又有多个变量需要定义，代码可能会变得冗长。这可能会使代码更难理解和维护；

② 不利于重复使用类型：如果只在一个地方使用该结构体类型，将其定义与变量定义合并在一起可能没有太大问题。但是，如果想在代码的其他部分或其他文件中使用相同的结构体类型，就需要重新定义该结构体。这样不仅浪费了时间，还增加了代码冗余。

所以，为了提高代码的可读性和可重复性，我们最好尽量避免声明类型的同时定义变量。

---

☆结构体内存对齐

问题产生

来到本章重点，结构体内存对齐的问题是在计算结构体大小时出现的，现在给出以下两种情境：

struct Node1
{
    char a;
    int b;
    char c;
}s1;
printf("%d\n",sizeof(s1));


struct Node2
{
    char a;
    char b;
    int c;
}s2;
printf("%d\n",sizeof(s2));

由运行结果可见，当结构体中成员相同，仅顺序不同时，

最终的总大小是不同的，其中就是结构体对齐规则在作用。

结构体对齐规则

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

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

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

    VS中默认的值为8；

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

④ 如果嵌套了结构体的情况，嵌套的结构体对齐到自己的最大对齐数的整数倍处，

    结构体的整体大小就是所有最大对齐数（含嵌套结构体的对齐数）的整数倍。

结构体对齐看似没有什么必要，甚至会让人误判，

那么引进这个规则的原因是什么？又有何作用呢？

C语言之父想必不会空穴来风。下面让我们来思考这些问题。

结构体对齐原因及作用（参考资料）

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

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

 由上述资料分析，结构体对齐是为增强代码的可移植性，并提高代码运行效率的一种方式。

修改默认对齐数

通过#pragma这个预处理指令可实现改变默认对齐数。

如上两图所示，可以用 #pragma pack() 的方式更改默认对齐数，

括号里的数字为要修改的值，当括号里没有数字时，即为取消设置的默认对齐数，还原为默认。 

---

 ☆结构体传参

结构体作为一个变量，势必会有被应用到传参的过程，那么作为参数时是否要对其进行变形？

struct location
{
    char province[20];
    char city[10];
    int square;//单位为平方公里
    
};

struct location Hangzhou = {"浙江省","杭州市",16596};

//结构体传参
void print1(struct location Hangzhou)
{
    printf("%d\n",Hangzhou.square);
}

//结构体地址传参
void print2(struct location* ps)
{
    printf("%d\n",ps->square);
}

int main()
{
    print1(location);
    print2(&location);
    return 0;
}

上述代码中，我们分别用了在参数部分分别用了结构体本身和结构体地址，

实际上，函数在传参时用地址的方式，能够节省时间与空间的开销，

反之，如果在传递结构体对象本身时，会由于结构体自身过大，导致系统性能下降。 

---

☆结构体实现位段

基本定义

① 位段的成员必须是 int、unsigned int 或signed int；

② 位段的成员名后边有一个冒号和一个数字。

struct S
{
    int _a:5;
    int _b:20;
    int _c:99;
};

内存分配

位段的难点即在它的内存分配，理清它如何内存分配是认识位段的关键。

① 位段的成员可以是 int，unsigned int，signed int 或者是 char （属于整形家族）类型；

② 位段的空间上是按照需要以4个字节（ int ）或者1个字节（ char ）的方式来开辟的；

③ 位段涉及很多不确定因素，位段是不跨平台的，注重可移植的程序应该避免使用位段。

下面我们结合代码和图解来进行分析：

struct S
{
    char a:3;
    char b:5;
    char c:3;
};

struct S s = {0};
s.a = 15;
s.b = 8;
s.c = 12;

---

枚举

枚举的优点

① 增加代码的可读性和可维护性；

② 和#define定义的标识符比较枚举有类型检查，更加严谨；

③ 防止了命名污染（封装）；

④ 便于调试；

⑤ 使用方便，一次可以定义多个常量。

☆枚举的使用

enum Color
{
    White,//默认为0
    Black,//根据上面的值递增，为1
    Red = 10,//本来为2，但赋值后为10，并使下面的枚举成员的值从此处开始递增
    Yellow,//11
    Blue//12
};

enum Color clr = Red;//只能拿枚举常量给枚举变量赋值，避免类型差异
//错误赋值↓
//enum color clr = 10

---

联合

这种类型定义的变量也包含一系列的成员，特征是这些成员公用同一块空间（所以联合也叫共用体）。

☆联合大小的计算

① 联合的大小至少是最大成员的大小；

② 当最大成员大小不是最大对齐数的整数倍的时候，就要对齐到最大对齐数的整数倍。

union Un1
{
 char c[5];//大小为5
 int i;//大小为4
};

union Un2
{
 short c[7];//大小为14
 int i;//大小为4
};

printf("%d\n", sizeof(union Un1));
printf("%d\n", sizeof(union Un2));

已知Un1和Un2的最大对齐数都为4，

Un1中最大成员大小为5，但它不是最大对齐数的整数倍，向上取数，即为8（2*4>5），

Un1中最大成员大小为14，但它不是最大对齐数的整数倍，向上取数，即为16（4*4>14）。

---

Ending