C++多态的好处和作用（用实例说话）

在面向对象的程序设计中，使用多态能够增强程序的可扩充性，即程序需要修改或增加功能时，只需改动或增加较少的代码。此外，使用多态也能起到精简代码的作用。本节通过两个实例来说明多态的作用。

游戏程序实例

游戏软件的开发最能体现面向对象设计方法的优势。游戏中的人物、道具、建筑物、场景等都是很直观的对象，游戏运行的过程就是这些对象相互作用的过程。每个对象都有自己的属性和方法，不同对象也可能有共同的属性和方法，特别适合使用继承、多态等面向对象的机制。下面就以“魔法门”游戏为例来说明多态在增加程序可扩充性方面的作用。

“魔法门”游戏中有各种各样的怪物，如骑士、天使、狼、鬼，等等。每个怪物都有生命力、攻击力这两种属性。怪物能够互相攻击。一个怪物攻击另一个怪物时，被攻击者会受伤；同时，被攻击者会反击，使得攻击者也受伤。但是一个怪物反击的力量较弱，只是其自身攻击力的 1/2。

怪物主动攻击、被敌人攻击和实施反击时都有相应的动作。例如，骑士的攻击动作是挥舞宝剑，而火龙的攻击动作是喷火；怪物受到攻击会嚎叫和受伤流血，如果受伤过重，生命力被减为 0，则怪物就会倒地死去。

针对:这个游戏，该如何编写程序，才能使得游戏版本升级、要增加新的怪物时，原有的程序改动尽可能少呢？换句话说，如何才能使程序的可扩充性更好呢？

然而，无论是否使用多态，均应使每种怪物都有一个类与之对应，每个怪物就是一个对象。而且，怪物的攻击、反击和受伤等动作都是通过对象的成员函数实现的，因此需要为每个类编写 Attack、FightBack 和 Hurted 成员函数。

Attack 成员函数表现攻击动作，攻击某个怪物并调用被攻击怪物的 Hurted 成员函数，以减少被攻击怪物的生命值，同时也调用被攻击怪物的 FightBack 成员函数，遭受被攻击怪物的反击。

Hurted 成员函数减少自身生命值，并表现受伤动作。

FightBack 成员函数表现反击动作，并调用被反击对象的 Hurted 成员函数，使被反击对象受伤。

下面对比使用多态和不使用多态两种写法，来看看多态在提高程序可扩充性方面的作用。

先介绍不用多态的写法。假定用 CDmgon 类表示龙，用 CWolf 类表示狼，用 CGhost 类表示鬼，则 CDragon 类的写法大致如下（其他类的写法与之类似）：

class CDragon
{
private:
    int power;  //攻击力
    int lifeValue;  //生命值
public:
    void Attack(CWolf * p);  //攻击“狼”的成员函数
    void Attack(CGhost* p);  //攻击“鬼”的成员函数
                             //……其他 Attack 重载函数
                             //表现受伤的成员函数
    void Hurted(int nPower);
    void FightBack(CWolf * p);  //反击“狼”的成员函数
    void FightBack(CGhost* p);  //反击“鬼”的成员函数
                                //......其他FightBack重载函数
};

各成员函数的写法如下：

void CDragon::Attack(CWolf* p)
{
    p->Hurted(power);
    p->FightBack(this);
}
void CDragon::Attack(CGhost* p)
{
    p->Hurted(power);
    p->FightBack(this);
}
void CDragon::Hurted(int nPower)
{
    lifeValue -= nPower;
}
void CDragon::FightBack(CWolf* p)
{
    p->Hurted(power / 2);
}
void CDragon::FightBack(CGhost* p)
{
    p->Hurted(power / 2);
}

第 1 行，Attack 函数的参数 p 指向被攻击的 CWolf 对象。

第 3 行，在 p 所指向的对象上面执行 Hurted 成员函数，使被攻击的“狼”对象受伤。调用 Hurted 成员函数时，参数是攻击者“龙”对象的攻击力。

第 4 行，以指向攻击者自身的 this 指针为参数，调用被攻击者的 FightBack 成员函数，接受被攻击者的反击。

在真实的游戏程序中，CDragon 类的 Attack 成员函数中还应包含表现“龙”在攻击时的动作和声音的代码。

第 13 行，一个对象的 Hurted 成员函数被调用会导致该对象的生命值减少，减少的量等于攻击者的攻击力。当然，在真实的程序中，Hurted 成员函数还应包含表现受伤时动作的代码，以及生命值如果减至小于或等于零，则倒地死去的代码。

第 17 行，p 指向的是实施攻击者。对攻击者进行反击，实际上就是调用攻击者的 Hurted 成员函数使其受伤。其受到的伤害的大小等于实施反击者的攻击力的一半（反击的力量不如主动攻击大）。当然，FightBack 成员函数中其实也应包含表现反击动作的代码。

实际上，如果游戏中有 n 种怪物，CDragon 类中就会有 n 个 Attack 成员函数，用于攻击 n 种怪物。当然，也会有 71 个 FightBack 成员函数（这里假设两条龙也能互相攻击）。对于其他类，如 CWolf 类等，也是这样。

以上为非多态的实现方法。如果游戏版本升级，增加了新的怪物“雷鸟”，假设其类名为 CThunderBird，则程序需要做哪些改动呢？

除了编写一个 CThiinderBird 类外，所有的类都需要增加以下两个成员函数，用以对“雷鸟”实施攻击，以及在被“雷鸟”攻击时对其进行反击：

void Attack(CThunderBird* p);
void FightBack(CThunderBird* p);

这样，在怪物种类多的时候，工作量会比较大。

实际上，在非多态的实现中，使代码更精简的做法是将 CDragon、CWolf 等类的共同特点 抽取出来，形成一个 CCreature 类，然后再从 CCreature 类派生出 CDragon、CWolf 等类。但是由于每种怪物进行攻击、反击和受伤时的表现动作不同，CDmgon、CWdf 这些类还要实现各自的 Hurted 成员函数，以及一系列 Attack、FightBack 成员函数。因此，如果没有利用多态机制，那么即便引人基类 CCreature，对程序的可扩充性也没有太大帮助。

下面再来看看，如果使用多态机制编写这个程序，在要新增 CThunderBird 类时，程序改动的情况。使用多态的写法如下：设置一个基类 CCreature，概括所有怪物的共同特点。所有具体的怪物类，如 CDragon、CWolf、CGhost 等，均从 CCreature 类派生而来。下面是 CCreature 类的写法：

class CCreature {  //“怪物”类
protected:
    int lifeValue, power;
public:
    virtual void Attack(CCreature* p) {};
    virtual void Hurted(int nPower) {};
    virtual void FightBack(CCreature* p) {};
};

可以看到，基类 CCreature 中只有一个 Attack 成员函数，也只有一个 FightBack 成员函数。

实际上，所有 CCreature 类的派生类也都只有一个 Attack 成员函数和一个 FightBack 成员函数。例如，CDragon 类的写法如下：

class CDragon : public CCreature
{
public:
    virtual void Attack(CCreature* p) {
        p->Hurted(power);
        p->FightBack(this);
    }
    virtual int Hurted(int nPower) {
        lifeValue -= nPower;
    }
    virtual int FightBack(CCreature* p) {
        p->Hurted(power / 2);
    }
};

CDragon 类的成员函数中省略了表现动作和声音的那部分代码。其他类的写法和 CDragon 类类似，只是实现动作和声音的代码不同。如何实现动画的动作和声音不是本书要讲述的内容。

在上述多态的写法中，当需要增加新怪物“雷鸟”时，只需要编写新类 CThunderBird 即可，不需要在已有的类中专门为新怪物增加 void Attack(CThunderBird * p) 和 void FightBack(CThunderBird* p) 这两个成员函数。也就是说，其他类根本不用修改。这样一来，和前面非多态的实现方法相比，程序的可扩充性当然大大提高了。实际上，即便不考虑可扩充性的问题，程序本身也比非多态的写法大大精简了。

为什么 CDragon 等类只需要一个 Attack 函数，就能够实现对所有怪物的攻击呢？

假定有以下代码片段：

CDragon dragon;
CWolf wolf;
CGhost ghost;
CThunderBird bird;
Dragon.Attack(&wolf);
Dragon.Attack(&ghost);
Dragon.Attack(&bird);

根据赋值兼容规则，上面第 5、6、7 行中的参数都与基类指针类型 CCreature* 相匹配，所以编译没有问题。从 5、6、7 三行进入 CDragon::Attack 函数后，执行 p-> Hurted(power) 语句时，p 分别指向的是 wolf、ghost 和 bird，根据多态的规则，分别调用的就是 CWolf::Hurted、CGhost::Hurted 和 CBird: Hurted 函数。

FightBack 函数的情况和 Attack 函数类似，不再赘述。

几何形体程序实例

例题：编写一个几何形体处理程序，输入几何形体的个数以及每个几何形体的形状和参数，要求按面积从小到大依次输出每个几何形体的种类及面积。假设几何形体的总薮不超过 100 个。

例如，输入
4
R 3 5
C 9
T 3 4 5
R 2 2

表示一共有 4 个几何形体，第一个是矩形（R 代表矩形），宽度和高度分别是 3 和 5；第二个是圆形（C 代表圆形），半径是 9；第三个是三角形（T代表三角形），三条边的长度分别是 3,4,5；第四个是矩形，宽度和高度都是 2。

应当输出：
Rectangle:4
Triangle:6
Rectangle:15
Circle:254.34

该程序可以运用多态机制编写，不但便于扩充（添加新的几何形体），还能够节省代码量。程序如下：

#include <iostream>
#include <cmath>
using namespace std;
class CShape  //基类：形体类
{
    public:
        virtual double Area() { };  //求面积
        virtual void PrintInfo() { }; //显示信息
};
class CRectangle:public CShape  //派生类：矩形类
{
    public:
        int w,h;     //宽和高
        virtual double Area();
        virtual void PrintInfo();
};
class CCircle:public CShape  //派生类：圆类
{
    public:
        int r;      //半径
        virtual double Area();
        virtual void PrintInfo();
};
class CTriangle:public CShape //派生类：三角形类
{
    public:
        int a,b,c;      //三边长
        virtual double Area();
        virtual void PrintInfo();
};
double CRectangle::Area()  {
    return w * h;
}
void CRectangle::PrintInfo()  {
    cout << "Rectangle:" << Area() << endl;
}
double CCircle::Area()  {
    return 3.14 * r * r ;
}
void CCircle::PrintInfo()  {
    cout << "Circle:" << Area() << endl;
}
double CTriangle::Area()  {   //根据海伦公式计算三角形面积
    double p = ( a + b + c) / 2.0;
    return sqrt(p * ( p - a)*(p- b)*(p - c));
}
void CTriangle::PrintInfo()  {
    cout << "Triangle:" << Area() << endl;
}
CShape *pShapes[100]; //用来存放各种几何形体，假设不超过100个
int MyCompare(const void *s1, const void *s2)  //定义排序规则的函数
{
    CShape **p1 = (CShape **)s1; //s1是指向指针的指针,其指向的指针为CShape* 类型
    CShape **p2 = ( CShape **)s2;
    double a1 = (*p1)->Area(); //p1指向几何形体对象的指针, *p1才指向几何形体对象
    double a2 = (*p2)->Area();
    if( a1 < a2 )
        return -1;   //面积小的排前面
    else if (a2 < a1)
        return 1;
    else
        return 0;
}
int main()
{
    int i; int n;
    CRectangle *pr; CCircle *pc; CTriangle *pt;
    cin >> n;
    for( i = 0;i < n;++i ) {
        char c;
        cin >> c;
        switch(c) {
            case 'R': //矩形
            pr = new CRectangle();
            cin >> pr->w >> pr->h;
            pShapes[i] = pr;
            break;
             case 'C': //圆
            pc  = new CCircle();
            cin >> pc->r;
            pShapes[i] = pc;
            break;
            case 'T': //三角形
            pt = new CTriangle();
            cin >> pt->a >> pt->b >> pt->c;
            pShapes[i] = pt;
            break;
        }
    }
    qsort(pShapes,n,sizeof(Cshape *),MyCompare);
    for(i = 0;i <n;++i) {
        pShapes[i]->PrintInfo();
        delete pShapes[i]; //释放空间
    }
    return 0;
}

程序涉及三种几何形体。如果不使用多态，就需要用三个数组分别存放三种几何形体，不但编码麻烦，而且如果以后要增加新的几何形体，就要增加新的数组，扩充性不好。

本程序将所有几何形体的共同点抽象出来，形成一个基类 CShape，CRectangle、CCircle 等各种几何形体类都由 CShape 类派生而来。每个类都有各自的计算面积函数 Area 和显示信息函数 PrintInfo，这两个函数在所有类中都有，而且都是虚函数。

第 50 行定义了一个 CShape * pShapes[100] 数组。由于基类指针也能指向派生类对象，因此，每输入一个几何形体，就动态分配一个与该形体对应的类的对象（第 74、79、84 行）， 然后将该对象的指针存入 pShapes 数组（第 76、81、86 行）。总之，pShapes 数组中的元素可能指向 CRectangle 对象，也可能指向 CCircle 对象，还可能指向 CTriangle 对象。

第 90 行对 pShapes 数组进行排序。排序的规则是按数组元素所指向的对象的面积从小到大排序。注意，待排序的数组元素是指针而不是对象，因此调用 qsort 时的第三个参数是 sizeof (CShape *)，而不是 sizeof(CShape)。

在定义排序规则的 MyCompare 函数中，形参 s1（s2 与 s1 类似）指向的是待排序的数组元素，数组元素是指针，因而 s1 是指向指针的指针，其指向的指针是 CShape* 类型。*s1是数组元素，即指向对象的指针，**s1才是几何形体对象。

由于 s1 是 void* 类型的，*s1 无定义，因此要先将 s1 转换为 CShape** 类型的指针 p1（第 53 行），此后，*p1 即是一个 CShape* 类型的指针，*p1 指向一个几何形体对象，通过(*p1)->Area()就能求该对象的面积了（第 55 行）。(* p1) -> Area();这条语句是多态的，因为 *p1 是基类指针，Area 是虚函数。程序运行到此时，*p1 指向哪种对象，就会调用相应类的计算面积函数 Area，正确求得其面积。

如果不使用多态，就需要将不同形体的面积一一求出来，存到另外一个数组中，然后再排序，排序后还要维持面积值和其所属的几何形体的对应关系——这显然是比较麻烦的。

多态的作用还体现在第 91、92 行。只要用一个循环遍历排好序的 pShapes 数组，并通过数组元素调用 PrintInfo 虚函数，就能正确执行不同形体对象的 PrintInfo 成员函数，输出形体对象的信息。

上面这个使用了多态机制的程序，不但编码比较简单，可扩充性也较好。如果程序需要增加新的几何形体类，所要做的事情也只是从 CShape 类派生出新类，然后在第 72 行的 switch 语句中加入一个分支即可。

第 93 行释放动态分配的对象。按照本程序的写法，这条语句是有一些问题的。具体是什么问题，如何解决，将在《虚析构函数》一节中解释。