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

时间:2021-05-31 20:03:00

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