虚函数的多态性机制分析.docVIP

虚函数的多态性机制分析 　　摘要：在面向对象程序设计中，继承性映射了现实世界中事物之间的层次现象，而多态性则是映射事物自身行为的多外延现象；虚函数可以实现不同的对象在收到相同的消息时，产生不同的动作。重载是同一对象在收到相同的消息时，产生不同的动作。该文对虚函数的多态性机制进行深入分析，提出用虚函数实现多态性的四项法则。 　　关键词：动态联编；虚函数；多态性 　　中图分类号：TP312文献标识码：A文章编号：1009-3044(2011)13-3089-03 　　The Analyze to Polymorphphism of Virtual Function 　　LI Qiang, WU Yuan 　　(Economic Department, South China Normal University ZC College, Guangzhou 512000, China) 　　Abstract: In Object-Oriented Programming,the Inheritance reflects things of herarchical phenomenon in real world,but thePolymorphphism reflects the phenomenon of external multi-appearance of things itself.The virtual function can occur distinct motion by receiving same message in distinct objects.Overloading can occur distinct motion by receiving same message in same objects.This paper analyses deeply to the Polymorphphism and proposes four rules about the realization of Polymorphphism. 　　Key words: dynamic co-compiling; virtual function; polymorphphism 　　1 面向对象程序设计的多态性 　　在C++中，把类看作类型，把以public方式继承的派生类看作是基类的子类型。从而产生了多态性，其主要表现形式是： 　　1) 派生类对象的类型不但可以是派生类，也可以是基类，也就是说，一个对象可以属于多种类型。 　　2) 基类的指针可以指向基类对象，也可以指向派生类对象；基类的引用可以引用基类对象，也可以引用派生类对象。即一个对象标识符可以属于多种类型，它可以标识多种对象。 　　3) 一个消息可以发送到基类对象，也可以发送到派生类对象，从而可能会得到不同的解释，引起不同的动作，产生不同的效果。 　　C++可以支持两种多态性：静态多态性和动态多态性。我们知道，程序在运行前的编译连接阶段会根据源程序中的要调用的函数名用物理地址取而代之，我们称为静态联编，它支持的多态性称为静态多态性。在调用重载函数时，编译程序在编译阶段就确定了应该调用哪个函数。动态联编是在程序运行当中才完成的联编。比如，一个具有多态性的函数运行当中得到了具体对象，该函数这时才可能与某个正确的函数联系起来。动态联编支持的多态性称为动态多态性。 　　虚函数机制就是用来实现动态多态性的利器，我们可以通过基类的指针或引用来访问派生类中对基类重定义的成员函数，之就是运行时多态即动态多态性。 　　2 虚函数 　　有了虚函数，就使得动态联编成为可能，就可以在基类和派生类之间实现动态多态性。 　　我们在程序代码中使用virtual来指明某个成员函数是虚函数。 　　虚函数的定义格式： 　　virtual 〈返回值类型〉〈函数名〉（〈形式参数表〉） 　　{ 　　 　　} 　　其中，virtual是关键字，它定义该函数是虚函数。 　　如果编程者把某类中的一个或多个成员函数定义为虚函数，那么该成员函数在派生类中必有不同的实现代码。包含虚函数的基类生成派生类时，派生类重新定义该虚函数为自己的目的服务。假设一个类函数的调用并不能在编译时刻被静态地确定，而只能是在运行时刻被确定，即编写代码的时候并不能确定被调用的是基类的函数还是哪个派生类的函数，必须由系统在运行当中动态地判定，那么就要选择虚函数机制了。一句话，虚函数机制是动态联编的基础，是实现动态多态性的前提。 　　例1 以下程序演示静态联编，该程序虽能顺利通过编译，但却得到错误的结果。 　　//程序 例子.cpp 　　//静态联编的问题 　　#include 　　c