条款07 为多态基类声明virtual析构函数

2024-08-28 04:32

本文主要是介绍条款07 为多态基类声明virtual析构函数,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

总结

        (1)任何带有虚函数的类都几乎确定应该定义一个虚析构函数。一个经验是:只有当类含有至少一个virtual函数才会为它声明virtual析构函数。

       (2)如果一个类不含有virtual函数,通常表示它并不意图作为基类;当类不意图作为基类,令其析构函数为virtual是个馊主意。因为有虚函数,该类就要有指向虚函数 表的指针,这样的话,类对象的体积就会增大(参考sizeof计算类的大小)。

       (3)作为基类的类应该具有析构函数,以保证在删除(指向动态分配对象的)基类指针时,根据指针实际指向的对象所属的类型运行适当的析构函数。


为多态基类声明虚析构函数

         用于多态用途的继承中,如果没有为基类声明virtual析构函数会引发问题,看下面的代码。

class A {
public:A() {	cout << "A()" << endl; }~A() {	cout << "~A()" << endl;	}//virtual ~A() {	cout << "~A()" << endl;	}virtual void a() {	cout << "function in A" << endl;	}
};class B:public A {
public:B() { cout << "B()" << endl;	}~B() {	cout << "~B()" << endl;	}
};
int main() {A *pa = new B;delete pa;return 0;
}

运行的结果是:

          问题出现在:基类A的指针指向了派生类B的对象,而该对象由一个基类指针delete,此时的基类含有的是非虚的析构函数,这会导致灾难。因为C++指出,当派生类对象经由一个基类指针删除,而基类带有的是非虚的析构函数,其结果是未定义的——实际执行时通常发生的是对象的派生成分没有被销毁,然而基类部分却被销毁了,正如代码中所示,A的析构函数调用了,但是派生类B的析构函数没有被调用。于是这是一个诡异的“局部销毁”的问题,会导致内存泄露,败坏数据结构,在调试时浪费时间。

        解决方法为基类添加一个virtual析构函数,这样,通过基类指针销毁派生类对象就会将会调用派生类的构造函数,那么会将整个对象销毁。将基类A的析构函数改为注释处所示的虚析构函数,那么执行结果如下图所示。

总结

        (1)任何带有虚函数的类都几乎确定应该定义一个虚析构函数。一个经验是:只有当类含有至少一个virtual函数才会为它声明virtual析构函数。

          (2)如果一个类不 含有virtual函数,通常表示它并不意图作为基类;当类不意图作为基类,令其析构函数为virtual是个馊主意。因为有虚函数,该类就要有指向虚函数 表的指针,这样的话,类对象的体积就会增大(参考sizeof计算类的大小)。


如果类目的不是作为基类或不是为了具备多态性,就不要声明虚析构函数

         上述的为基类声明一个虚析构函数只适用于多态基类上。这种类的设计目的是通过基类接口处理派生对象。但并不是所有基类设计的目的都是为了多态用途。如表中string和STL容器都不是设计作为基类使用,更不要提多态了。因此他们不需要虚析构函数。

        如果你试图继承一个没有任何虚析构函数的类,包括STL容器如vector,list,unordered_map等,容易导致错误。


不要将构造函数或赋值操作符声明为虚函数

        在复制控制成员中,只有析构函数应该定义为虚函数,构造函数不能定义为虚函数
        构造函数是在对象完全构造之前运行的,在构造函数运行的时候,对象的动态类型还不完整。虚函数是在基类指针或引用执行派生类对象时起的作用不同,现在构造函数执行时,对象并没有构造出来,那么肯定不可能使用虚函数完成动态绑定。编译器不允许将构造函数声明为virtual的
        虽然可以在基类中将成员函数operator=定义为虚函数,但这样做并不影响派生类中使用的赋值操作符。每个类有自己的赋值操作符,派生类中的赋值操作符有一个与类本身类型相同的形参,该类型必须不同于继承层次中任意其他类的赋值操作符的形参类型。
        将赋值操作符符设为虚函数可能会令人混淆,而且没什么用。因为虚函数必须在基类和派生类中具有相同的形参,而派生类中赋值操作符应该有一个与派生类自己类本身类型相同的形参(而不是一个基类形参)。基类赋值操作符有一个形参是自身类类型的引用,如果该操作符为虚函数,则每个类都将得到一个虚函数成员,该成员定义了参数为一个基类对象的operator=,但是,对派生类而言,这个操作符与赋值操作符是不同的。

       这里将了为什么基类的析构应该为虚、构造和赋值操作符为什么不能为虚,参考文章:条款09 绝不在构造和析构过程中调用virtual函数,看看为什么不能在构造或析构函数中调用虚函数。

这篇关于条款07 为多态基类声明virtual析构函数的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1113736

相关文章

hdu1171(母函数或多重背包)

题意:把物品分成两份,使得价值最接近 可以用背包,或者是母函数来解,母函数(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v)(1 + x^v+x^2v+.....+x^num*v) 其中指数为价值,每一项的数目为(该物品数+1)个 代码如下: #include<iostream>#include<algorithm>

C++操作符重载实例(独立函数)

C++操作符重载实例,我们把坐标值CVector的加法进行重载,计算c3=c1+c2时,也就是计算x3=x1+x2,y3=y1+y2,今天我们以独立函数的方式重载操作符+(加号),以下是C++代码: c1802.cpp源代码: D:\YcjWork\CppTour>vim c1802.cpp #include <iostream>using namespace std;/*** 以独立函数

函数式编程思想

我们经常会用到各种各样的编程思想,例如面向过程、面向对象。不过笔者在该博客简单介绍一下函数式编程思想. 如果对函数式编程思想进行概括,就是f(x) = na(x) , y=uf(x)…至于其他的编程思想,可能是y=a(x)+b(x)+c(x)…,也有可能是y=f(x)=f(x)/a + f(x)/b+f(x)/c… 面向过程的指令式编程 面向过程,简单理解就是y=a(x)+b(x)+c(x)

JavaSE——封装、继承和多态

1. 封装 1.1 概念      面向对象程序三大特性:封装、继承、多态 。而类和对象阶段,主要研究的就是封装特性。何为封装呢?简单来说就是套壳屏蔽细节 。     比如:对于电脑这样一个复杂的设备,提供给用户的就只是:开关机、通过键盘输入,显示器, USB 插孔等,让用户来和计算机进行交互,完成日常事务。但实际上:电脑真正工作的却是CPU 、显卡、内存等一些硬件元件。

利用matlab bar函数绘制较为复杂的柱状图,并在图中进行适当标注

示例代码和结果如下:小疑问:如何自动选择合适的坐标位置对柱状图的数值大小进行标注?😂 clear; close all;x = 1:3;aa=[28.6321521955954 26.2453660695847 21.69102348512086.93747104431360 6.25442246899816 3.342835958564245.51365061796319 4.87

OpenCV结构分析与形状描述符(11)椭圆拟合函数fitEllipse()的使用

操作系统:ubuntu22.04 OpenCV版本:OpenCV4.9 IDE:Visual Studio Code 编程语言:C++11 算法描述 围绕一组2D点拟合一个椭圆。 该函数计算出一个椭圆,该椭圆在最小二乘意义上最好地拟合一组2D点。它返回一个内切椭圆的旋转矩形。使用了由[90]描述的第一个算法。开发者应该注意,由于数据点靠近包含的 Mat 元素的边界,返回的椭圆/旋转矩形数据

Unity3D 运动之Move函数和translate

CharacterController.Move 移动 function Move (motion : Vector3) : CollisionFlags Description描述 A more complex move function taking absolute movement deltas. 一个更加复杂的运动函数,每次都绝对运动。 Attempts to

✨机器学习笔记(二)—— 线性回归、代价函数、梯度下降

1️⃣线性回归(linear regression) f w , b ( x ) = w x + b f_{w,b}(x) = wx + b fw,b​(x)=wx+b 🎈A linear regression model predicting house prices: 如图是机器学习通过监督学习运用线性回归模型来预测房价的例子,当房屋大小为1250 f e e t 2 feet^

JavaSE(十三)——函数式编程(Lambda表达式、方法引用、Stream流)

函数式编程 函数式编程 是 Java 8 引入的一个重要特性,它允许开发者以函数作为一等公民(first-class citizens)的方式编程,即函数可以作为参数传递给其他函数,也可以作为返回值。 这极大地提高了代码的可读性、可维护性和复用性。函数式编程的核心概念包括高阶函数、Lambda 表达式、函数式接口、流(Streams)和 Optional 类等。 函数式编程的核心是Lambda

PHP APC缓存函数使用教程

APC,全称是Alternative PHP Cache,官方翻译叫”可选PHP缓存”。它为我们提供了缓存和优化PHP的中间代码的框架。 APC的缓存分两部分:系统缓存和用户数据缓存。(Linux APC扩展安装) 系统缓存 它是指APC把PHP文件源码的编译结果缓存起来,然后在每次调用时先对比时间标记。如果未过期,则使用缓存的中间代码运行。默认缓存 3600s(一小时)。但是这样仍会浪费大量C