结构体的嵌套问题

1. 自引用结构体

1.1 不使用typedef时

错误的方式：

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

正确的方式： （使用指针）

struct tag_1{
    struct tag_1 *A; 
    int value;
};
// 由于指针的长度是确定的（在32位机器上指针长度为4），所以编译器能够确定该结构体的长度。

1.2 使用typedef 时

错误的方式：

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

正确的方式：有三种，差别不大，使用哪种都可以。

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. 相互引用 结构体

错误的方式：

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

正确的方式 ：（使用“ 不完全声明 ”）

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



struct tag_a;  
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;
};

//转载自http://www.cnblogs.com/renyuan/archive/2012/11/30/2796792.html