相互引用的结构体的定义

首先声明，简单的头文件重复包含问题不在此文的讨论范围之内，此问题可以通过下面的文件格式进行解决。
#ifndef __filename_h__
#define __filename_h__

/* code */

#endif 


我们这里讨论的头文件互相包含是文件中的内容有互相引用的情况。比如test_a.h文件中定义了结构体TEST_A_S，test_b.h文件中定义了 结构体TEST_B_S，且TEST_A_S引用了TEST_B_S，同时TEST_B_S也引用了TEST_A_S。

此问题的本质就是结构体的互相引用，下面我们对结构体互相引用的问题进行分析，而对于头文件互相包含的问题不再特别指出。

通常情况下，我们写作结构体的时候都是声明和定义一起做的，不会单独对要定义的结构体进行声明。对于要引用的结构体，我们把它放在定义的结构体前面即可。

但有这样一种情况：两个结构体互相引用，也就是两个结构体互相成为对方的成员变量。此时，我们应该如何来组织我们的数据结构呢？

这时，我们可以使用声明实现两个结构体的互相引用，即先在前面对其中的某个结构体进行声明。声明之后，我们就可以互相引用了。


样例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编译并且正常运行的，不用太在意。

------

我想定义两个结构体， typede struct A {      BBB *p;      int a;      int b; }AAA; typedef struct B {     AAA *p;     int aa;     int bb; }BBB; 如何实现？

答案：

struct B; typedef struct A {      struct B *p;      int a;      int b; }AAA; typedef struct B {     struct A *p;     int aa;     int bb; }BBB;

或者

typedef struct A AAA;
typedef struct B BBB;


struct A
{
  BBB *p;
  int a;
  int b;
};


struct B
{
  AAA *p;
  int aa;
  int bb;
};