1、 多态基础
多态的实现效果
多态:同样的调用语句有多种不同的表现形态;
多态实现的三个条件
有继承、有virtual重写、有父类指针(引用)指向子类对象。
多态的C++实现
virtual关键字,告诉编译器这个函数要支持多态;不要根据指针类型判断如何调用;而是要根据指针所指向的实际对象类型来判断如何调用
多态的理论基础
动态联编PK静态联编。根据实际的对象类型来判断重写函数的调用。
多态的重要意义
设计模式的基础。
实现多态的理论基础
函数指针做函数参数
2、C++中多态的实现原理
当类中声明虚函数时,编译器会在类中生成一个虚函数表
虚函数表是一个存储类成员函数指针的数据结构
虚函数表是由编译器自动生成与维护的
virtual成员函数会被编译器放入虚函数表中
存在虚函数时,每个对象中都有一个指向虚函数表的指针(vptr指针)
说明1:
通过虚函数表指针VPTR调用重写函数是在程序运行时进行的,因此需要通过寻址操作才能确定真正应该调用的函数。而普通成员函数是在编译时就确定了调用的函数。在效率上,虚函数的效率要低很多。
说明2:
出于效率考虑,没有必要将所有成员函数都声明为虚函数3、构造函数中能调用虚函数,实现多态吗?why?
对象在创建的时,由编译器对VPTR指针进行初始化
只有当对象的构造完全结束后VPTR的指向才最终确定
父类对象的VPTR指向父类虚函数表
子类对象的VPTR指向子类虚函数表
故构造函数中调用多态函数,不能实现多态。
4、为什么要定义虚析构函数
定义在Parent类中虚析构函数:virtual ~Parent()
{
cout<<"调用父类虚析构函数"<<endl;
}
定义释放内存的函数:
void howtoDel(Parent *pbase)
{
delete pbase;
}
测试函数:
void Test()
{
Child *pc1 = new Child();
howtoDel(pc1);
}
如果不在析构函数前面加上virtual关键字,则函数执行最后只调用父类的析构函数,加上后则先调用子类的析构函数,再调用父类的析构函数。
结论:
使用virtual关键字后可以通过父类指针,把所有的子类析构函数都执行一遍。