使用预声明解决结构体互相引用

通常情况下，我们写作结构体的时候都是声明和定义一起做的，不会单独对要定义的结构体进行声明。对于要引用的结构体，我们把它放在定义的结构体前面即可。
但有这样一种情况：两个结构体互相引用，也就是两个结构体互相成为对方的成员变量。此时，我们应该如何来组织我们的数据结构呢？
这时，我们可以使用声明实现两个结构体的互相引用，即先在前面对其中的某个结构体进行声明。声明之后，我们就可以互相引用了。
样例1（正确样例）：
typedef struct tagTest_B TEST_B_S;
typedef struct tagTest_A
{
TEST_B_S *pstB;（指针）
} TEST_A_S;
struct tagTest_B
{
TEST_A_S *pstA;（指针）
};
看完上面这个样例，大家再来看看下面这个例子，看一下有没有什么问题？
样例2（错误样例）：
typedef struct tagTest_B TEST_B_S;
typedef struct tagTest_A
{
TEST_B_S stB;（不是指针）
} TEST_A_S;
struct tagTest_B
{
TEST_A_S *pstA;
};
如果我们使用VC进行编译（当然你也可以使用GCC编译），VC编译的时候会报错，如下：
error C2079: 'stB' uses undefined struct 'tagTest_B'
这是什么原因呢？
这是因为声明的时候只是简单的表明是某种结构体而已，而结构体的内容我们不得而知。
因此我们引用的时候只能使用指针而不能直接使用结构体，因为只有这样才能为结构体分配确定的内存
(指针的内存始终是4字节，而未知结构体的内存大小是不确定的)。
另外，顺便看一下下面这种写法。
样例3（pclint会有Info提示）：
typedef struct tagTest_B TEST_B_S;
typedef struct tagTest_A
{
TEST_B_S *pstB;
} TEST_A_S;
typedef struct tagTest_B
{
TEST_A_S *pstA;
} TEST_B_S;
上面这样写，使用Lintware软件做pclint时，会提示说TEST_B_S重复定义（Info等级），这是因为两次使用typedef定义了TEST_B_S。Lintware要求比较严格，实际上就这样写也是可以通过VC编译并且正常运行的，不用太在意。

转载于:https://www.cnblogs.com/yucan/archive/2011/06/30/2094635.html