C++是怎么实现多态性的

C++是怎么实现多态性的,C++中多态实现的原理,

当一个类中有虚函数时,系统会为该类构造一个虚函数表vtable,他是一个指针数组,存放每个虚函数的入口地址,编译器还会在此类中隐含插入一个指针vptr指向虚函数表,调用此类的构造函数时,在类的构造函数中,编译器会隐含执行vptr与vtable的关联代码,将vptr指向对应的vtable,将类与此类的虚函数表联系了起来,以后调用虚函数时,就是通过虚函数表调用虚函数,在基类中定义了虚函数之后,在派生类中可以对虚函数惊醒重新定义,赋予它新的功能,然后就可以用指向基类的指针去调用虚函数,此时调用的就是指针变量指向的对象的同名函数。

试图用基类指针去解决二义性问题:行不通,在前面,我们不用虚基类,而是定义一个指向基类的指针,然后每次访问之前对这个指针变量进行赋值,那么这样还会存在二义性的问题吗。好像还是会存在二义性的问题,例如A是共同基类,然后B C是A的直接派生类,然后以B C作为基类派生出D类,那么对于A中的成员函数,D继承了两份,一个是从B继承得到,另一份是用C类继承得到,这个时候你就算是定义一个指向基类的指针,然后把D的地址赋给这个指针变量,那么当用这个指针去调用成员函数的时候,好像还是要加作用于运算符进行限定,要不然你不知道你访问的是派生类D从 B C哪个类中继承的成员函数。所以并不是像你想的那样,用了虚函数之后就根本不用虚基类了,不是的,虚函数是虚函数,虚基类是虚基类,用了虚函数之后还是要用虚基类,要不然还是会存在二义性的问题,

在一个类中保留间接共同基类的多份同名成员,虽然有时是有必要的,可以在不同的数据成员中分别存放不同的数据,也可以通过构造函数分别对他们进行初始化,但是在大多数情况下,这种现象是人们不希望看到的,因为保留多份数据成员的拷贝,不仅占用较多的存储空间,还增加了访问这些成员的困难,容易出错,而且实际上,并不需要有多份拷贝,因此C++提供虚基类的方法,使得在继承间接共同基类时只保留一份成员。

原文链接: https://www.cnblogs.com/cumtchw/p/4726591.html

欢迎关注

微信关注下方公众号,第一时间获取干货硬货;公众号内回复【pdf】免费获取数百本计算机经典书籍

    C++是怎么实现多态性的

原创文章受到原创版权保护。转载请注明出处:https://www.ccppcoding.com/archives/220562

非原创文章文中已经注明原地址,如有侵权,联系删除

关注公众号【高性能架构探索】,第一时间获取最新文章

转载文章受原作者版权保护。转载请注明原作者出处!

(0)
上一篇 2023年2月13日 上午10:57
下一篇 2023年2月13日 上午10:57

相关推荐