首先来说一说虚函数,所谓虚函数是这样一个概念:基类中有这么一些函数,这些函数允许在派生类中其实现可以和基类的不一样。在C++中用关键字virtual来表示一个函数是虚函数。
C++中还有一个术语 “覆盖”与虚函数关系密切。所谓覆盖就是说,派生类中的一个函数的声明,与基类中某一个函数的声明一模一样,包括返回值,函数名,参数个数,参数类型,参数次序都不能有差异。
(注
1
) 说覆盖和虚函数关系密切的原因有两个:一个原因是,只有覆盖基类的虚函数才是安全的。第二个原因是,要想实现基于虚函数的多态就必须在派生类中覆盖基类的虚函数。
接下来让我们说一说为什么要有虚函数,分析一下为什么派生类非要在某些情况下覆盖基类的虚函数。就以那个非常著名的图形绘制的例子来说吧。假设我们在为一个图形系统编程。我们可能有如下的一个类结构。
![谈谈C++中的多态(二) 谈谈C++中的多态(二)](https://p-blog.csdn.net/images/p_blog_csdn_net/guanwl/fb843c969c534e7ab0437e5f04f9c53b.jpg)
形状对外公开一个函数来把自己绘制出来。这是合理的,形状就应该能绘制出来,对吧?由于继承的原因,多边形和圆形也有了绘制自己这个函数。
现在我们来讨论在这三个类中的绘制自己的函数都应该怎么实现。在形状中嘛,什么也不做就行了。在多边形中嘛,只要把它所有的顶点首尾相连起来就行了。在圆形中嘛,依据它的圆心和它的半径画一个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;
}
};
下面,我们将以上面的这三个类为基础来说明动态多态。在进行更进一步的说明之前,我们先来说一个不得不说的两个概念:“子类型”和“向上转型”。
子类型很好理解,比如上面的多边形和圆形就是形状的子类型。关于子类型还有一个确切的定义为:
如果类型
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++中用一种比较巧妙的办法来找回那些丢失的子类型信息。这个办法就是采用指针或引用。
对于一个对象来说无论有多少个指针指向它,这些个指针所指的都是同一个对象。(
即使你用一个void
的指针指向一个对象也是这样的,不是吗?)
同理对于引用也一样。
这究竟有多少深层次的意义呢?这里的深层的意义是这样的:子类型的信息本来就在它本身中存在,所以我们用一个基类的指针来指出它,这个子类型的信息也会被找到,同理引用也是一样的。 C++
正是利用了指针的这一特性。来做到动态多态的。注 2
现在让我们来改写OutputShape
函数为这样:
void
OutputShape( Shape& arg)
//
专门负责调用形状的绘制自己的函数
{
arg.DrawSelf();
}
现在我们的程序的输出为:
连接各顶点
以圆心和半径为依据画弧
这样的输出才是我们真正的想要的。我们实现的这种真正想要的输出就是动态多态的实质。
在我们上面的代码中,圆和多边形都是从形状公有继承而来的。要是我们把圆的继承改为私有或保护会怎么样呢?我们来试一试。哇,我们得到一个编译错误。这个错误的大致意思是说:“请不要用一个私有的方法”。怎么回事呢?
是这么回事。它的意思是说下面这样说不合理。
所有的形状都可以画出来,圆这种形状是不能画出来的。
这样合理吗?不合理。所以请在多态中使用公有继承吧。
多态的思想其实早在面向对象的编程出现之前就有了。比如C
语言中的+
运算符。这个运算符可以对两个int
型的变量求和,也可以对两个char
的变量求和,也可以对一个int
型一个char
型的两个变量求和。加法运算的这种特性就是典型的多态。所以说多态的本质是同样的用法在实现上却是不同的。
注1:严格地讲返回值可以不同,但这种不同是有限制的。详细情况请看有关协变的内容。
注2:C++会悄悄地在含有虚函数的类里面加一个指针。用这个指针来指向一个表格。这个表格会包含每一个虚函数的索引。用这个索引来找出相应的 虚函数的入口地址。对于我们所举的形状的例子来说,C++会悄悄的做三个表,Shape一个,Polygon一个,Circ一个。它们分别记录一个 DrawSelf函数的入口地址。在程序运行的过程中,C++会先通过类中的那个指针来找到这个表格。再从这个表格中查出DrawSelf的入口地址。然 后现通过这个入口地址来调用正直的DrawSelf。正是由于这个查找的过程,是在运行时完成的。所以这样的多态才会被叫做动态多态(运行时多态)