两个类相互包含引用的问题--类前向声明

1、背景

编程中遇到如下错误：使用不完全类型**以及**前向声明。

查找相关资料后发现是类的前向声明（forward declaration）问题：在程序中声明一个类后，此类是一个不完全类型（incompete type），即已知此类是一个类型，但不知道包含哪些成员。

不完全类型只能以有限方式使用，不能定义该类型的对象。不完全类型只能用于定义指向该类型的指针及引用，或者用于声明(而不是定义)使用该类型作为形参类型或返回类型的函数。

2、为什么需要前向声明

在构造自己的类时，有可能会碰到两个类之间的相互引用问题，例如：定义了类A类B，A中使用了B定义的类型，B中也使用了A定义的类型
class A
{
int i;
B b;
}

class B
{
int i;
A* a;
}

请注意上面的定义内容，一般情况下是不能出现类A，类B相互引用都定义对象，即如下的样子：
class A
{
int i;
B b;
}

class B
{
int i;
A a;
}
在这种情况下，想想能够有a.b.a.b.a.b.a.b.a.b…………，很有点子子孙孙无穷尽之状，那么我的机器也无法承受。最主要的还是这种关系很难存在，也很难管理。这种定义方式类同程式中的死循环。所以，一般来说，两者的定义，至少有一方是使用指针，或两者都使用指针，但是决不能两者都定义实体对象。

言归正传，那么，在定义时因为相互引用肯定会需要相互包含头文档，假如仅仅只是在各自的头文档中包含对方的头文档，是通不过编译的，如下：
//class A.h
#include "B.h"
class A
{
int i;
B b;
}

//class B.h
#include "A.h"
class B
{
int i;
A *a;
}

如上的包含方式可能会造成编译器有错误提示：A.h文档中使用了示知类型B。

3、问题解决办法
一般的做法是：两个类的头文档之中，选一个包含另一个类的头文档，但另一个头文档中只能采用class *；的申明形式，而在实现文档中（*.cpp）中包含头文档，如下：
//class A.h
#include "B.h"
class A
{
int i;
B b;
}

//class B.h
class A;
class B
{
int i;
A *a;
}

//B.cpp
//在B.cpp中的文档包含处要有下面语句，否则不能调用成员a的任何内容
#include "A.h"
B::B()
{
……
}

FROM: http://blog.sina.com.cn/s/blog_62fc96e60101ctft.html