多态性是OOP的一个重要特征,也就是所谓的一个名字多个实现。
多态性分两类:
静态多态性:函数重载和运算符重载实现的多态性属于静态,又称为编译时的多态性
动态多态性:在程序运行过程中才动态确认操作所针对的对象,又称为运行时多态性,通过虚函数实现
虚函数
在同一类中是不能定义两个名字相同,参数个数和类型都相同的函数的。但是在类的继承中,是可以出现名字相同,参数个数和类型都相同的函数。只要通过不同类的命名域区分即可。a.x::function(), a.b::function()
虚函数允许通过基类指针或引用来访问基本和派生类中的同名函数,也就是通过指针调用同名函数,而不是通过对象名。
形式:在最左边加上关键字:virtual
Class Student
{
Public:
Void display();
}
Class Graduate:public Stdent
{
Public:
Void display();
}
Int main()
{
Student stud1;
Graduate grad1;
Student *pt=&stud1;
Pt->display();
Pt=&grad1;
Pt->display();
Return 0;
}
上述程序中,没有将display设置为虚函数,因此将pt指向grad1并调用display时,只会调用基类的display函数,这是因为当指向grad1派生类时,进行指针类型转换,将派生类对象的指针先转换为基类的指针,因此基类指针指向的是派生类对象中的基类部分。
而如果在student类中的display函数前加上virtual,那么在派生类的基类部分中,派生类的虚函数取代了基类原来的虚函数。
虚函数的使用方法:
1.在基类中用virtual声明成员函数为虚函数
2.在派生类中重新定义此函数,要求函数名,函数类型,函数参数个数和类型都要完全一样。
当基类的成员函数声明为虚函数时,派生类中的同名函数都自动成为虚函数。因此在派生类重新声明该虚函数时,可以加virtual也可以不加,一般要加,保证可读性。
3.定义一个指向基类对象的指针变量,通过指针调用虚函数。
通过虚函数和指向基类对象的指针变量的配合使用,能方便调用同一类族不同类对象的同名函数。
虚析构函数
析构函数的作用是进行清理工作,派生类的对象撤销时先调用派生类的析构函数,再调用基类的析构函数,但是如果用new运算符建立了临时对象,用一个基类的指针删除一个派生类的对象,若基类中有析构函数,并定义一个指向该基类的指针变量,那么当用delete撤销对象时,系统只执行基类的析构函数,并不执行派生类的析构函数。
因此一般而言,对于基类都声明析构函数为虚函数,来保证派生类的析构函数能够被调用。
构造函数不能声明为虚函数。因为在执行构造函数时类对象还未完成建立过程,当然谈不上函数与类对象的blinding,也就是绑定。具体原因如下:
1.构造一个对象的时候,必须知道对象的实际类型,而虚函数行为是在运行期间确定实际类型的。而在构造一个对象时,由于对象还未构造成功。编译器无法知道对象 的实际类型
2.虚函数的执行依赖于虚函数表。而虚函数表在构造函数中进行初始化工作,即初始化vptr,让他指向正确的虚函数表。而在构造对象期间,虚函数表还没有被初 始化,将无法进行。
纯虚函数
基类并不用,只是考虑到派生类会用到,因此可以将基类的虚函数声明为纯虚函数
Virtual float function() = 0;
注意:
1纯虚函数没有函数体
2.这是个声明语句,最后应该有分号。
抽象基类
含有纯虚函数的类就是抽象基类,抽象基类负责定义接口。并且我们不能创建抽象基类的对象。