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

相关文章

Kotlin 作用域函数apply、let、run、with、also使用指南

《Kotlin作用域函数apply、let、run、with、also使用指南》在Kotlin开发中,作用域函数(ScopeFunctions)是一组能让代码更简洁、更函数式的高阶函数,本文将... 目录一、引言:为什么需要作用域函数?二、作用域函China编程数详解1. apply:对象配置的 “流式构建器”最

Android Kotlin 高阶函数详解及其在协程中的应用小结

《AndroidKotlin高阶函数详解及其在协程中的应用小结》高阶函数是Kotlin中的一个重要特性,它能够将函数作为一等公民(First-ClassCitizen),使得代码更加简洁、灵活和可... 目录1. 引言2. 什么是高阶函数?3. 高阶函数的基础用法3.1 传递函数作为参数3.2 Lambda

C++中::SHCreateDirectoryEx函数使用方法

《C++中::SHCreateDirectoryEx函数使用方法》::SHCreateDirectoryEx用于创建多级目录,类似于mkdir-p命令,本文主要介绍了C++中::SHCreateDir... 目录1. 函数原型与依赖项2. 基本使用示例示例 1:创建单层目录示例 2:创建多级目录3. 关键注

C++中函数模板与类模板的简单使用及区别介绍

《C++中函数模板与类模板的简单使用及区别介绍》这篇文章介绍了C++中的模板机制,包括函数模板和类模板的概念、语法和实际应用,函数模板通过类型参数实现泛型操作,而类模板允许创建可处理多种数据类型的类,... 目录一、函数模板定义语法真实示例二、类模板三、关键区别四、注意事项 ‌在C++中,模板是实现泛型编程

kotlin的函数forEach示例详解

《kotlin的函数forEach示例详解》在Kotlin中,forEach是一个高阶函数,用于遍历集合中的每个元素并对其执行指定的操作,它的核心特点是简洁、函数式,适用于需要遍历集合且无需返回值的场... 目录一、基本用法1️⃣ 遍历集合2️⃣ 遍历数组3️⃣ 遍历 Map二、与 for 循环的区别三、高

C语言字符函数和字符串函数示例详解

《C语言字符函数和字符串函数示例详解》本文详细介绍了C语言中字符分类函数、字符转换函数及字符串操作函数的使用方法,并通过示例代码展示了如何实现这些功能,通过这些内容,读者可以深入理解并掌握C语言中的字... 目录一、字符分类函数二、字符转换函数三、strlen的使用和模拟实现3.1strlen函数3.2st

MySQL中COALESCE函数示例详解

《MySQL中COALESCE函数示例详解》COALESCE是一个功能强大且常用的SQL函数,主要用来处理NULL值和实现灵活的值选择策略,能够使查询逻辑更清晰、简洁,:本文主要介绍MySQL中C... 目录语法示例1. 替换 NULL 值2. 用于字段默认值3. 多列优先级4. 结合聚合函数注意事项总结C

Java8需要知道的4个函数式接口简单教程

《Java8需要知道的4个函数式接口简单教程》:本文主要介绍Java8中引入的函数式接口,包括Consumer、Supplier、Predicate和Function,以及它们的用法和特点,文中... 目录什么是函数是接口?Consumer接口定义核心特点注意事项常见用法1.基本用法2.结合andThen链

MySQL 日期时间格式化函数 DATE_FORMAT() 的使用示例详解

《MySQL日期时间格式化函数DATE_FORMAT()的使用示例详解》`DATE_FORMAT()`是MySQL中用于格式化日期时间的函数,本文详细介绍了其语法、格式化字符串的含义以及常见日期... 目录一、DATE_FORMAT()语法二、格式化字符串详解三、常见日期时间格式组合四、业务场景五、总结一、

golang panic 函数用法示例详解

《golangpanic函数用法示例详解》在Go语言中,panic用于触发不可恢复的错误,终止函数执行并逐层向上触发defer,最终若未被recover捕获,程序会崩溃,recover用于在def... 目录1. panic 的作用2. 基本用法3. recover 的使用规则4. 错误处理建议5. 常见错