多态性:同一操作作用于不同的对象,可以有不同的解释,产生不同的执行结果。
要理解多态,首先要了解程序的执行过程:
1. 源程序通过编译生成的可执行文件是放在外存中的,程序中的变量和函数只有逻辑地址。
2. 程序运行时,程序从外存加载到内存,为程序中的变量和函数分配物理内存单元,使其具备物理地址。物理地址与变量名、函数名建立一一映射,物理地址与逻辑地址建立映射的过程称为绑定。
3. 程序的加载分为静态加载和动态加载。
多态性具体体现在运行和编译两个方面:
运行时多态,又称动态多态或者晚绑定,通过虚函数、抽象类、接口来实现;
编译时多态,又称静态多态或者早绑定,通过运算符重载、函数重载、模板来实现。
4. 程序加载完毕,并分配了运行所需的所有资源后,程序开始运行。
实现运行时的多态需要满足3个条件:
1. 基类与派生类之间为public继承
2. 基类函数声明为虚函数
3. 通过基类指针或引用调用虚函数
派生类的虚函数重写或者覆盖了基类的同名虚函数。
非类的成员函数,类的静态成员函数,类的构造函数不能为虚函数,但析构函数可以为虚函数。
将基类的析构函数定义为虚函数后,当通过基类指针删除指向派生类的动态对象时,系统会调用相应的类的析构函数,如果不将基类的析构函数定义为虚函数,则只会调用基类的析构函数。
抽象类:
含有纯虚函数的类称为抽象类,或者成为抽象基类。
抽象类不能实例化,但是可以声明抽象类的指针或引用。通过抽象类的指针或引用指向不同的子类对象。