C++ 多态理解

多态

什么是多态????

其实也可以说是一种接口,多种实现方法。

分为静态多态和动态多态。

静态多态分为函数重载和泛型编程,也可以说是静态联编,在编译期间就可以确定了。

函数重载主要是函数的参数列表的不同(数据类型的不同和参数个数的不同)

泛型编程就是建立一个模板,输入不同的数据类型也可以实现想要的功能。

动态多态,也可以说是动态联编,根据虚函数调用不同的函数,根据函数调用的动态绑定。

这是因为每个有虚函数的类或者虚继承的子类,编译器都会为它生成一个虚拟函数表(简称:虚表),表中的每一个元素都指向一个虚函数的地址。(注意:虚表是从属于类的) 

1、构造函数能不能作为虚函数呢?

构造函数的作用我们都知道,是创建对象的,而虚函数的调用是通过对象来进行的,这是矛盾的,所以说构造函数不能声明成虚函数。

2、静态成员函数可以声明成虚函数吗?

如果定义成静态成员函数,那么在这个函数可以通过类名和域作用符来调用,也就是说,不用创建对象就可以调用。

虚表地址的使用必须通过对象的地址才能获取。

重点是:!!!!虚表是通过对象实现的,绕开它或者冲突都会报错

3、析构函数最好声明成虚函数,为什么?

析构函数声明成虚函数的时候,会有效的避免内存泄漏(忘了Delete 子类的析构函数)。

注意:!!!

不要在构造函数和析构函数中调用虚函数!因为在构造函数和析构函数中对象是不完整的,调用虚函数可能会出现未定义的问题!

纯虚函数

您可能想要在基类中定义虚函数,以便在派生类中重新定义该函数更好地适用于对象,但是您在基类中又不能对虚函数给出有意义的实现,这个时候就会用到纯虚函数。

虚表!!!

编译器对每个包含虚函数的类创建一个虚函数表VTABLE,表中每一项指向一个虚函数的地址,即VTABLE表可以看成一个函数指针的数组,每个虚函数的入口地址就是这个数组的一个元素。

每个含有虚函数的类都有各自的一张虚函数表VTABLE。每个派生类的VTABLE继承了它各个基类的VTABLE,如果基类VTABLE中包含某一项(虚函数的入口地址),则其派生类的VTABLE中也将包含同样的一项,但是两项的值可能不同。如果派生类中重载了该项对应的虚函数,则派生类VTABLE的该项指向重载后的虚函数,如果派生类中没有对该项对应的虚函数进行重新定义,则使用基类的这个虚函数地址。

在创建含有虚函数的类的对象的时候,编译器会在每个对象的内存布局中增加一个vptr指针项,该指针指向本类的VTABLE。在通过指向基类对象的指针(设为bp)调用一个虚函数时,编译器生成的代码是先获取所指对象的vtb1指针,然后调用vtb1所指向类的VTABLE中的对应项(具体虚函数的入口地址)。

当基类中没有定义虚函数时,其长度=数据成员长度;派生类长度=自身数据成员长度+基类继承的数据成员长度;

当基类中定义虚函数后,其长度=数据成员长度+虚函数表的地址长度;派生类长度=自身数据成员长度+基类继承的数据成员长度+虚函数表的地址长度。

包含一个虚函数和几个虚函数的类的长度增量为0。含有虚函数的类只是增加了一个指针用于存储虚函数表的首地址。

派生类与基类同名的虚函数在VTABLE中有相同的索引号(或序号)

猜你喜欢

转载自blog.csdn.net/qq_34068766/article/details/81121757