C++抽象类和纯虚函数

如果是这种情况，那么 C++ 语言允许程序员将该函数声明为一个纯虚函数，也就是，一个在类中没有提供实现的成员函数。C++ 声明一个纯虚函数的方法是将表达式 =0 放在类声明中，而函数的主体则不存在。

例如，如果要将一个成员函数 void draw() 声明为纯虚函数，那么它的类中的声明语句示例如下：

void draw()= 0;

纯虚函数有时称为抽象函数，而如果某个类至少有一个纯虚函数，那么它将被称为抽象类。C++ 编译器不允许实例化一个抽象类。抽象类只能被子类化，也就是说，只能使用它们作为派生其他类的基类。

派生自抽象类的类将继承基类中的所有函数，除非它覆盖继承的所有抽象函数，否则它本身也是抽象类。抽象类的用处在于它定义了一个接口，接口必须由从它派生的所有类的对象来支持。

可以把抽象类看作一个除子类外没有实例的类。现实生活中有许多抽象类的例子。例如，在动物王国中， 动物 类就是所有动物的抽象类。所有动物的实例（例如狗、鸡、狐狸等）都属于 动物 抽象类中的某个子类，但 动物 本身不能实例化。

现在来看一看由一个形状的集合组成的图形系统，这些形状必须绘制在屏幕的某些位置上。每个形状对象都有一些成员变量来记录它的位置，并且还有一个成员函数，用于在正确位置绘制形状。该系统支持的不同形状可能包括矩形、六边形和其他形状。

因为矩形是一个形状，而六边形也是一个形状，所以单独创建一个 Shape 类是有意义的，然后就可以从 Shape 类中派生出 Rectangle 类和 Hexagon 类。Shape 类有一个成员函数 setPosition，将用于设置形状的位置；还有一个成员函数 Draw，用于绘制形状。但是，由于 Shape 是一个抽象类（没有任何形状可以是一个笼统概念上的 形状 ，它必须是矩形、六边形、三角形或其他具体的形状），绘制一个特定形状的逻辑必须委托给一个合适的子类，因此，draw() 函数不能在 Shape 类中实现，必须将它声明为一个纯虚函数。

下面的程序演示了上述 Shape 类，它具有两个派生类：Rectangle 和 Hexagon。该类声明了一个纯虚函数 draw()，该函数将由其两个子类实现。main 函数使用了一个指针矢量来维护一个 Shape 对象的集合。

// This program demonstrates abstract base

// classes and pure virtual functions.

#include iostream 

#include memory 

#include vector 

using namespace std;

class Shape

 protected:

 int posX, posY;

 public:

 virtual void draw() const =0;

 void setPosition(int pX, int pY)

 posX = pX;

 posY = pY;

class Rectangle : public Shape

 public:

 virtual void draw() const

 cout Drawing rectangle at posX posY endl;

class Hexagon : public Shape

 public:

 virtual void draw() const

 cout Drawing hexagon at posX posY endl;

int main()

 // Create vector of pointers to Shapes of various types

 vector shared_ptr Shape shapes

 make_shared Hexagon (),

 make_shared Rectangle (),

 make_shared Hexagon ()

 // Set positions of all the shapes

 int posX = 5, posY = 15;

 for (int k = 0; k shapes.size (); k++)

 shapes[k]- setPosition(posX, posY);

 posX += 10;

 posY += 10;

 // Draw all the shapes at their positions

 for (int j =0; j shapes.size (); j++)

 shapes[j]- draw();

 return 0;

}

程序输出结果：

Drawing hexagon at 5 15
Drawing rectangle at 15 25
Drawing hexagon at 25 35

此程序提供了动态绑定和多态的另一个示例。来看以下声明：

shapeArray[j]- draw();

它将在循环中执行不同的次数。

for (int j = 0; j shapes.size (); j ++)

 shapeArray[j]- draw();

}

第一次执行语句时，它将调用六边形对象的 draw 函数；而第二次执行时，它将调用矩形对象的 draw 函数。因为这两个 draw 函数是在不同的类中，所以它们会产生不同的行为。

关于抽象基类和纯虚函数，请记住以下知识要点：