在父类的构造函数中调用虚函数为什么不能实现多态

欢迎点击「算法与编程之美」↑关注我们!

本文首发于微信公众号:"算法与编程之美",欢迎关注,及时了解更多此系列文章。

问题描述

大家都知道在面向对象语言中,多态实际上就是接口的多种不同的实现方式,而虚函数实现多态的机制就是通过指向派生类的基类指针或引用,访问派生类中同名覆盖的成员函数。那么有人知道为什么在父类的构造函数中调用了虚函数却不能实现多态吗?

问题分析

在最初接触到这个问题的时候,也很茫然,好像都知道不能在父类的构造函数里通过调用虚函数来实现多态,但是至于为什么还真的没有想过。但是遇到了这个问题不能不解决呀,所以又要开始发扬打破砂锅问到底的“好品质”了。

首先在查看虚函数实现多态的方法描述里就能知道,虚函数之所以能实现多态完全得益于vptr指针和虚函数表,那么vptr指针到底是什么?虚函数表又是什么?他们之间又有什么关系呢?

解决方案

vptr指针:当类中声明虚函数时,编译器就会在类中自动生成一个虚函数表,同时编译器会在类实例化对象时在对象中加入vptr指针,且指向这个虚函数表。

虚函数表:其实虚函数就是是通过一张虚函数表来实现的,简称为V-Table。在这个表中,主要是一个类的虚函数的地址,这张表解决了继承、覆盖的问题,保证其真实反应实际的函数。这样,当用父类的指针来操作一个子类的时候,这张虚函数表就显得尤为重要了,它就像一个地图一样,指明了实际所应该调用的函数。

因为vptr指针变量是在构造函数中进行初始化的,且初始化过程为:首先对象在创建的时,由编译器对VPTR指针进行初始化 ,只有当对象的构造完全结束后VPTR的指向才最终确定。

所以当构造函数被调用时,编译器生成的VPTR指针只能产生通向它自己的虚函数表的调用,而不是指向最后派生的虚函数表,因为所有构造函数只有被调用后才会有最后派生的虚函数表,且不能知道有哪些子类继承自该父类。

所以这就是为什么在父类构造函数中调用虚函数不能实现多态的原因。

更多精彩文章:

 where2go 团队


   

微信号:算法与编程之美          

640?wx_fmt=jpeg

长按识别二维码关注我们!

温馨提示:点击页面右下角“写留言”发表评论,期待您的参与!期待您的转发!

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

算法与编程之美

欢迎关注『算法与编程之美』

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值