今天关于结构体一些疑问,在这里标记一下
1.定义与声明
结构体的定义如下所示,struct为结构体关键字,tag为结构体的标志,member-list为结构体成员列表,其必须列出其所有成员;variable-list为此结构体声明的变量。
1 struct tag
2 {
3 member-list
4 } variable-list ;
在一般情况下,tag、member-list、variable-list这3部分至少要出现2个。以下为示例:
1 //此声明声明了拥有3个成员的结构体,分别为整型的a,字符型的b和双精度的c
2 //同时又声明了结构体变量s1
3 //这个结构体并没有标明其标签
4 struct {
5 int a;
6 char b;
7 double c;
8 } s1;
9
10
11 //此声明声明了拥有3个成员的结构体,分别为整型的a,字符型的b和双精度的c
12 //结构体的标签被命名为SIMPLE,没有声明变量
13 struct SIMPLE{
14 int a;
15 char b;
16 double c;
17 };
18 //用SIMPLE标签的结构体,另外声明了变量t1、t2、t3
19 struct SIMPLE t1, t2[20], *t3;
20 //也可以用typedef创建新类型
21 typedef struct{
22 int a;
23 char b;
24 double c;
25 } Simple2;
26 //现在可以用Simple2作为类型声明新的结构体变量
27 Simple2 u1, u2[20], *u3;
在上面的声明中,第一个和第二声明被编译器当作两个完全不同的类型,即使他们的成员列表是一样的,如果令t3=&s1,则是非法的。结构体的成员可以包含其他结构体,也可以包含指向自己结构体类型的指针,而通常这种指针的应用是为了实现一些更高级的数据结构如链表和树等。
如果两个结构体互相包含,则需要对其中一个结构体进行不完整声明,如下所示:
//结构体A中包含指向结构体B的指针
struct A
{
struct B *partner;
//other members;
};
//结构体B中包含指向结构体A的指针,在A声明完后,B也随之进行声明
struct B
{
struct A *partner;
//other members;
};
2. 自引用 结构体
1.1 不使用typedef时
错误的方式:
1 struct tag_1
2 {
3 struct tag_1 A; /* 结构体 */
4 int value;
5 };
这种声明是错误的,因为这种声明实际上是一个无限循环,成员b是一个结构体,b的内部还会有成员是结构体,依次下去,无线循环。在分配内存的时候,由于无限嵌套,也无法确定这个结构体的长度,所以这种方式是非法的。
正确的方式: (使用指针):
1 struct tag_1
2 {
3 struct tag_1 *A; /* 指针 */
4 int value;
5 };
由于指针的长度是确定的(在32位机器上指针长度为4),所以编译器能够确定该结构体的长度。
1.2 使用typedef 时
错误的方式:
1 typedef struct
2 {
3 int value;
4 NODE *link; /* 虽然也使用指针,但这里的问题是:NODE尚未被定义 */
5 } NODE;
这里的目的是使用typedef为结构体创建一个别名NODEP。但是这里是错误的,因为类型名的作用域是从语句的结尾开始,而在结构体内部是不能使用的,因为还没定义。
正确的方式:有三种,差别不大,使用哪种都可以。
1 /* 方法一 */
2 typedef struct tag_1{
3 int value;
4 struct tag_1 *link;
5 } NODE;
6
7
8 /* 方法二 */
9 struct tag_2;
10 typedef struct tag_2 NODE;
11 struct tag_2{
12 int value;
13 NODE *link;
14 };
15
16
17 /* 方法三 */
18 struct tag_3{
19 int value;
20 struct tag_3 *link;
21 };
22 typedef struct tag_3 NODE;
3. 相互引用 结构体
错误的方式:
1 typedef struct tag_a{
2 int value;
3 B *bp; /* 类型B还没有被定义 */
4 } A;
5
6 typedef struct tag_b{
7 int value;
8 A *ap;
9 } B;
错误的原因和上面一样,这里类型B在定义之 前 就被使用。
正确的方式:(使用“不完全声明”)
1 /* 方法一 */
2 struct tag_a{
3 struct tag_b *bp; /* 这里struct tag_b 还没有定义,但编译器可以接受 */
4 int value;
5 };
6 struct tag_b{
7 struct tag_a *ap;
8 int value;
9 };
10 typedef struct tag_a A;
11 typedef struct tag_b B;
12
13
14 /* 方法二 */
15 struct tag_a; /* 使用结构体的不完整声明(incomplete declaration) */
16 struct tag_b;
17 typedef struct tag_a A;
18 typedef struct tag_b B;
19 struct tag_a{
20 struct tag_b *bp; /* 这里struct tag_b 还没有定义,但编译器可以接受 */
21 int value;
22 };
23 struct tag_b{
24 struct tag_a *ap;
25 int value;
26 };