使用预声明解决结构体互相引用以及头文件内容互相包含的问题
技术文档 2010-01-08 10:21:06 阅读178 评论0 字号：大中小 订阅
首先声明，简单的头文件重复包含问题不在此文的讨论范围之内，此问题可以通过下面的文件格式进行解决。
#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编译并且正常运行的，不用太在意。