大家好
欢迎回来继续学习
C++语言程序设计
这一节我们来学习
前向引用声明
什么是前向引用声明呢
我们考虑这样一种情况
是不是有的时候
我们希望在一个类中
引用另外一个类
比如说用另外一个类的类型名
作为它的函数参数类型
那么在第二个类中
又反过来也引用第一个类
也就是说
两个类相互引用
那这不就出现矛盾了吗
因为当我们引用一个类的时候
必须让编译器已经见过
这个类的声明
否则它不知道这个类名的含义
是什么吗
编译就不成功了
可是如果两个类互相引用
把谁写在前面
谁写在后面呢
这个问题该怎么解决
我们来看前向引用声明
就是在某种程度上
解决这个问题的
由于类应该先声明后使用
所以呢如果我们特别地需要
在某个类的声明之前
就引用这个类
那么可以用前向引用声明
也就是说
先声明一下这个类的名字
而类的细节暂时先没有
所以前向引用声明呢
只是为程序引入了一个标志符
类体可以在其他的地方声明
现在呢
我们就来看看两个类
互相引用的例子
我们看这里面这个例子
有两个类A 还有B
A的成员函数f
它的参数是B类型的对象
B的成员函数g
它的参数是A类型的对象
那么不管把哪个类定义在前
哪个类定义在后
都存在着需要用这个类名
但是这个类名还没有定义过
这样的情况
那怎么办呢
有一个办法就是前向引用声明
大家看在这里定义一个
声明一个class B
那这就说明B是一个类名
但是它的细节现在还没有见到
它的具体定义会在别的什么地方
就是告诉编译器
你不要说这个符号
是一个未定义符号
我告诉你它是一个类名了
于是呢
在A类的函数参数表中
就可以用B作为参数类型了
虽然前向引用声明
解决了刚才这个例子中出现的
两个类互相引用的问题
但是它并不是万能的
使用的时候要注意这样几点
首先在提供一个完整的类
声明之前
不能声明这个类的对象
也不能在内联成员函数中
使用这样的类的对象
所以呢使用前向引用声明的时候
只能使用被声明的符号
而不能涉及任何的类的细节
前向引用声明不是万能的
接下来呢
我们看这样一个例子
就说明了这个问题
现在我们来看这个例子
在Barney类里面
它有一个成员是Fred类对象
在Fred类里面
有一个成员是Barney类的对象
我们讲类的组合
可以用一个类的对象
作为新定义类的成员
但是到底把这两个类
谁写在前面呢
这个问题解决不了啊
谁写在前面都存在着
这个类的定义还没有见过
就要用这个类的问题
所以我们尝试还是用
前向引用声明
看能不能解决问题
结果这一次不幸解决不了问题
编译的时候编译器报错
为什么呢
因为你还没有定义Fred类
即使你说明了这是一个类名
那也没有用
你在编译Barney类的时候
要把x作为Fred类的对象
那么这时候你最最起码
你得知道Fred类它占多少字节吧
像这样的细节信息不知道
你就没有在这里面
定义Fred类对象
所以呢
在完整的定义一个类之前
你用一个前向引用声明
也只声明了这个类名而已
你只能用这个名字
不能涉及到它的任何细节
你看你要定义这个类的对象
你就得这个类的细节了
起码得知道它占的字节数吧
不知道这个
这个任务就没办法完成
所以呢
前向引用声明它不是万能的
这个问题它解决不了