C++语言中多态性的分析

第13卷第1期广州航海高等专科学校学报Vol .13　No .12005年6月JOURNAL OF G UANGZ HOU MAR I TI M E COLLEGEJun .2005文章编号:1009-8526(2005)01-0055-03C++语言中多态性的分析江勇驰(广州航海高等专科学校交通运输管理系,广东广州510725)摘　要:通过分析C++语言多态性的各种形式、特征及其在程序设计中的应用,说明多态性是对相似问题求解的有效方法.关键词:C++;多态性;面向对象;虚函数中图分类号:TP311.1 文献标识码:A　收稿日期:2005-03-10　作者简介:江勇驰(1972-),男,助理馆员,主要从事自动化与计算机的实验教学和管理. C++语言具有数据封装、继承及多态性三大特征[1],多态性同时考虑了类的数据封装与继承关系的设计,是C++最重要的特征.在程序中多态性是指同一符号或名字在不同情况下代表不同但相似的功能[2],是对相似问题的一种求解方法.本文主要分析C++语言的多态性支持在程序设计中的应用.1　实现形式及其应用在C++面向对象程序设计中,实现多态性有两种基本形式:编译时多态性和运行时多态性[3].编译时多态性是指在程序编译阶段即可确定下来的多态性,包括强制多态和重载多态两种形式.运行时多态性是指必须等到程序动态运行时才可确定的多态性,主要通过继承结合动态绑定获得,分别体现在包含多态与类型参数化多态两方面.1.1　强制多态当表达式中存在不同类型的操作数时,为对此表达式进行求值,编译程序需要对其中的部分操作数强制进行类型转换,以保证运算符两边的操作数类型一致,但体现出来的却是完成了不同类型操作数间的运算,这就是C++中的强制多态性.C++中,“1+2”表示整数的加法,“1.0+2.0”表示浮点数的相加,而“1.0+2”需要作类型转换,实际进行浮点数加法,但却表示整数与浮点数的相加.这两种运算的内部实现是不同的,而且效率相差很大,不便用不同的符号表达.同一个运算符“+”可以同时具有不同但相似的运算含义,体现的就是强制多态性[3].C++中规定了基本数据类型之间的转换规则:如果运算符两边的操作数类型运算不一致,则总是将取值范围的最大值较小的类型转换为取值范围的最大值较大的类型,取值范围从大到小分别是:l ong double,double,fl oat,unsigned l ong,l ong,unsigned 和int .正是由于这种多态性,才简化了程序设计,可以按相同的逻辑处理各种数据的加法.不过C ++中,强制多态性是有限的,不能用这一方法去解决许多类似问题.重载多态提供了另外一种途径.1.2　重载多态重载多态主要通过使用重载机制获得,包括函数重载和运算符重载两大类.运算符重载允许重新定义C ++语言已有的运算符,以一种更加自然的方式使用自己定义的类类型.例如,加法运算符“+”表示整数或浮点数的加法,如果用户定义了一个复数类Comp lex,在类定义中对加法运算符“+”进行了重载,定义实现复数相加的操作Co mp lex operat or +(const Comp lex&oth 2er ){...},那么使用复数类声明两个对象Comp lex obj1,obj2;后,就可以直接使用obj1+obj2表示对复数求和的操作,使得程序语言更接近习惯用法.C++语言中颇具典型的例子就是插入符“<<”和提取符“>>”的重载.在C 语言中,利用库函数p rintf ()输出或scanf ()输入时需要用参数指明输出或输入的数据类型方可正确输出或输入,而在C++56　广州航海高等专科学校学报第13卷　中,由于在ostrea m类和istrea m类中大量重载了“< <”和“>>”,C++的内部数据类型编译器能自动判别并正确输入输出,使用起来变得非常方便.如: cout<<"x="<<x<<"y="<<y<<endl;无论x和y是什么类型,都可按上面的语句输出,C++会自动调用合适的运算符满足要求.当然,用户只需定义重载“<<”和“>>”的操作,同样可以象上例那样方便地输入输出自定义的数据类型.函数重载允许程序员用相同的名字定义两个或更多的C++函数,使得语义相似的函数可以用同样的标识符来命名,它是获得多态性的常用途径.例如对构造函数的重载,可使程序对类对象有多种不同的途径进行初始化.C语言不支持函数重载,每一个函数必须具有唯一的名字,不利于处理相似性问题.运用C++提供的函数重载机制,对解决相似问题的函数可使用相同的名字,即进行重载:int abs(int x){...}l ong abs(l ong x){...}double abs(double x){...}函数重载时使用的是静态绑定,编译程序在编译时根据实际参数的个数与相应位置的类型选择调用相关版本的重载函数.这种多态性尤其便利于大型的程序设计.但函数重载适宜在函数实现的语义非常相近时使用,同时应避免产生无法消解的二义性问题.1.3　包含多态在C++中,包含多态性是指相同的函数名出现在不同的类中,而且这样的函数必须是虚函数并以继承为基础的.使用包含多态性必须先设计一个类层次,在类中使用虚函数(这个类叫多态类),结合动态绑定实现[3].根据赋值兼容规则,公有派生类兼容基类,指向基类对象的指针变量可以指向其公有派生类的对象,这就意味着一个公共的消息集既可以被送到基类对象,也可以被送到其公有派生类的对象,那么就可以用一组相同的方法和逻辑来使用这个类层次中不同类中的同名虚函数,而虚函数中定义的具体操作可以是不同的,这是这种多态性的实质.以下是实例:#include<i ostrea m.h>classMe mber{ //成员基类public:virtual v oid showme(){cout<<"I a m a Me m2 ber.\n";return;}};class Teacher:public Me mber{ //由成员类派生出的教师类public:　virtual void showme(){cout<<"I a m a Teacher.\n";return;}};class Student:public Me mber{ //由成员类派生出的学生类public:　virtual void showme(){cout<<"I a m a Student.\n";return;}};void main(){Me mber me m;Teacher tch;Student std;Me mber3who;who=&me m;who->showme();who=&tch;who->showme();who=&std;who->showme()return;};运行结果为:I a m a Me mber.I a m a Teacher.I a m a Student.基类指针who分别指向基类对象和两个不同的派生类对象,运行期间将根据所指对象类型来动态绑定,决定调用哪一个类中定义的showme()虚函数版本.利用虚函数,可在基类和派生类中使用相同的函数名定义函数的不同实现,从而实现“一个接口,多种方式”.当基类中无法给出虚函数的合理定义或软件设计需要构造更高层次的抽象时,可以利用C++提供的纯虚函数来设计包含多态性,含有纯虚函数的类叫抽象类.例如,设计一个多态数据结构,要能存放三角形、矩形、圆等多种图形数据,并提供计算相应图形面积的功能.可以抽取有关图形的共性设计一个基类F I G URE,用纯虚函数描述共同行为:计算面积,再派生出各种图形类给出具体实现方法,用堆栈存放指向图形对象的指针.基类层次如图1所示.图1　基类层次图class F I G URE{...virtual double get_area()= 0;...};//基类中用纯虚函数表示求图形面积　第1期江勇驰:C++语言中多态性的分析57class T R I A NG LE:public F I G URE{　...virtual double get_area(){...}...};//给出计算三角形面积的定义class RECT ANG LE:public F I G URE{　...virtual double get_area(){...}...};//给出计算矩形面积的定义class C I RCLE:public F I G URE{　...virtual double get_area(){...}...};//给出计算圆面积的定义class ST ACK{...struct NODE{F I G URE3ele m;NODE3 link;};...};//堆栈的数据结构由于在堆栈数据中只定义了指向基类的指针,可以指向各种不同类型的图形对象,因此实现了构造多态数据的结构.多态数据结构中的元素类型必须从共同的基类派生出来,它们之间是有联系的. 1.4　类型参数多态C++是一种强类型的语言,参与运算的所有变量的类型在编译时便已确定下来,不同类型的变量所能参加的运算由其所属的类型规定,不能交叉使用.对此,编译程序将进行严格的类型检查以保证编写的程序语法、语义的正确性.但这也带来了一些副作用,例如编制一个将两个数进行交换的程序,尽管任何类型的数进行交换的处理逻辑是一样的,但由于参数的类型不同,只好编制很多相似的函数,增加了程序的重复代码.强类型程序设计语言通常采用类属机制解决这个问题,C++提供类型参数的多态性即模板机制实现类属,这种方法可以直接将数据类型作为类的参数或者函数的参数使用.模板分为类模板和函数模板,是一种抽象的描述,不能直接使用,必须先通过实例化创建某种类型的类或函数,方可使用.下面仅就类模板举例说明://一个简单链表的类模板定义te mp late<class T> //T为类型参数class L I ST{p rivate:T3vect or;int size;public:L I ST(int length){vect or=ne w T[length];size=length;return;}～L I ST(){delete vect or;return;}};它定义了一个具有T类型数据的链表类.T是一个抽象的数据类型,既可代表整型、浮点型,也可代表图形元素、记录类型等等.使用这个类必须实例化:如L I ST<int>;L I ST<fl oat>;需要声明对象时: L I ST<int>obj(100);这样便定义了长度为100数据类型为整型的链表obj.2　结束语多态性是解决相似性问题的有效工具,它简化了繁杂的程序设计逻辑,增强了程序的可读性与可维护性,而且它表明C++语言具有表示和处理更高抽象的能力,使得程序设计可以在更高的层次上进行,为程序的正确性证明和验证提供了方便.在C++语言程序设计中有效地利用多态性,可以提高程序的可扩充性、便捷性以及代码的再用率.参考文献:[1]　蔡明志.Borland C++4.0使用与编程指南[M].北京:清华大学出版社,1994.[2]　王斌君,葛　玮,王靖亚.C++语言与软件的多态性[J].计算机工程与应用,1998,34(10):46-49.[3]　李师贤,李文军,周晓聪.面向对象程序设计基础[M].北京:高等教育出版社,1998.ANALY S I S O N POLYMO RPH I S M O F C++J I AN G Yong2chi(Depart m ent of Trans portati on Manage ment,Guangzhou Mariti m e College,Guangzhou510725,China)Abstract:By analyzing the app licati on as well as the f or m and characteristic of poly mor phis m of C++,this paper holds that poly mor phis m is an efficient method in achieving the s oluti on f or the si m ilar p r oblem s.Key words:C++;poly mor phis m;object2oriented;virtual functi on【责任编辑　王世杰】。