有一种很特殊的实现
就叫纯虚函数
你就想我们刚才那个例子
三个类：Account、CheckingAccount、SavingsAccount
Account这个账户本身
实际上充当的是一个抽象的账户
也就是说 实际上在它里面
打印一个余额是没有意义的
因为不管怎么样
它要么是结算账户要么是储蓄账户
我们不存在一个不属于储蓄账户
也不属于结算账户的这样一个抽象的账户
在实际的程序运行过程中
这个事情是不存在的
我们也许会有一个这样的指针
也许会有这样一个引用量
但是一定没有真实的Account账户的存在
我们不会构造它的
这是一个非常重要的地方
我们要构造的要么就是结算账户
要么就是储蓄账户
不会构造一个抽象的Account账户
它只是表达我们整个类库设计的时候
最顶层的抽象的一个模式
表示所有的账户类的最顶层的共性
所以为它实现PrintBalance是没有意义的
就像我们的代码中
我实际上是向标准错误流里面
输出一串信息
并不是真正地输出它的账户余额信息
明确了这一点 那我们就说
这样的一个函数实际上我们不该实现它
实现了也没有意义 反正我们也不会调用
那我们怎么办呢
C++就为我们提供了一个
纯虚函数的机制来实现它
像这样的一个纯虚函数
标准的格式就是virtual
后面跟着它的函数原型
然后把它初始化成0
等号还是初始化记号
后面是一个0 其实就是个NULL
就表示这一个函数将没有任何实现
直接就初始化成0
表示这个函数没有代码体的
但不是只声明不定义
只声明不定义 它也叫没有
但是编译器——如果你调用它的时候
就会告诉你它有问题
因为那个函数不存在
所以调用就会出错 编译就通不过
这个呢 一个纯虚的函数
编译器也会告诉你
你不能调用纯虚的函数
但是实际上 这个函数指针是存在的
在这个对象的虚拟表里边
f这个函数的虚拟表指针（虚函数指针）是存在的
只不过那里被填了0
表示这个函数的入口地址是0
函数本身不存在
但是这个指针是存在的
特别注意这一条
所有的带有纯虚函数的类
在我们C++里边都叫纯虚类
更一般地我们其实应该称它为抽象的类
因为我们绝不可能构造这样类的一个对象
语言机制不允许的
因为里面有一个函数没实现
不允许你这么做
这样的话就是一个抽象的一个类
它最主要目的是作为类继承的顶层
一般来讲可能是最上层
也可能如果下一层需要抽象
它还可以是个抽象类
都是按照像这样的格式来定义的
也就是说 它往往都位于类库层次的顶层
它形成的是一个抽象的机制
它不承担实际的工作
这个就叫抽象类
对于类库的程序设计是非常非常有用的
还有一个细节 需要特别强调
就是析构函数 大部分情况下面
我们应该将析构函数定义成虚拟的
也就是虚析构函数
这是在类库继承层次下边
保持整个类的多态性的一个最基本的需要
我们需要用到它 如果是一个非虚的
它实际上就和特定的类是相关的了
当你在指向基类的一个指针上
去销毁它的派生类的那个对象的时候
如果不是一个虚的析构函数
那么实际上是没有办法正确销毁的
所以析构函数往往都是虚的
我们可以看这样的一个例子
定义一个Point的纯虚类
我们前面不讲了吗
我们的那个Point类
它作为一个抽象类的基础
其实是带了x和y
所以它实际上对应的是二维点
而不是真正的抽象的一个点
真正抽象的一个点应该是0维的点
所以属性都不存在
很明确吧 应该是这么写的
那么对于这样一个类来讲
如果我想定义它的一个Print成员函数
显然我不知道该写什么
其实就是我什么都不应该写
好吧 我把Print定义成纯虚函数
virtual void Print() const = 0
这本身是个常函数
因为它不改变数据对象的值
前面是一个virtual 虚函数
要求它保持多态性
因为它没有数据可操作
所以把它定义成纯虚函数 初始化成0
这样的话 Point就表示一个纯虚类
它就是足够抽象的一个顶层逻辑
所有的点都将从我们的class Point派生下去
对于点库 它的一个继承层次来讲
Point就是它们唯一的根
所有的点都从它继承下来
这就是纯虚类在类库设计层次上面
所起到的最重要的一个作用
virtual void Print() const = 0
我们可以在此基础上定义Point2D
虚继承 单根的话 virtual不写 没问题
定义它的构造函数、Get/Set函数
定义它的虚函数Print
我们实现的应该是virtual void Print() const
后面不能再写初始化成0了
再写初始化0 表示它还是纯虚函数
然后Point3D类 Point3D从Point2D继承
添加一个_z成员 然后Print
实现我们的virtual void Print()const这样的一个函数
还要写它的虚函数嘛
3D的数据处理和2D数据肯定也不一样
当然构造函数、Get/Set函数我们也要添上去
接下来就是我们的实现代码
对于2D的Print 我们调用cout输出两维数据
对于3D的这样一个点
我们就用cout输出一个三维的数据x、y、z
写完了 这个就是我们类库的架构的实现
你注意看这三个类 顶层类是Point
然后中间那一层类是Point2D
最底层的那个类是Point3D
这不就形成了类的继承层次了吗
这是基本的类库的架构设计模式
都是按照这个方式写的
在Point类里面 Print是纯虚函数
Point2D和Point3D分别实现了对应的Print函数
接下来是主程序
定义一个pt1 为指向Point类的指针
然后new一个Point2D给它
然后定义一个pt2
同样是一个指向Point的指针
然后new一个Point3D给它
我们会创建一个二维点的对象
也会创建一个三维点的对象
分别把它们的地址传给pt1和pt2
pt1也好 pt2也好 都是指向Point类的指针
都是指向基类的指针
不是指向派生类的指针
但是我们构造的都是派生类的对象
让基类的指针指向派生类
然后我们在基类指针上面调用Print
没有问题
它调用的就都将是派生类的那个虚函数
这是由多态所保证的
要做的就是这个事
它是二维点 我就处理二维点
如果是三维点 我就处理三维点
不管怎么样 它们都是点
这个是非常非常重要的
如果你为它们写了虚析构函数
那实际上很清楚
你在pt1上面删除和pt2上面删除
删除都是它对应的二维点和三维点的那个对象
绝不会删除抽象的那个点的那个对象
特别注意这一条