声明:virtual <数据类型> <成员函数名> (<形参表>) = 0; // 没有花括号
纯虚函数:不给出函数的实现代码,没有函数体,仅为类族提供统一的接口,相当于标准接口。在派生类中如果给出了纯虚函数的具体实现,该函数在派生类中就成为一般的虚函数。注意将纯虚函数和函数体为空的虚函数区分开。
一般而言,基类和派生类都可以用来声明相应类的对象。但也可以根据需要,把基类作为纯粹的一种抽象概念,即把他的一些行文(成员函数)不给出具体的实现,这样的类成为抽象类。显然,抽象类至少有一个纯虚函数。
抽象类不能被用来声明对象(不能实例化)。也称抽象基类。建立一个统一的公共接口,具体实现由派生类去完成。【PS:并不是有纯虚函数就不能实例化】
与一般基类一样,可以声明抽象类的引用和指针(不是对象实例)。通过指针或引用可以访问派生类的对象,并调用派生类的成员函数,从而实现虚函数的运行时多态。
PS:当基类是抽象类时,只有在派生类中对基类的所有的纯虚函数给出具体实现代码,该派生类才不会成为抽象类。
对纯虚函数的一个误解就是:基类不能给出纯虚函数的实现代码。
实际上可以,允许在类体外为基类的纯虚函数给出具体实现。但注意的是,即使基类定义了纯虚函数的实现代码,在派生类中也必须对纯虚函数进行覆盖。否则,无法实现派生类的实例化,因为派生类仍是一个抽象类。
实际上,定义纯虚函数的目的是:为了定义抽象类。如果要定义一个抽象类,那么至少要定义一个纯虚函数。如果类中没有合适的成员函数可以定义为纯虚函数,可以将析构函数定义为纯虚函数。
虽然析构函数可以是纯虚函数,但是纯虚析构函数必须有具体实现代码。而且纯虚析构函数的定义要放在类体外。
class CShape{//定义抽象类
protected:
double s;
public:
CShape(){s = 0;}
virtual ~CShape() = 0;//声明为纯虚析构函数
virtual double area(){return area;}//函数体为空的虚函数
};
CShape::~CShape()
{
//纯虚(析构)函数可以有具体实现代码
}