纯虚函数和抽象类

抽象类可以为某个类族提供统一的操作接口。外部可以透明的使用抽象类的统一接口，而不需要知道到底是调用的抽象类的哪个派生类的成员函数。其实这些也可以通过在基类中定义虚函数来实现，但抽象类跟一般类不同的是，它使用纯虚函数，不需要定义纯虚函数的实现，而且抽象类不能实例化，即不能定义抽象类的对象，只能从它继承出非抽象派生类再实例化。

 抽象类的定义就是，含有纯虚函数的类。纯虚函数跟一般的虚函数有很大不同。我们下面来了解下纯虚函数。

       一.纯虚函数

       即使有的虚函数在基类中不需要做任何工作，我们也要写出一个空的函数体，这时这个函数体没有什么意义，重要的是此虚函数的原型声明。C++为我们提供了纯虚函数，让我们在这种情况下不用写函数实现，只给出函数原型作为整个类族的统一接口就可以了，函数的实现可以在派生类中给出。

       纯虚函数是在基类中声明的，声明形式为：

       virtual 函数类型 函数名(参数表) = 0;

       大家可以看到，纯虚函数的声明形式与一般虚函数类似，只是最后加了个“=0”。纯虚函数这样声明以后，在基类中就不再给出它的实现了，各个派生类可以根据自己的功能需要定义其实现。

       二.抽象类

       抽象类就是含有纯虚函数的类。抽象类可以为某个类族定义统一的接口，接口的具体实现是在派生类中给出。这种实现就具有多态特性。

       这里要注意的是，抽象类的派生类如果没有实现所有的纯虚函数，只给出了部分纯虚函数的实现，那么这个派生类仍然是抽象类，仍然不能实例化，只有给出了全部纯虚函数的实现，派生类才不再是抽象类并且才可以实例化。

#include<iostream>
using namespace std;

class Base
{
public:
	virtual void show()=0;//纯虚函数
};
class Child0:public Base
{
	void show(){cout<<"child0 show()"<<endl;}
};
class Child1:public Child0
{
	void show(){cout<<"child1 show()"<<endl;}
};
void Callshow(Base *pbase)
{
	pbase->show();
}

int main()
{
	//Base base;错误，因为Base是抽象类不能被实例化
	Base *pBase;
	Child0 ch0;
	Child1 ch1;
	pBase=&ch0;
	Callshow(pBase);
	pBase=&ch1;
	Callshow(pBase);
	return 0;
}

程序运行结果为：

       这里派生类Child0和Child1的虚函数show并没有使用关键字virtual显式说明，因为Child0和Child1中的虚函数和基类Base中的纯虚函数名称一样，参数和返回值都相同，编译器会自动识别其为虚函数。

上面的程序中，基类Base是抽象类，为整个类族提供了统一的外部接口。派生类Child0中给出了全部纯虚函数的实现（其实只有一个纯虚函数--show），因此不再是抽象类，可以声明它的对象。Child0的派生类Child1当然也不是抽象类。根据赋值兼容规则，基类Base的指针可以指向派生类Child0和Child1的对象，通过此指针可以访问派生类的成员，这样就实现了多态。