【中级】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++ move 的作用详解及陷阱最佳实践

《C++move的作用详解及陷阱最佳实践》文章详细介绍了C++中的`std::move`函数的作用,包括为什么需要它、它的本质、典型使用场景、以及一些常见陷阱和最佳实践,感兴趣的朋友跟随小编一起看... 目录C++ move 的作用详解一、一句话总结二、为什么需要 move?C++98/03 的痛点⚡C++

Go异常处理、泛型和文件操作实例代码

《Go异常处理、泛型和文件操作实例代码》Go语言的异常处理机制与传统的面向对象语言(如Java、C#)所使用的try-catch结构有所不同,它采用了自己独特的设计理念和方法,:本文主要介绍Go异... 目录一:异常处理常见的异常处理向上抛中断程序恢复程序二:泛型泛型函数泛型结构体泛型切片泛型 map三:文

详解C++ 存储二进制数据容器的几种方法

《详解C++存储二进制数据容器的几种方法》本文主要介绍了详解C++存储二进制数据容器,包括std::vector、std::array、std::string、std::bitset和std::ve... 目录1.std::vector<uint8_t>(最常用)特点:适用场景:示例:2.std::arra

C++构造函数中explicit详解

《C++构造函数中explicit详解》explicit关键字用于修饰单参数构造函数或可以看作单参数的构造函数,阻止编译器进行隐式类型转换或拷贝初始化,本文就来介绍explicit的使用,感兴趣的可以... 目录1. 什么是explicit2. 隐式转换的问题3.explicit的使用示例基本用法多参数构造

maven异常Invalid bound statement(not found)的问题解决

《maven异常Invalidboundstatement(notfound)的问题解决》本文详细介绍了Maven项目中常见的Invalidboundstatement异常及其解决方案,文中通过... 目录Maven异常:Invalid bound statement (not found) 详解问题描述可

C++,C#,Rust,Go,Java,Python,JavaScript的性能对比全面讲解

《C++,C#,Rust,Go,Java,Python,JavaScript的性能对比全面讲解》:本文主要介绍C++,C#,Rust,Go,Java,Python,JavaScript性能对比全面... 目录编程语言性能对比、核心优势与最佳使用场景性能对比表格C++C#RustGoJavapythonjav

C++打印 vector的几种方法小结

《C++打印vector的几种方法小结》本文介绍了C++中遍历vector的几种方法,包括使用迭代器、auto关键字、typedef、计数器以及C++11引入的范围基础循环,具有一定的参考价值,感兴... 目录1. 使用迭代器2. 使用 auto (C++11) / typedef / type alias

C++ scoped_ptr 和 unique_ptr对比分析

《C++scoped_ptr和unique_ptr对比分析》本文介绍了C++中的`scoped_ptr`和`unique_ptr`,详细比较了它们的特性、使用场景以及现代C++推荐的使用`uni... 目录1. scoped_ptr基本特性主要特点2. unique_ptr基本用法3. 主要区别对比4. u

C++11中的包装器实战案例

《C++11中的包装器实战案例》本文给大家介绍C++11中的包装器实战案例,本文结合实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录引言1.std::function1.1.什么是std::function1.2.核心用法1.2.1.包装普通函数1.2.

C++多线程开发环境配置方法

《C++多线程开发环境配置方法》文章详细介绍了如何在Windows上安装MinGW-w64和VSCode,并配置环境变量和编译任务,使用VSCode创建一个C++多线程测试项目,并通过配置tasks.... 目录下载安装 MinGW-w64下载安装VS code创建测试项目配置编译任务创建 tasks.js