前言

搜集网络上各类面试题,并记录答案(非标准答案)。

1. 多态,多态的实现,派生类虚表的布局是怎样的

在面向对象语言中,接口的多种不同的实现方式即为多态。

C++中,实现多态有以下方法:虚函数,抽象类,覆盖,模板(重载和多态无关)。

基类:父类;派生类:子类。


实现多态三点:
1.必须最少两个类,而且必须是继承
2.必须函数是虚函数(同名,同参,同返回类型)
3.通过基类的指针或引用来实现


一个类里边无论有多少个虚函数,虚表指针 __vfptr 只会有一个,占四个字节

虚表中有两部分内容:1、虚函数的地址;2、虚函数

虚函数的地址总是以0x00000000作为结束


下面从4种情况对虚表进行详细的理解:

1、在单继承没有覆盖的情况下,子类的虚表会紧跟父类的虚表(虚函数按照声明顺序放于表中)。

2、在单继承有覆盖的情况下,覆盖的子类会替代原先父类虚表的位置,其余的子类虚表会紧跟父类。

3、在多继承没有覆盖的情况下,子类的虚表会紧跟第一个父类的虚表,其他的父类虚表中不会出现子类的虚表。

4、在多继承有覆盖的情况下,覆盖的子类会替代所有父类同名虚函数在虚表中的位置,其余的子类虚表会紧跟第一个父类的虚表。


基类的指针和引用调动派生类的虚函数,并不是访问的是派生类的虚函数,而是访问基类中被派生类覆盖的虚函数。

所以访问的位置还是在基类中,并没有进入派生类,这也是多态的实质。


参考:多态的实现原理分析—-虚表