首页 > 编程笔记

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 行释放动态分配的对象。按照本程序的写法,这条语句是有一些问题的。具体是什么问题,如何解决,将在《虚析构函数》一节中解释。

推荐阅读