谈谈C++中的多态(二)

7.    细说用虚函数实现的多态

7.1. 虚函数是怎么回事

首先来说一说虚函数，所谓虚函数是这样一个概念：基类中有这么一些函数，这些函数允许在派生类中其实现可以和基类的不一样。在C++中用关键字virtual来表示一个函数是虚函数。

C++中还有一个术语 “覆盖”与虚函数关系密切。所谓覆盖就是说，派生类中的一个函数的声明，与基类中某一个函数的声明一模一样,包括返回值，函数名，参数个数，参数类型，参数次序都不能有差异。 ^{（注 1 ）} 说覆盖和虚函数关系密切的原因有两个：一个原因是，只有覆盖基类的虚函数才是安全的。第二个原因是，要想实现基于虚函数的多态就必须在派生类中覆盖基类的虚函数。

接下来让我们说一说为什么要有虚函数，分析一下为什么派生类非要在某些情况下覆盖基类的虚函数。就以那个非常著名的图形绘制的例子来说吧。假设我们在为一个图形系统编程。我们可能有如下的一个类结构。

形状对外公开一个函数来把自己绘制出来。这是合理的，形状就应该能绘制出来，对吧？由于继承的原因，多边形和圆形也有了绘制自己这个函数。

现在我们来讨论在这三个类中的绘制自己的函数都应该怎么实现。在形状中嘛，什么也不做就行了。在多边形中嘛,只要把它所有的顶点首尾相连起来就行了。在圆形中嘛，依据它的圆心和它的半径画一个360度的圆弧就行了。

可是现在的问题是：多边形和圆形的绘制自己的函数是从形状继承而来的，并不能做连接顶点和画圆弧的工作。

怎么办呢？覆盖它，覆盖形状中的绘制自己这个函数。于是我们在多边形和圆形中各做一个绘制自己的函数，覆盖形状中的绘制自己的函数。为了实现覆 盖，我们需要把形状中的绘制自己这个函数用virtual修饰。而且形状中的绘制自己这个函数什么也不干，我们就把它做成一个纯虚函数。纯虚函数还有一个 作用，就是让它所在的类成为抽象类。形状理应是一个抽象类，不是吗？于是我们很快写出这三个类的代码如下：

class Shape // 形状

{

public :

    virtual void DrawSelf() // 绘制自己

    {

       cout << " 我是一个什么也绘不出的图形" << endl;

    }

};

class Polygo: public Shape // 多边形

{

public :

    void DrawSelf()   // 绘制自己

    {

       cout << " 连接各顶点" << endl;

    }

};

class Circ: public Shape // 圆

{

public :

    void DrawSelf()   // 绘制自己

    {

       cout << " 以圆心和半径为依据画弧" << endl;

    }

};

下面，我们将以上面的这三个类为基础来说明动态多态。在进行更进一步的说明之前，我们先来说一个不得不说的两个概念：“子类型”和“向上转型”。

7.2. 向上转型

子类型很好理解，比如上面的多边形和圆形就是形状的子类型。关于子类型还有一个确切的定义为： 如果类型 X 扩充或实现了类型Y ，那么就说X 是Y 的子类型。

向上转型的意思是说把一个子类型转的对象换为父类型的对象。就好比把一个多边形转为一个形状。向上转型的意思就这么简单，但它的意 义却很深远。向上转型中有三点需要我们特别注意。第一，向上转型是安全的。第二，向上转型可以自动完成。第三，向上转型的过程中会丢失子类型信息。这三点 在整个动态多态中发挥着重要的作用。

假如我们有如下的一个函数：

void OutputShape( Shape arg) // 专门负责调用形状的绘制自己的函数

{

    arg.DrawSelf();

}

那么现在我们可以这样使用 OutputShape 这个函数：

    Polygon shape1;

    Circ shape2;

    OutputShape(shape1);

    OutputShape(shape2);

我们之所以可以这样使用OutputShape函数，正是由于向上转型是安全的（不会有任何的编译警告），是由于向上转弄是自动的（我们没有自己把shape1和shape2转为Shape类型再传给 OutputShape 函数 ）。可是上面这段程序运行后的输出结果是这样的：

我是一个什么也绘不出的图形

我是一个什么也绘不出的图形

明明是一个多边形和一个圆呀，应该是输出这下面这个样子才合理呀！

连接各顶点

以圆心和半径为依据画弧

造成前面的不合理的输出的罪魁祸首正是‘向上转型中的子类型信息丢失’。为了得到一个合理的输出，得想个办法来找回那些丢失的子类型信息。C++中用一种比较巧妙的办法来找回那些丢失的子类型信息。这个办法就是采用指针或引用。

7.3. 为什么要用指针或引用来实现动态多态

对于一个对象来说无论有多少个指针指向它，这些个指针所指的都是同一个对象。( 即使你用一个void 的指针指向一个对象也是这样的，不是吗？) 同理对于引用也一样。

这究竟有多少深层次的意义呢？这里的深层的意义是这样的：子类型的信息本来就在它本身中存在，所以我们用一个基类的指针来指出它，这个子类型的信息也会被找到，同理引用也是一样的。 C++ 正是利用了指针的这一特性。来做到动态多态的。^{注 2} 现在让我们来改写OutputShape 函数为这样：

void OutputShape( Shape& arg) // 专门负责调用形状的绘制自己的函数

{

    arg.DrawSelf();

}

现在我们的程序的输出为：

连接各顶点

以圆心和半径为依据画弧

这样的输出才是我们真正的想要的。我们实现的这种真正想要的输出就是动态多态的实质。

7.4. 为什么动态多态要用public 继承

在我们上面的代码中，圆和多边形都是从形状公有继承而来的。要是我们把圆的继承改为私有或保护会怎么样呢？我们来试一试。哇，我们得到一个编译错误。这个错误的大致意思是说：“请不要用一个私有的方法”。怎么回事呢？

是这么回事。它的意思是说下面这样说不合理。

所有的形状都可以画出来，圆这种形状是不能画出来的。

这样合理吗？不合理。所以请在多态中使用公有继承吧。

8.    总结

多态的思想其实早在面向对象的编程出现之前就有了。比如C 语言中的+ 运算符。这个运算符可以对两个int 型的变量求和，也可以对两个char 的变量求和，也可以对一个int 型一个char 型的两个变量求和。加法运算的这种特性就是典型的多态。所以说多态的本质是同样的用法在实现上却是不同的。

9.    附录：

注1：严格地讲返回值可以不同，但这种不同是有限制的。详细情况请看有关协变的内容。

注2：C++会悄悄地在含有虚函数的类里面加一个指针。用这个指针来指向一个表格。这个表格会包含每一个虚函数的索引。用这个索引来找出相应的 虚函数的入口地址。对于我们所举的形状的例子来说，C++会悄悄的做三个表，Shape一个，Polygon一个，Circ一个。它们分别记录一个 DrawSelf函数的入口地址。在程序运行的过程中，C++会先通过类中的那个指针来找到这个表格。再从这个表格中查出DrawSelf的入口地址。然 后现通过这个入口地址来调用正直的DrawSelf。正是由于这个查找的过程，是在运行时完成的。所以这样的多态才会被叫做动态多态（运行时多态）