详解C++ 多态的实现及原理分享!

在C++的标准规格说明书中说到,编译器必需要保证虚函数表的指针存在于对象中最前面的位置(这是为了保证正确取到虚函数的偏移量)。这意味着我们通过对象实例的地址得到这张虚函数表,然后就可以遍历其中函数指针,并调用相应的函数。也就是说这四个字节的指针,代替了上图中(p->*pfn)()的作用,指向了函数指针,也就是说,在使用了虚函数的父类成员函数,虽然写的还是p->AA(),实际上却是,(p->*(vfptr[0])),而指向哪个虚函数表就由,创建的对象来决定

详解C++ 多态的实现及原理

至此,就能理解如何用虚函数这个机制来实现多态的了

下面,我将分别说明“无覆盖”和“有覆盖”时的虚函数表的样子。没有覆盖父类的虚函数是毫无意义的。我之所以要讲述没有覆盖的情况,主要目的是为了给一个对比。在比较之下,我们可以更加清楚地知道其内部的具体实现。

无虚数覆盖

下面,再让我们来看看继承时的虚函数表是什么样的。假设有如下所示的一个继承关系:

详解C++ 多态的实现及原理

请注意,在这个继承关系中,子类没有重载任何父类的函数。那么,在派生类的实例中,Derive d; 的虚函表:

详解C++ 多态的实现及原理

我们可以看到下面几点:

1)虚函数按照其声明顺序放于表中。

2)父类的虚函数在子类的虚函数前面。

有虚数覆盖

覆盖父类的虚函数是很显然的事情,不然,虚函数就变得毫无意义。下面,我们来看一下,如果子类中有虚函数重载了父类的虚函数,会是一个什么样子?假设,我们有下面这样的一个继承关系。

详解C++ 多态的实现及原理

为了让大家看到被继承过后的效果,在这个类的设计中,我只覆盖了父类的一个函数:f()。那么,对于派生类的实例,其虚函数表会是下面的一个样子:

详解C++ 多态的实现及原理

我们从表中可以看到下面几点,

1)覆盖的f()函数被放到了虚表中原来父类虚函数的位置。

2)没有被覆盖的函数依旧。

这样,我们就可以看到对于下面这样的程序,

Base *b = new Derive();

b->f();

由b所指的内存中的虚函数表的f()的位置已经被Derive::f()函数地址所取代,于是在实际调用发生时,是Derive::f()被调用了。这就实现了多态。

总结

以上所述是小编给大家介绍的c++语言虚函数实现多态的原理,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对<计算机技术网(www.ctvol.com)!!>网站的支持!
如果你觉得本文对你有帮助,欢迎转载,烦请注明出处,谢谢!

—-想了解详解C++ 多态的实现及原理分享!全部内容且更多的C语言教程关注<计算机技术网(www.ctvol.com)!!>

本文来自网络收集,不代表计算机技术网立场,如涉及侵权请联系管理员删除。

ctvol管理联系方式QQ:251552304

本文章地址:https://www.ctvol.com/c-cdevelopment/483068.html

(0)
上一篇 2020年11月9日
下一篇 2020年11月9日

精彩推荐