1.纯虚函数
- 在基类中将某一成员函数定为虚函数,并不是基类本身的要求,而是考虑到派生类的需要,在基类中预留了一个函数名,具体功能留给派生类根据需要去定义。
- 声明纯虚函数的一般形式是: **virtual 函数类型 函数名 (参数表列) =0;**
- 说明
- 纯虚函数没有函数体;
- 最后面的“=0”并不表示函数返回值为0,它只起形式上的作用,告诉编译系统“这是纯虚函数”;
- 这是一个声明语句,最后应有分号。
- 纯虚函数只有函数的名字而不具备函数的功能,不能被调用。在派生类中对此函数提供定义后,它才能具备函数的功能,可被调用。
- 纯虚函数的作用是在基类中为其派生类保留一个函数的名字,以便派生类根据需要对它进行定义**。如果在基类中没有保留函数名字,则无法实现多态性。 **
- 如果在一个类中声明了纯虚函数,而在其派生类中没有对该函数定义,则该虚函数在派生类中仍然为纯虚函数。
2.抽象类
- 在面向对象程序设计中,有一些类不用来生成对象,而是用它作为基类去建立派生类,用派生类去建立对象。这种不用来定义对象而只作为一种基本类型用作继承的类,称为**抽象类,由于它常用作基类,通常称为抽象基类**。
- 凡是包含纯虚函数的类都是抽象类。因为纯虚函数是不能被调用的,包含纯虚函数的类是无法建立对象的。
- 抽象类的作用是作为一个类族的共同基类,或者说,为一个类族提供一个公共接口。
- 如果在抽象类所派生出的新类中对基类的所有纯虚函数进行了定义**,这个派生类就不是抽象类,而是可以用来定义对象的具体类(concrete class)。**
- 如果在派生类中没有对所有纯虚函数进行定义,则此派生类仍然是抽象类,**不能用来定义对象。**
- 虽然抽象类不能定义对象(或者说抽象类不能实例化),但是可以定义指向抽象类数据的指针变量。
3.例:**在程序中使用虚函数和抽象基类。
类的层次结构的顶层是抽象基类Shape(形状)。Point(点), Circle(圆), Cylinder(圆柱体)都是Shape类的直接派生类和间接派生类。
#include <iostream>
using namespace std;
class Shape //声明抽象基类Shape
{public:
virtual float area( ) const {return 0.0;}//虚函数
virtual float volume() const {return 0.0;} //虚函数
virtual void shapeName() const =0; //纯虚函数
};
class Point:public Shape //Point是Shape的公用派生类
{public: Point(float=0,float=0);
void setPoint(float,float);
float getX( ) const {return x;}
float getY( ) const {return y;}
virtual void shapeName( ) const {cout<<″Point:″;} //对纯虚函数进行再定义
friend ostream & operator<<(ostream &,const Point &);
protected:
float x,y;
};
Point::Point(float a,float b) {x=a;y=b;}
void Point::setPoint(float a,float b) {x=a;y=b;}
ostream & operator<<(ostream &output,const Point &p)
{output<<″[″<<p.x<<″,″<<p.y<<″]″;
return output; }
class Circle:
public Point //声明Circle类
{public:
Circle(float x=0,float y=0,float r=0);
void setRadius(float);
float getRadius( ) const;
virtual float area( ) const;
virtual void shapeName( ) const {cout<<″Circle:″;}//对纯虚函数进行再定义
friend ostream &operator<<(ostream &,const Circle &);
protected:
float radius;
};
Circle::Circle(float a,float b,float r):Point(a,b),radius(r){ }
void Circle::setRadius(float r):radius(r){ }
float Circle::getRadius( ) const {return radius;}
float Circle::area( ) const {return 3.14159*radius*radius;}
ostream &operator<<(ostream &output,const Circle &c)
{output<<″[″<<c.x<<″,″<<c.y<<″], r=″<<c.radius;
return output;}
class Cylinder:public Circle //声明Cylinder类
{public:
Cylinder (float x=0,float y=0,float r=0,float h=0);
void setHeight(float);
virtual float area( ) const;
virtual float volume( ) const;
virtual void shapeName( ) const {cout<<″Cylinder:″;}//对虚函数进行再定义
friend ostream& operator<<(ostream&,const Cylinder&);
protected:
float height;
};
Cylinder::Cylinder(float a,float b,float r,float h) :Circle(a,b,r),height(h){ } void Cylinder::setHeight(float h){height=h;}
float Cylinder::area( ) const { return 2*Circle::area( )+2*3.14159*radius*height;} float Cylinder::volume( ) const {return Circle::area( )*height;}
ostream &operator<<(ostream &output,const Cylinder& cy)
{output<<″[″<<cy.x<<″,″<<cy.y<<″], r=″<<cy.radius<<″, h=″<<cy.height;
return output;}
int main( )
{Point point(3.2,4.5);//建立Point类对象point
Circle circle(2.4,1.2,5.6); //建立Circle类对象circle
Cylinder cylinder(3.5,6.4,5.2,10.5); //建立Cylinder类对象cylinder point.shapeName(); //静态关联
cout<<point<<endl;
circle.shapeName(); //静态关联
cout<<circle<<endl;
cylinder.shapeName(); //静态关联
cout<<cylinder<<endl<<endl;
Shape *pt; //定义基类指针
pt=&point; //指针指向Point类对象
pt->shapeName( ); //动态关联
cout<<″x=″<<point.getX( )<<″,y=″<<point.getY( )<<″\\narea=″<<pt->area( ) <<″\\nvolume=″<<pt->volume()<<″\\n\\n″; pt=&circle; //指针指向Circle类对象
pt->shapeName( ); //动态关联
cout<<″x=″<<circle.getX( )<<″,y=″<<circle.getY( )<<″\\narea=″<<pt->area( ) <<″\\nvolume=″<<pt->volume( )<<″\\n\\n″;
pt=&cylinder; //指针指向Cylinder类对象
pt->shapeName( ); //动态关联
cout<<″x=″<<cylinder.getX( )<<″,y=″<<cylinder.getY( )<<″\\narea=″<<pt->area( ) <<″\\nvolume=″<<pt->volume( )<<″\\n\\n″;
return 0;
}
- 结论
- 一个基类如果包含一个或一个以上纯虚函数,就是抽象基类。抽象基类不能也不必要定义对象。
- 抽象基类与普通基类不同,它一般并不是现实存在的对象的抽象,它可以没有任何物理上的或其他实际意义方面的含义。
- 在类的层次结构中,顶层或最上面的几层可以是抽象基类。抽象基类体现了本类族中各类的共性,把各类中共有的成员函数集中在抽象基类中声明。
- 抽象基类是本类族的公共接口。或者说,从同一基类派生出的多个类有同一接口。
- 如果在基类声明了虚函数,则在派生类中凡是与该函数有相同的函数名、函数类型、参数个数和类型的函数,均为虚函数(不论在派生类中是否用virtual声明)。
- 使用虚函数提高了程序的可扩充性