多态性( polymorphisn )是允许你将父对象设置成为和一个或更多的他的子对象相等的技术,赋值之后,父对象就可以根据当前赋值给它的子对象的特性以不同的方式运作。简单的说,就是一句话:允许将子类类型的指针赋值给父类类型的指针。 实现多态,有二种方式,覆盖,重载。 覆盖,是指子类重新定义父类的虚函数的做法。 重载,是指允许存在多个同名函数,而这些函数的参数表不同(或许参数个数不同,或许参数类型不同,或许两者都不同)。 其实,重载的概念并不属于 “ 面向对象编程 ” ,重载的实现是:编译器根据函数不同的参数表,对同名函数的名称做修饰,然后这些同名函数就成了不同的函数(至少对于编译器来说是这样的)。如,有两个同名函数: function func(p:integer):integer; 和 function func(p:string):integer; 。那么编译器做过修饰后的函数名称可能是这样的: int_func 、 str_func 。对于这两个函数的调用,在编译器间就已经确定了,是静态的(记住:是静态)。也就是说,它们的地址在编译期就绑定了(早绑定),因此,重载和多态无关!真正和多态相关的是 “ 覆盖 ” 。当子类重新定义了父类的虚函数后,父类指针根据赋给它的不同的子类指针,动态(记住:是动态!)的调用属于子类的该函数,这样的函数调用在编译期间是无法确定的(调用的子类的虚函数的地址无法给出)。因此,这样的函数地址是在运行期绑定的(晚邦定)。结论就是:重载只是一种语言特性,与多态无关,与面向对象也无关!引用一句 Bruce Eckel 的话: “ 不要犯傻,如果它不是晚邦定,它就不是多态。 ” 那么,多态的作用是什么呢?我们知道,封装可以隐藏实现细节,使得代码模块化;继承可以扩展已存在的代码模块(类);它们的目的都是为了 —— 代码重用。而多态则是为了实现另一个目的 —— 接口重用!多态的作用,就是为了类在继承和派生的时候,保证使用 “ 家谱 ” 中任一类的实例的某一属性时的正确调用。
习题1: 输出程序运行结果。 class A
分析:
1、声明了一个A类指针pA;
2、实例了一个B类对象b;(执行默认构造函数,先父类A的构造,调fun(0),是虚函数,但是在基类构造时,所有虚函数都不虚;后子类的构造函数,无)
3、const A类指针pcA;
4、基类指针pA指向派生类对象;
5、基类的指针指向派生类对象:那么该指针只能够调用基类所定义的函数,如果基类中没有该函数,则报错,如果有且非虚则调基类该函数(不管派生类中该函数情况),但是如果该函数为虚函数,引发了动态绑定,到派生类中去找是否重写了该函数,重写则调用该派生类自己的成员函数,没重写则仍调用基类的该函数。
基类有,虚,派生类中也有,调派生类的。
6、基类的func(char *str)不是虚函数,所以调A的。
7、A()实例一个临时A类对象,调A的默认构造,.func(1)调A的,因为这个对象就是个A类对象,不因为是虚函数就必须调派生类重写函数。
8、const A类指针pcA指向派生类B对象b;
9、虽然基类对应函数是虚,但是派生类B类并没有对其进行重写,所以还是输出A类的。
----------------------------------------------------------
答案:
A1 :0
B2 :1
A3 :(test) //第6句输出
A1 :0
A1 :1
A2 :2
|
08-18