C++06分析和总结最新分析和总结.docxVIP

6 多态性与虚函数 本章导读 多态性是面向对象程序设计的重要特征之一。多态性机制不仅增加了面向对象软件系统的灵活性，进一步减少了冗余信息，而且显著提高了软件的可重用性和可扩充性。 C++面向对象程序设计 C++面向对象程序设计 第 6 章 第 6 章 多态性与虚函数 多态性概述 所谓多态性就是不同对象收到相同的消息时，产生不同的动作。直观地说，多态性是指用一个名字定义不同的函数，这些函数执行不同但又类似的操作，从而可以使用相同的调用方式来调用这些具有不同功能的同名函数。这也是人类思维方式的一种模拟。比如一个对象中有很多求面积的行为，显然可以针对不同的参数的类型和个数，写出很多不同名称的函数来实现（如计算圆的面积、长方形的面积等，参数个数是一个、两个等，参数类型是整型、单精度浮点型或双精度浮点型等）。事实上，它们的功能几乎完全相同。这时，可以利用多态 性的特征，用统一的函数名来标识这些函数。这样，就可以达到用同样的接口访问不同功能的函数，从而实现“一个接口，多种方法”。 多态的分类 C++中的多态性可以分为 4 类：参数多态、包含多态、重载多态和强制多态。前面两种统称为通用多态，而后面两种统称为专用多态。 参数多态与类属函数和类属类相关联，本书第8 章将要介绍的函数模板和类模板就是这种多态。由类模板实例化的各个类都具有相同的操作，而操作对象的类型却各不相同。同样地，由函数模板实例化的各个函数都具有相同的操作，而这些函数的参数类型是各不相同的。包含多态是研究类族中定义于不同类中的同名成员函数的多态行为，主要是通过虚函数 来实现的。 重载多态如函数重载、运算符重载等。前面我们学习过的普通函数及类的成员函数的重载都属于重载多态。运算符重载将在第7 章介绍。 强制多态是指将一个变元的类型加以变化，以符合一个函数或操作的要求，例如加法运算符在进行浮点数与整型数相加时，首先进行类型强制转换，把整型数变为浮点数再相加的情况，就是强制多态的实例。 多态的实现 多态从实现的角度来讲可以划分为两类：编译时的多态和运行时的多态。在C++中，多 态的实现和联编这一概念有关。所谓联编就是把函数名与函数体的程序代码连接（联系）在 一起的过程。静态联编就是在编译阶段完成的联编。编译时的多态是通过静态联编来实现的。静态联编时，系统用实参与形参进行匹配，对于同名的重载函数便根据参数上的差异进行区 分，然后进行联编。从而实现了多态性。运行时的多态是用动态联编实现的。动态联编是运 行阶段完成的联编。即当程序调用到某一函数名时，才去寻找和连接其程序代码，对面向对 象程序设计而言，就是当对象接收到某一消息时，才去寻找和连接相应的方法。 一般而言，编译型语言（如C、PASCAL）都采用静态联编，而解释性语言（如LISP、Prolog）都采用动态联编。静态联编要求在程序编译时就知道调用函数的全部信息，因此， 这种联编类型的函数调用速度很快，效率高，但缺乏灵活性；而动态联编方式恰好相反，采用这种联编方式，一直要到程序运行时才能确定调用哪个函数，它降低了程序的运行效率， 188 PAGE PAGE 189 PAGE PAGE 190 但增强了程序的灵活性。纯粹的面向对象程序语言由于其执行机制是消息传递，所以只能采用动态联编。这就给基于C 语言的C++带来了麻烦。因为为了保持C 语言的高效性，C++仍是编译型的，仍采用静态联编。好在C++的设计者想出了“虚函数”的机制，解决了这个问 题。利用虚函数机制，C++可部分地采用动态联编。这就是说，C++实际上是采用了静态联 编和动态联编相结合的联编方法。 在C++中，编译时多态性主要是通过函数重载和运算符重载实现的。运行时多态性主要是通过虚函数来实现的。函数重载在前面章节中已作了介绍，本章中重点介绍虚函数以及由它们提供的多态性，运算符重载将在下一章介绍。 虚函数 虚函数提供了一种更为灵活的多态性机制。虚函数允许函数调用与函数体之间的联系在运行时才建立，也就是在运行时才决定如何动作，即所谓的动态联编。 虚函数的引入 在引入虚函数的概念之前，我们先看下面的例题： 【例 6.1】虚函数的引例 1 #includeiostream.h class A{ public： void show() { coutA; } }; class B：public A { public： void show() { coutB; } }; main() { A a，*pc; B b; pc=a; pc-show(); pc=b; pc-show(); return 0; } 这个程序的运行结果是：AA，而不是预想的：AB。这个结果说明了这样一个事实：指 向基类对象的指针，也可以指向它的公有派生类的对象。但用这种对象指针调用同名但不同级的成员函数时，