嵌套结构体问题。

Question

struct s1
{
int x1;
struct s1 *x2; /*正确，成员是指针型变量，数据类型可以是本结构体*/
struct s1 *x3[6]; /*正确，成员是指针型，……可以是……*/
struct s1 x4; /*错误，成员是变量，不能是……*/
struct s1 x5[2]; /*错误，成员是数组，不能使……*/
};
注释不懂，是在解释语句的意思，还是在判断语句的意思。如果是判断，为什么是指针就正确？为什么是变量就错误？

Answer 1

注释是在解释那种写法是正确的,那种写法是错误的.

至于你说的,为什么指针就正确,变量就错误,是因为:

1,指针作为变量的时候,所占用的内存空间是固定的,不管这个指针是什么类型的,比如说
int *p1; //p1是一个指向整型的指针
float *p2; //p2是一个指向单精度类型的指针
double *p3; //p3是一个指向双精度类型的指针
但是,p1,p2,p3他们自身所占用的内存空间都是4字节的,
这里就涉及到指针这种特殊的类型,(指针本身占用的空间,和指针指向的空间,)

2,而当把这个结构体的本身作为自身变量的时候,你就无法知道这个变量具体占用的内存空间是多少,所以在给变量分配空间的时候就无法分配,所以说错误,
(就好比你定义一个数组,一定要指定这个数组有多少个元素,要不然计算机也没办法知道你这个数组到底需要多少内存空间,它就无法分配内存)
当结构体本身作为自身变量的时候,你计算一下,这个结构体所占用的内存空间,你看看你能计算出来吗?
直接进入死循环了,根本无法计算

追问

明白了，又出现两个问题。
（1）struct s1
{
struct si *x2;
}
这个是不是说，x2里存放着struct s1，s1的内存是有限的？
（2）数组是不是同一道理？即数组里存放结构，结构里还是数组，所以导致死循环？

除了这两个问题，结构体的嵌套还有什么值得注意的地方么？

追答

（1）struct s1
{
struct si *x2;
}
这个是不是说，x2里存放着struct s1，s1的内存是有限的？

这个只是说你定义了一个指针,这个指针指向的空间类型是struct s1类型的结构体.struct s1类型的结构体占用的内存空间就是4字节,因为里面就一个指针类型的成员,所以占用空间上固定的.

2,
数组是不是同一道理？即数组里存放结构，结构里还是数组，所以导致死循环？

对,因为你这个数组里存放的是struct s1类型的结构体,而你这个结构体的大小是没办法知道的,

至于结构体的嵌套,个人觉得没什么特别注意的.
其他提醒你的是,对于结构体的认识,你把它就当作一普通的数据类型对待就行了.

比如说,int类型,在内存中占几个字节,这个是别人提前规定好的,你直接用就行.
而结构体只是你自己根据自己需要,自己定义了一个新的类型,这个新类型和int,float都是一种数据类型而已,因此结构体,数组等也被称作用户自定义类型.

Answer 2

我觉得注释的意思可能是告诉你这样子做是否正确，注释说的应该都是正确的，下面解释一下：
（1）为什么指针正确？
因为指针本事就是一个地址而已，在32位系统下是32位（也就是4字节），64位系统下是64位（也就是8字节），这些东西都是编译器在编译代码的时候就能够知道的，不同的指针只是说明这个指针指向的东西类型是不同的，对于这个结构体的空间大小分配没有影响
（2）为什么变量就不对？
这是因为这里使用的变量类型就是正在定义的变量类型，都是struct s1，编译器在编译到这里的时候需要知道这个变量的大小，但是这个变量的类型还没定义完，于是编译器就不知道该给这个变量分配多大的空间了，于是编译器就报错了

Answer 3

这是C语言的语法规则，至于发明者为什么要这样制定规则：

如果有成员变量的话，一个结构体的实例的大小就会无穷大。比如:

struct s1 ss;

那么ss中就有一个结构体x4，而x4中也有一个结构体x4。。。

就这样一直下去，那么你的这个ss包含有无穷个此结构体变量，这是不可能0实现的。

Answer 4

解释：
如果是指针的话，指针里只不过是存放地址。地址会指向其它同一种类结构体。但它只是地址而已（只是16进制数，或者8进制数）。
如果是结构体类型变量或者数组的话，变量里存放的就应该是结构体。而这个结构体变量的结构体类型，就是它所在的结构体。。。这样就形成了同样的结构体嵌套，不管嵌套多少层，最里层的结构体中仍然定义了一个结构体，这就是所谓的递归（自己套用自己）。所以肯定会报错。

Answer 5

问题是你的结构体里的结构体是自己，这会形成递归定义，即无穷递归，想想是不是