条款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

相关文章

C++统计函数执行时间的最佳实践

《C++统计函数执行时间的最佳实践》在软件开发过程中,性能分析是优化程序的重要环节,了解函数的执行时间分布对于识别性能瓶颈至关重要,本文将分享一个C++函数执行时间统计工具,希望对大家有所帮助... 目录前言工具特性核心设计1. 数据结构设计2. 单例模式管理器3. RAII自动计时使用方法基本用法高级用法

GO语言短变量声明的实现示例

《GO语言短变量声明的实现示例》在Go语言中,短变量声明是一种简洁的变量声明方式,使用:=运算符,可以自动推断变量类型,下面就来具体介绍一下如何使用,感兴趣的可以了解一下... 目录基本语法功能特点与var的区别适用场景注意事项基本语法variableName := value功能特点1、自动类型推

GO语言中函数命名返回值的使用

《GO语言中函数命名返回值的使用》在Go语言中,函数可以为其返回值指定名称,这被称为命名返回值或命名返回参数,这种特性可以使代码更清晰,特别是在返回多个值时,感兴趣的可以了解一下... 目录基本语法函数命名返回特点代码示例命名特点基本语法func functionName(parameters) (nam

Python Counter 函数使用案例

《PythonCounter函数使用案例》Counter是collections模块中的一个类,专门用于对可迭代对象中的元素进行计数,接下来通过本文给大家介绍PythonCounter函数使用案例... 目录一、Counter函数概述二、基本使用案例(一)列表元素计数(二)字符串字符计数(三)元组计数三、C

python中的显式声明类型参数使用方式

《python中的显式声明类型参数使用方式》文章探讨了Python3.10+版本中类型注解的使用,指出FastAPI官方示例强调显式声明参数类型,通过|操作符替代Union/Optional,可提升代... 目录背景python函数显式声明的类型汇总基本类型集合类型Optional and Union(py

Python中的filter() 函数的工作原理及应用技巧

《Python中的filter()函数的工作原理及应用技巧》Python的filter()函数用于筛选序列元素,返回迭代器,适合函数式编程,相比列表推导式,内存更优,尤其适用于大数据集,结合lamb... 目录前言一、基本概念基本语法二、使用方式1. 使用 lambda 函数2. 使用普通函数3. 使用 N

MySQL中REPLACE函数与语句举例详解

《MySQL中REPLACE函数与语句举例详解》在MySQL中REPLACE函数是一个用于处理字符串的强大工具,它的主要功能是替换字符串中的某些子字符串,:本文主要介绍MySQL中REPLACE函... 目录一、REPLACE()函数语法:参数说明:功能说明:示例:二、REPLACE INTO语句语法:参数

python中update()函数的用法和一些例子

《python中update()函数的用法和一些例子》update()方法是字典对象的方法,用于将一个字典中的键值对更新到另一个字典中,:本文主要介绍python中update()函数的用法和一些... 目录前言用法注意事项示例示例 1: 使用另一个字典来更新示例 2: 使用可迭代对象来更新示例 3: 使用

从基础到高阶详解Python多态实战应用指南

《从基础到高阶详解Python多态实战应用指南》这篇文章主要从基础到高阶为大家详细介绍Python中多态的相关应用与技巧,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录一、多态的本质:python的“鸭子类型”哲学二、多态的三大实战场景场景1:数据处理管道——统一处理不同数据格式

Python lambda函数(匿名函数)、参数类型与递归全解析

《Pythonlambda函数(匿名函数)、参数类型与递归全解析》本文详解Python中lambda匿名函数、灵活参数类型和递归函数三大进阶特性,分别介绍其定义、应用场景及注意事项,助力编写简洁高效... 目录一、lambda 匿名函数:简洁的单行函数1. lambda 的定义与基本用法2. lambda