2012年C++专家进阶之三

本文探讨了为何C++中的构造函数不能被声明为虚函数,并通过两种方式进行了反证:一是利用覆盖概念揭示构造过程中的矛盾;二是从虚函数实现原理出发,指出在对象实例化前无法获取虚函数表。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

2012C++专家进阶之三

问题:为什么构造函数不能是虚函数

方法:反证法

证明:假设构造函数是虚拟函数。

方法一:通过覆盖的概念来进行反证

如果派生类或者说子类,写成和基类、父类一模一样的函数,也就是函数说,名称相同,而且参数也相同。

注意:基类是虚函数,是带关键字virtual的。

满足覆盖的条件:

1.分属于不同类,子类与基类;

2.基类的函数带virtual关键字;

3.函数名称相同;

4.参数也相同;

 

根据构造函数实现,总是先构造基类对象,但是又根据《2012C++专家进阶之二》,子类的构造函数又将覆盖基类的构造函数,将造成无法构造基类对象,从而出错。矛盾!

方法二:通过虚函数的实现原理来是反证

  理论:虚函数是通过访问一张虚函数表(Virtual Table,简称VTable)来实现的。VTable存储的是对象实例的内存空间信息,也就是各个虚函数的地址信息。

既然构造函数是虚函数,那么就需要访问VTable表,可是对象都还没有实例化,内存空间都还没有申请分配呢,内存空间都还没有,又去哪儿找VTable表?矛盾!

 

   也就是说VTable虚函数表是在构造函数调用之后,才生成的。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

打赏作者

littletigerat

你的鼓励将是我创作的最大动力

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

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

打赏作者

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

抵扣说明:

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

余额充值