1. 自引用 self reference

1.1 不用typedef

1
2
3
4
struct tag_1{
struct tag_1 A; /* 结构体 */
int value;
}; // 错误的

这种声明是错误的,因为这种声明实际上是一个无限循环,成员 A 是一个结构体,A 的内部还会有成员是结构体,依次下去,无线循环。在分配内存的时候,由于无限嵌套,也无法确定这个结构体的长度,所以这种方式是非法的。

1
2
3
4
struct tag_1{
struct tag_1 *A; /* 结构体 */
int value;
}; // 正确

由于指针的长度是确定的(在32位机器上指针长度为4),所以编译器能够确定该结构体的长度。

1.2 用typedef

1
2
3
4
typedef struct {  
int value;
NODE *link; /* 虽然也使用指针,但这里的问题是:NODE尚未被定义 */
} NODE;

这里的目的是使用 typedef 为结构体创建一个别名NODE。但是这里是错误的,因为类型名的作用域是从语句的结尾开始,而在结构体内部是不能使用的,因为还没定义。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
/*  方法一  */  
typedef struct tag_1 {
int value;
struct tag_1 *link;
} NODE;


/* 方法二 */
struct tag_2;
typedef struct tag_2 NODE;
struct tag_2 {
int value;
NODE *link;
};


/* 方法三 */
struct tag_3 {
int value;
struct tag_3 *link;
};
typedef struct tag_3 NODE;

2. 相互引用 mutual reference

错误的方式
1
2
3
4
5
6
7
8
9
typedef struct tag_a{  
int value;
B *bp; /* 类型B还没有被定义 */
} A;

typedef struct tag_b{
int value;
A *ap;
} B;

错误的原因和上面一样,这里类型B在定义之 前 就被使用。

正确的方式:(使用“不完全声明”)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
/* 方法一   */  
struct tag_a {
struct tag_b * bp;/* 这里struct tag_b 还没有定义,但编译器可以接受 */
int value;
}
struct tag_b{
struct tag_a *ap;
int value;
};
typedef struct tag_a A;
typedef struct tag_b B;

/* 方法二 */
struct tag_a; /*不完整声明 incomplete declaration */
struct tag_b;
typedef struct tag_a A;
typedef struct tag_b B;

struct tag_a {
struct tag_b * bp;
int value;
};
struct tag_b {
struct tag_a *ap;
int value;
};