C++学习：多态性

概述

多态性是指为一个函数名关连多种含义的能力。具体来说，多态性指的是通过名为**“晚期绑定”**的一种特殊机制来为函数名称关联多个含义。多态性是面向对象编程的核心概念之一。

晚期绑定

这里先举一个例子来，定义一个基类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++自动执行类型转换称为执