Return to the Basic - 纯虚函数(pure virtual)和抽象类(abstract class)

纯虚函数(pure virtual function)是指在基类中声明但是没有定义的虚函数。
通用形式：

virtual type func-name(parameter-list)=0;

其中，type 是函数的返回类型,
func-name 是函数名。
=0 是把虚函数制定为纯虚函数。

通过虚函数申明为纯虚函数可以强制在派生类中重新定义虚函数。（否则编译器报错）

如果一个类至少含有一个纯虚函数，那么这个类被称为抽象类(abstract class).
- 抽象类的重要特征：不能定义抽象类型的对象，抽象类只能作为其他类的基类，不能用来声明对象。
- 抽象类可以用来声明指针或者引用，并以此支持运行时对态。

//这个程序编译报错，因为circle类没有覆盖show_area(); 

#include <iostream>

using namespace std;



class figure{     //基类为抽象类.(因为包含了纯虚函数)

protected:

 double x,y; 

public:

 void set_dim(double i,double j){

  x=i;

  y=j;

 }

 virtual void show_area()=0; //纯虚函数.

};



class triangle:public figure{



public:

 void show_area(){

  cout<<"Triangle with base "<<x;

  cout<<" and height "<<y;

  cout<<" has an area of "<<x*y*0.5<<".\n";

 }

};



class rectangle:public figure{



public:

 void show_area(){

  cout<<"Rectangle with dimensions ";

  cout<<x<<","<<y;

  cout<<" has an area of ";

  cout<<x*y<<".\n";

 }

};



class circle:public figure{

 //没有重新定义函数show_area()，产生错误.

};

int main(){

 figure *p;    //声明基类的指针

 triangle tri_obj;   //声明派生类对象

 rectangle rect_obj;



 circle cir_obj; //非法-不能被创建



 p=&tri_obj;

 p->set_dim(6.0,8.0);

 p->show_area();   //将显示三角形面积 24



 p=&rect_obj;

 p->set_dim(10.0,3.0);

 p->show_area();   //将显示长方形面积 30



 return 0;

}

编译结果：

 error C2259: 'circle' : cannot instantiate abstract class
       due to following members:
        'void figure::show_area(void)' : is abstract