概述
多态性是指为一个函数名关连多种含义的能力。具体来说,多态性指的是通过名为**“晚期绑定”**的一种特殊机制来为函数名称关联多个含义。多态性是面向对象编程的核心概念之一。
晚期绑定
这里先举一个例子来,定义一个基类Figure类,基类中有个成员函数center,作用是将一个图形放在界面中心,具体实现是先调用删除函数,再在中心位置画图形。然而Figure类中含有许多派生类,比如说Circle类、Rectangle类,派生类对从基类中继承的draw函数进行重定义。但是为派生类调用center函数时,center函数内调用的函数还是基类的draw函数(可能还是一个空的函数)。而这时候将基类中的draw设为虚函数,即可解决问题。
虚函数是某种意义上能在定义前使用的函数。用保留字“virtual”将函数声明为虚函数,相当于告诉编译器:“我不知道这个函数如何实现。等它在程序中使用时,再从对象实例(派生类)中获得他的实现。”这种技术称为晚期绑定或动态绑定。而虚函数是一种实现晚期绑定的一种具体的手段。
C++虚函数
在C++中使用顺利使用虚函数,需要掌握如下所示的技术细节:
1、虚函数只需在基类中用virtual声明一次即可,在派生类中会自动添加virtual,但为了程序清晰,最好手动加上关键字virtual。
2、关键字virtual在函数声明中添加,不能在函数定义中添加。
3、只能用关键字virtual声明虚函数。
4、编译器和运行环境要为虚函数做更多的工作,故不要无故将基类成员函数设为虚函数。
虚函数在派生类中发生改变时,我们称函数定义被重写。之前说过重定义的概念。二者都是在派生类中修改函数定义,只是重写更新有关类(ps:主要是基类)中所有同名函数的实现,重定义只是更改派生类函数中的定义。
多态性是指借助晚期绑定技术,为一个函数名关联多种含义的能力。故,多态性,虚函数,晚期绑定表述的是一类的概念。
虚函数和扩展类型的兼容性
C++是强类型语言,即类型会得到检查,类型不匹配(函数调用时)会生成错误信息,但在某些时候,C++会执行自动类型转换,使表面上能够将一种类型的值赋给另一种类型的值。比如说可以将部分int类型的值赋给char类型的值。将这种C++自动执行类型转换称为执