以下内容为本人的著作,如需要转载,请声明原文链接微信公众号「englyf」https://www.cnblogs.com/englyf/p/16631774.html


先说结论:

构造函数不能声明为虚函数,析构函数可以声明为虚函数。

构造函数可以声明为虚函数吗?


虚函数表里都存了些什么东西?不是金,不是银,是对应类里声明为虚函数的成员地址。在编译期,每个类的虚函数表即被分配和生成。同一个类的所有实例对象都是共享这个虚函数表的,那么每个实例对象也就会隐含有一个成员指针变量专门用来存储虚函数表的地址。这个隐含的成员指针变量需要在实例对象初始化后才会指向虚函数表。

很显然,对象不能在没有初始化之前就知道自己对应的虚函数表在哪里,因此也不能在对象初始化之前调用访问虚函数表的内容(虚函数)。是不是在对象初始化之前就不能调用访问这些虚函数成员了?不是这个意思,这里说的不能仅限于通过虚函数表来访问(比如派生后的类实例对象通过父类的指针变量访问调用虚函数成员),也就是动态访问时才需要虚函数表的信息。不过,就算某个成员函数被声明为虚函数时,也可以通过类的静态特性合法访问的,这是无关痛痒的题外话,评价____。

对象的初始化就是依赖于构造函数的执行,首先是找到最上一层父类的构造函数并执行,然后逐层往下执行构造函数,直到执行完当前类(被实例化的类)的构造函数,这个过程不需要虚函数表的任何信息,在编译期就确定了所有需要的信息了。在构造函数执行之前,对象还无法确定自身的虚函数表在哪里,又怎么从虚函数表里查找对应的虚构造函数呢?如果把构造函数声明为虚函数,那么意义在哪儿呢?想来想去,可能费劲打造出一把刀刃能削铁如泥的好刀,却只是在需要敲钉子时,想起用这把刀的刀背。

所以,很明显构造函数不能声明为虚函数。

析构函数可以声明为虚函数吗?


先看下面的代码,析构函数不声明为虚函数时,

#include <iostream>
using namespace std; class Base
{
public:
Base() {
cout << "Base constructor" << endl;
}
~Base() {
cout << "Base destructor" << endl;
}
}; class Derived : public Base
{
public:
Derived() {
cout << "Derived constructor" << endl;
}
~Derived() {
cout << "Derived destructor" << endl;
}
}; class Derived_again : public Derived
{
public:
Derived_again() {
cout << "Derived_again constructor" << endl;
}
~Derived_again() {
cout << "Derived_again destructor" << endl;
}
}; int main()
{
Base *obj = new Derived();
cout << "----" << endl;
delete obj;
return 0;
}

看看编译后执行的结果(这里用的编译器是g++)

Base constructor
Derived constructor
----
Base destructor

从上面的输出来看,类Derived的析构函数没有被调用到,这会导致典型的问题--内存泄漏。

然后把所有析构函数声明为虚函数,重新编译再看看执行结果

Base constructor
Derived constructor
----
Derived destructor
Base destructor

可以看到,需要调用的析构函数都调用了。

那么怎么去理解上面这段代码的执行逻辑呢?

delete obj;

销毁对象时,系统执行的逻辑有两种情况。

一种是,如果析构函数没有被声明为虚函数时,那么在指针obj指向的对象的虚函数表里,是找不到虚析构函数的。由于系统无法往下查找派生类的内容,而且变量obj被声明为某个类(上面代码对应的是Base)的指针类型,那么系统就转为调用这个类(Base)的成员析构函数,这里利用的是静态特性。

另一种是,如果析构函数被声明为虚函数时,先在指针obj指向的对象的虚函数表里,尝试寻找当前对象obj的虚析构函数,找到后执行它。对应代码,被实例化的类是Derived,对象obj的虚析构函数地址应该指向类Derived的成员析构函数。

上面两种情况中,找到第一个析构函数并执行后,会按照静态特性(也就是按照编译期生成的信息),逐层往上一层父类查找成员析构函数并执行,直到最上一层的父类的析构函数被执行完毕为止。

于是,第一种情况下,类Derived的成员析构函数被漏掉执行了,这会导致类Derived所申请的资源没有对应的析构函数来执行释放,内存泄漏发生地那么顺理成章。

可以看到,动态特性可以把事情玩得妥妥当当,面向对象的高级感可能就来自这里。

总结一下,很明显,析构函数可以声明为虚函数,但不是必须。某些情况下,也是必须的,比如,当类指针指向的是该类的子类实例时,析构函数必须声明为虚函数,以防止内存泄漏。

刨析一下C++构造析构函数能不能声明为虚函数的背后机理?的更多相关文章

  1. (C++)浅谈多态基类析构函数声明为虚函数

    主要内容: 1.C++类继承中的构造函数和析构函数 2.C++多态性中的静态绑定和动态绑定 3.C++多态性中析构函数声明为虚函数 1.C++类继承中的构造函数和析构函数 在C++的类继承中, 建立对 ...

  2. 从零开始学C++之虚函数与多态(一):虚函数表指针、虚析构函数、object slicing与虚函数

    一.多态 多态性是面向对象程序设计的重要特征之一. 多态性是指发出同样的消息被不同类型的对象接收时有可能导致完全不同的行为. 多态的实现: 函数重载 运算符重载 模板 虚函数 (1).静态绑定与动态绑 ...

  3. C++多态性中基类析构函数声明为虚函数

    在用基类指针指向派生类时, 在基类析构函数声明为virtual的时候,delete基类指针,会先调用派生类的析构函数,再调用基类的析构函数. 在基类析构函数没有声明为virtual的时候,delete ...

  4. C++ 构造函数和析构函数的调用顺序、虚析构函数的作用

    构造函数和析构函数的调用顺序 构造函数的调用顺序: 当建立一个对象时,首先调用基类的构造函数,然后调用下一个派生类的构造函数,依次类推,直至到达最底层的目标派生类的构造函数为止. 析构函数的调用书序: ...

  5. C++ 析构函数为虚函数

    1.原因: 在实现多态时, 当用基类指针操作派生类, 在析构时候防止只析构基类而不析构派生类. 2.例子: (1). #include<iostream> using namespace ...

  6. C++箴言:避免构造或析构函数中调用虚函数

    如果你已经从另外一种语言如C#或者Java转向了C++,你会觉得,避免在类的构造函数或者析构函数中调用虚函数这一原则有点违背直觉.但是在C++中,违反这个原则会给你带来难以预料的后果和无尽的烦恼. 正 ...

  7. C++中的new/delete、构造/析构函数、dynamic_cast分析

    1,new 关键字和 malloc 函数区别(自己.功能.应用): 1,new 关键字是 C++ 的一部分: 1,如果是 C++ 编译器,则肯定可以用 new 申请堆空间内存: 2,malloc 是由 ...

  8. C++中为什么要将析构函数定义成虚函数

    构造函数不可以是虚函数的,这个很显然,毕竟虚函数都对应一个虚函数表,虚函数表是存在对象内存空间的,如果构造函数是虚的,就需要一个虚函数表来调用,但是类还没实例化没有内存空间就没有虚函数表,这根本就是个 ...

  9. C++析构函数定义为虚函数(转载)

    转载:http://blog.csdn.net/alane1986/article/details/6902233 析构函数执行时先调用派生类的析构函数,其次才调用基类的析构函数.如果析构函数不是虚函 ...

随机推荐

  1. 小样本利器2.文本对抗+半监督 FGSM & VAT & FGM代码实现

    小样本利器2.文本对抗+半监督 FGSM & VAT & FGM代码实现 上一章我们聊了聊通过一致性正则的半监督方案,使用大量的未标注样本来提升小样本模型的泛化能力.这一章我们结合FG ...

  2. Integer.MAX_VALUE 和 Integer.MIN_VALUE

    在源码中可以看出其对应的值 Integer.MAX_VALUE是2^31 -1 = 2147483647 Integer.MIN_VALUE是-2^31 =  -2147483648

  3. # Vue3 setup 函数

    Vue3 setup 函数 vue2 和 vue3 开发的区别 首先,目前来说 vue3 发布已经有一段时间了,但是呢,由于还处于优化完善阶段,对于 vue3 开发项目的需求不是很高,主要还是以 vu ...

  4. Docker — 从入门到实践PDF下载(可复制版)

    0.9-rc2(2017-12-09)修订说明:本书内容将基于DockerCEv17.MM进行重新修订,计划2017年底发布0.9.0版本.旧版本(Docker1.13-)内容,请阅读docker-l ...

  5. 微服务远程Debug,Nocalhost + Rainbond微服务开发第二弹

    之前的文章中我们介绍了如何通过 Nocalhost 快速开发 Rainbond 上的微服务,介绍了基本的开发流程. 本文将续接上文继续介绍,使用 Nocalhost 开发配置文件 实现以下内容: 一键 ...

  6. PTA(BasicLevel)-1031 查验身份证

    一.问题定义 一个合法的身份证号码由17位地区.日期编号和顺序编号加1位校验码组成.校验码的计算规则如下:首先对前17位数字加权求和,权重分配为:{7,9,10,5,8,4,2,1,6,3,7,9,1 ...

  7. PoweJob高级特性-MapReduce完整示例

    由于网上搜索 PowerJob MapReduce 都是设计原理,demo也展示个空壳子,没有演示Map到Reduce结果怎么传递,对于没有MR开发经验的人来说并没有什么帮助,所以这里写了一个有完整计 ...

  8. mongodb 数据块迁移的源码分析

    1. 简介 上一篇我们聊到了mongodb数据块的基本概念,和数据块迁移的主要流程,这篇文章我们聊聊源码实现部分. 2. 迁移序列图 数据块迁移的请求是从配置服务器(config server)发给( ...

  9. [ERROR] Another process with pid 914 is using unix socket file.

    mysql启动报错 1.首先到mysql的配置文件中,确定socket文件路径 vim /etc/my.cnf 2.删除mysql.sock.lock 3.启动mysql

  10. HtmlAgilityPack中使用xpath获取属性值

    HtmlAgilityPack介绍 HtmlAgilityPack是一个专门用来解析Html的库,它可以使用xml的方式来解析html. 有人说了,html本身不就是xml?是的,html就是xml, ...