c语言 结构体声明和引用、,结构体的声明与自引用

今天上了数据结构课程的第一堂课，经常会看到下面这种语法：结构体有个成员变量是指向该结构体的指针，也就是自引用(self reference)。翻看了下一章节内容，才知道这是链表的结构基础。平时C语言用的比较少，借此机会重新复习了下结构体，在此记录相关知识。

结构体的声明

我们在定义结构体时，常常会用到两种方式。

方式1. 使用结构标签

用标签变量赋予结构体一个名字，这样定义结构体之后，可以用标签来声明结构体变量。

/*

**标签(tag)为成员列表提供一个名字，可以在后续的声明中使用

**下面这个声明，将标签PEOPLE与成员列表联系在一起(也就是定义了一个名为PEOPLE的结构体)，

**并声明了名为Man与Women的两个结构体变量

*/

struct PEOPLE{

int a;

char b;

float c;

}Man,Women;//这里是声明的同时创建了两个变量。

/*

** 变量的声明

** 声明变量时，需要在标签名前加上关键字struct

*/

struct PEOPLE Boy,Girl;//声明了结构体变量 Boy 与 Girl

注意：声明结构体变量时一定要在前面加上struct关键字。但这样难免有些繁琐，所以大家都喜欢用下面介绍的方式2

方式2. 利用typedef技巧

/*

**typedef用于定义一个新的类型名，可以认为是为结构体起一个别名

**此段代码将原来的 struct PEOPLE 重新定义为类型people

*/

typedef struct PEOPLE{

int a;

char b;

float c;

}people;

/*

**变量的声明

*/

people Women,Girl; //声明了结构体变量 Women 与 Girl；

people Boy[20]; //声明了元素类型为结构体people的数组 Boy

可以看到，用typedef定义结构体后，结构体变量的声明变得十分方便。

结构体的自引用

结构体的自引用(self reference)，就是在结构体内部，包含指向自身类型结构体的指针。这是实现链表结构的基础。

我们知道，顺序表的数据元素依次存放于一组地址连续的存储单元。而链表是用一组任意的存储单元来存放元素的，这些存储单元可以零散分布在内存的任何位置，大大提高存储器的使用效率。那么问题来了，既然存储单元地址不是连续的，那么前一个节点如何知道下一个节点的地址呢？这里就用到了结构体的自引用。在前一个节点(一个结构体变量)的成员变量中，把那个指针定义为下一个节点的地址，这样层层连接，实现了链表的存储。

但是，为什么定义结构体时，该成员变量是一个指针，而不直接声明该结构体自己呢？

https://blog.csdn.net/gzbaishabi/article/details/34926699

请看这篇文章，表述的非常好。

下面仍旧以两种结构体声明方式，分开讨论

方式1. 使用结构标签

错误的方式

/*

**下面这种声明是错误的。

**PEOPLE是一个结构体，成员变量b的仍旧是结构体

**在分配内存时，由于无限嵌套，编译器无法确定PEOPLE的长度

*/

struct PEOPLE{

int a;

struct PEOPLE b;

};//非法

正确的方式

/*

**由于指针的长度是确定的(指针长度为4)，所以编译器能够确定该结构体的长度

*/

struct PEOPLE{

int a;

struct PEOPLE *b;

};

方式2. 使用typedef

错误的方式

/*

**下面这种声明是错误的。

**使用typedef时，程序执行到该段结束才完成了类型PEOPLE的定义

**因此，虽然这里用了指针，但还是错误，因为还没完成类型的定义

*/

typedef struct{

int a;

struct people *b;

}people;//非法

正确的方式

/*

**利用结构标签进行指针的声明

*/

typedef struct tag{

int a;

struct tag *b;

}people;