C++·多态

定义

派生类的指针可以赋值给基类指针。

通过基类指针调用基类和派生类中的同名虚函数时：

若指向基类，调用基类的虚函数；

若指向派生类，则用派生类的虚函数。

这种机制叫做多态。

（窃以为虚函数就是为了让指向不清时通过所指对象知道要调用哪个。）

通过基类引用同理，也算多态。

使用多态可以增强程序的可扩充性，也方便修改。

多态的实质

父类定义共同接口，子类不同实现。

通过父类以相同的方式操作不同子类的行为。

老爸喊：“冲啊！”

老大骑马冲，老二开车冲。

就这个意思。

语法

函数声明中添加关键字virtual，以表示此是虚函数，写在前后都可以。

static不能是virtual的。

继承下来的虚函数，不用再加virtual，编译器也会认为是virtual的。

public，private之类的访问权限检查是根据指针类型来的，语法检查时不考虑指向。

实现

动态联编

一条函数调用语句在编译时无法确定调用哪个函数，运行到该语句时才确定调用哪个函数。

虚函数表

每个有虚函数的类，都有一个虚函数表，该类的任何对象都放着虚函数表的指针。

虚函数表中列出了该类的虚函数地址。

多态的函数调用语句被编译成一系列根据基类指针所指向的(或基类引用所引用的)对象中存放的虚函数表的地址。

在虚函数表中查找虚函数地址,并调用虚函数。

在构造函数或析构函数中调用虚函数时，是静态联编，就调用自己的。

所以通过基类的指针调用派生类的析构函数时，会调用基类的。

但是删除一个派生类的对象时，应该先调用派生类的析构函数，然后调用基类的析构函数。

解决办法：把基类的析构函数声明为virtual。

不允许构造函数是虚的。

纯虚函数

没有函数体的虚函数

virtual void Print() = 0;//纯虚函数，=0是语法定义。

包含纯虚函数的类叫抽象类。

只能用来派生新类，不能创造对象。

抽象类的指针和引用依然可以指向派生类的对象。

在抽象类的成员函数内可以调用纯虚函数。

但是在析构函数和构造函数内不可以。

一个类从抽象类派生而来，它一定要实现基类中的所有纯虚函数（参数必须一模一样），才能成为非抽象类。