【中级】C++构造函数抛出异常

2024-06-21 11:38

本文主要是介绍【中级】C++构造函数抛出异常,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

C++标准并未提到在构造函数中不能抛出异常,但是在构造函数中抛出异常确实有些问题需要注意,请看下面的代码:

class A
{
public:~A(){printf("~A()\n");}
};class Base
{
public:Base(){printf("Base()\n");pi = new int;throw 0;}~Base(){printf("~Base()\n");delete pi;}private:int *pi;A a;
};


 以上是类A和Base的定义,在Base的构造函数中故意抛出一个异常,这样在执行下面的代码时,看看会输出什么?

try
{Base base;
}
catch(...)
{printf("catch block.\n");
}

输出是:

Base()
~A()
catch block.

可以看到Base的析构函数~Base()并未调用,从而pi所指的动态分配的内存就未释放,进而造成内存泄露;不过Base中的对象成员a却正常析构了,C++标准不是说类中的对象成员的析构函数应该由该类的析构函数负责调用吗,而在这里~Base()根本就没被调用,为什么其中的对象成员a的析构函数还是被执行了呢?这是由C++中的异常处理机制引起的。

C++标准指出:如果对象在运行期间出现异常,那么C++的异常处理机制有责任释放那些因出现异常而失效的对象的内存,并且释放对象所分配的资源,而释放资源是通过调用对象的析构函数来达到的。

在本例中,由于是在构造base对象时出现异常,那么任何与base对象相关的对象的内存都应该释放,并且对象的析构函数应该被调用,以释放对象内部分配的资源,因此base对象中的a对象的析构函数被调用了,那么,为什么base对象本身的析构函数未被调用,进而造成了内存泄露?我想原因可能是,因为是在构造base对象时抛出异常,那么base此时就不是一个完整的对象,C++应该不会为一个未完全构造的对象调用其析构函数。

那么,就没有办法消除由于在构造函数中抛出异常而可能导致内存泄露的问题吗?在More Effective C++一书中对于如何写出异常安全的构造函数进行了深入的探讨,解决之道是将指向在构造函数中动态分配的内存的指针包装到auto_ptr对象中,把释放内存的职责转交给auto_ptr对象,这样就不必担心构造时发生异常而导致内存泄露。

 

这篇关于【中级】C++构造函数抛出异常的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

c++ 类成员变量默认初始值的实现

《c++类成员变量默认初始值的实现》本文主要介绍了c++类成员变量默认初始值,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录C++类成员变量初始化c++类的变量的初始化在C++中,如果使用类成员变量时未给定其初始值,那么它将被

C++中NULL与nullptr的区别小结

《C++中NULL与nullptr的区别小结》本文介绍了C++编程中NULL与nullptr的区别,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编... 目录C++98空值——NULLC++11空值——nullptr区别对比示例 C++98空值——NUL

C++ Log4cpp跨平台日志库的使用小结

《C++Log4cpp跨平台日志库的使用小结》Log4cpp是c++类库,本文详细介绍了C++日志库log4cpp的使用方法,及设置日志输出格式和优先级,具有一定的参考价值,感兴趣的可以了解一下... 目录一、介绍1. log4cpp的日志方式2.设置日志输出的格式3. 设置日志的输出优先级二、Window

Spring Boot @RestControllerAdvice全局异常处理最佳实践

《SpringBoot@RestControllerAdvice全局异常处理最佳实践》本文详解SpringBoot中通过@RestControllerAdvice实现全局异常处理,强调代码复用、统... 目录前言一、为什么要使用全局异常处理?二、核心注解解析1. @RestControllerAdvice2

Java进程异常故障定位及排查过程

《Java进程异常故障定位及排查过程》:本文主要介绍Java进程异常故障定位及排查过程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、故障发现与初步判断1. 监控系统告警2. 日志初步分析二、核心排查工具与步骤1. 进程状态检查2. CPU 飙升问题3. 内存

从入门到精通C++11 <chrono> 库特性

《从入门到精通C++11<chrono>库特性》chrono库是C++11中一个非常强大和实用的库,它为时间处理提供了丰富的功能和类型安全的接口,通过本文的介绍,我们了解了chrono库的基本概念... 目录一、引言1.1 为什么需要<chrono>库1.2<chrono>库的基本概念二、时间段(Durat

C++20管道运算符的实现示例

《C++20管道运算符的实现示例》本文简要介绍C++20管道运算符的使用与实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录标准库的管道运算符使用自己实现类似的管道运算符我们不打算介绍太多,因为它实际属于c++20最为重要的

Visual Studio 2022 编译C++20代码的图文步骤

《VisualStudio2022编译C++20代码的图文步骤》在VisualStudio中启用C++20import功能,需设置语言标准为ISOC++20,开启扫描源查找模块依赖及实验性标... 默认创建Visual Studio桌面控制台项目代码包含C++20的import方法。右键项目的属性:

c++中的set容器介绍及操作大全

《c++中的set容器介绍及操作大全》:本文主要介绍c++中的set容器介绍及操作大全,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录​​一、核心特性​​️ ​​二、基本操作​​​​1. 初始化与赋值​​​​2. 增删查操作​​​​3. 遍历方

解析C++11 static_assert及与Boost库的关联从入门到精通

《解析C++11static_assert及与Boost库的关联从入门到精通》static_assert是C++中强大的编译时验证工具,它能够在编译阶段拦截不符合预期的类型或值,增强代码的健壮性,通... 目录一、背景知识:传统断言方法的局限性1.1 assert宏1.2 #error指令1.3 第三方解决