《白话C++》第9章 泛型,Page842~844 9.4.2 AutoPtr

2024-02-17 01:52

本文主要是介绍《白话C++》第9章 泛型,Page842~844 9.4.2 AutoPtr,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

源起:

C++编程中,最容易出的问题之一,就是内存泄露,而new一个对象,却忘了delete它,则是造成内存泄露的主要原因之一

例子一:

void foo()
{XXXObject* xo = new XXXObject;if(!xo->DoSomething())//do something出错了return;//返回(可是,糟糕,忘了delete xo呢)try{xo->DoAnotherThing();}catch(...)//出异常了...{return false; //又忘了delete xo了。}delete xo;return;
}

函数最后是释放xo,可是在DoSomething和DoAnotherThing不成功后,忘了释放xo,直接return了。

例子二:

XXXObject* CreateXXXFromFile(char const* filename)
{std::ifstream ifs(filename);int i;std::string s;ifs >> i;std::getline(ifs, s);XXXObject* xo = new XXXObject(i, s);xo->init();return xo;
}

C++编程箴言之一:“谁创建,谁释放”。

“CreateXXX”这类函数,经常被称为“工厂函数”。在特定的业务逻辑下,创建一个对象,需要像车间流水线一样先准备一些零件(例中的i和s),最后再调用构造函数产生一个对象。

问题出在使用者身上:

void foo()
{XXXObject* xo = CreateXXXFromFile("d:\\material\1.dat");xo->DoSomething();return;
}

更有甚者:

void foo()
{/*调用者根本没有处理CreateXXXFromFile()返回的指针,放任它占用内存不释放,(当然,这样使用函数,通常逻辑上也有错误)*/CreateXXXFromFile("d:\\material\\1.dat");
}

作为CreateXXXFromFile的作者,有没有办法既能够方式一个new出来的对象,又能够在调用者忘记释放它的返回值(哪怕是干脆没有提供变量用以“hold”住返回值)时,自动干掉函数内部创建的那个对象呢?我们已经知道,可以使用shared_ptr<T>,但如果假装不知道呢?

基本解决思路

C++的两个特性:

一是内存占用至少分成两种:栈内存和堆内存,堆内存需要手工释放,栈内存却能在其作用域结构之后,自动释放;

二是C++对象会在释放时,调用析构函数。

结合这连个特性,可以将“堆”内存(new出来的内存是堆内存的一种)在生命周期管理行为,模拟成“栈”内存方式。

先看第一个版本,用作原理演示:

struct AutoPtr
{AutoPtr(){this->_ptr = new int;}~AutoPtr(){cout << "调用析构,删除指针" << endl;delete this->_ptr;}int* _ptr;
};

AutoPtr在构造时,创建一个整数指针,在析构时,删除它。这一原理,它已经可以投入使用,做个对比:

原始版本(裸指针)AutoPtr版本一
void foo_1()
{
    cout << "foo_1使用裸指针" << endl;
    int * ptr = new int;
    * ptr = 100;
    cout << * ptr << endl;
    delete ptr; //手工释放
}
void foo_2()
{
    cout << "foo_2使用AutoPtr" << endl;
    AutoPtr ap;
    *(ap._ptr) = 100;
    cout << *(ap._ptr) << endl;
}

原始版本

AutoPtr版本一

foo_2函数一结束,栈变量ap就会自动释放,释放是调用析构,析构函数负责释放_ptr。

AutoPtr的第一个缺陷:

它固定只用于int指针。这问题好解决,上模板呀:

template <typename T>
struct AutoPtr
{AutoPtr(){this->_ptr = new T;}~AutoPtr(){delete this->_ptr;}T* _ptr;
};

课堂作业:AutoPtr模板版本应用

67行,sap死亡时,调用析构函数,会删除_ptr一次

88行,又删除_ptr一次,所以内存释放两次

这篇关于《白话C++》第9章 泛型,Page842~844 9.4.2 AutoPtr的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

C++使用栈实现括号匹配的代码详解

《C++使用栈实现括号匹配的代码详解》在编程中,括号匹配是一个常见问题,尤其是在处理数学表达式、编译器解析等任务时,栈是一种非常适合处理此类问题的数据结构,能够精确地管理括号的匹配问题,本文将通过C+... 目录引言问题描述代码讲解代码解析栈的状态表示测试总结引言在编程中,括号匹配是一个常见问题,尤其是在

使用C++实现链表元素的反转

《使用C++实现链表元素的反转》反转链表是链表操作中一个经典的问题,也是面试中常见的考题,本文将从思路到实现一步步地讲解如何实现链表的反转,帮助初学者理解这一操作,我们将使用C++代码演示具体实现,同... 目录问题定义思路分析代码实现带头节点的链表代码讲解其他实现方式时间和空间复杂度分析总结问题定义给定

C++初始化数组的几种常见方法(简单易懂)

《C++初始化数组的几种常见方法(简单易懂)》本文介绍了C++中数组的初始化方法,包括一维数组和二维数组的初始化,以及用new动态初始化数组,在C++11及以上版本中,还提供了使用std::array... 目录1、初始化一维数组1.1、使用列表初始化(推荐方式)1.2、初始化部分列表1.3、使用std::

C++ Primer 多维数组的使用

《C++Primer多维数组的使用》本文主要介绍了多维数组在C++语言中的定义、初始化、下标引用以及使用范围for语句处理多维数组的方法,具有一定的参考价值,感兴趣的可以了解一下... 目录多维数组多维数组的初始化多维数组的下标引用使用范围for语句处理多维数组指针和多维数组多维数组严格来说,C++语言没

c++中std::placeholders的使用方法

《c++中std::placeholders的使用方法》std::placeholders是C++标准库中的一个工具,用于在函数对象绑定时创建占位符,本文就来详细的介绍一下,具有一定的参考价值,感兴... 目录1. 基本概念2. 使用场景3. 示例示例 1:部分参数绑定示例 2:参数重排序4. 注意事项5.

使用C++将处理后的信号保存为PNG和TIFF格式

《使用C++将处理后的信号保存为PNG和TIFF格式》在信号处理领域,我们常常需要将处理结果以图像的形式保存下来,方便后续分析和展示,C++提供了多种库来处理图像数据,本文将介绍如何使用stb_ima... 目录1. PNG格式保存使用stb_imagephp_write库1.1 安装和包含库1.2 代码解

C++实现封装的顺序表的操作与实践

《C++实现封装的顺序表的操作与实践》在程序设计中,顺序表是一种常见的线性数据结构,通常用于存储具有固定顺序的元素,与链表不同,顺序表中的元素是连续存储的,因此访问速度较快,但插入和删除操作的效率可能... 目录一、顺序表的基本概念二、顺序表类的设计1. 顺序表类的成员变量2. 构造函数和析构函数三、顺序表

使用C++实现单链表的操作与实践

《使用C++实现单链表的操作与实践》在程序设计中,链表是一种常见的数据结构,特别是在动态数据管理、频繁插入和删除元素的场景中,链表相比于数组,具有更高的灵活性和高效性,尤其是在需要频繁修改数据结构的应... 目录一、单链表的基本概念二、单链表类的设计1. 节点的定义2. 链表的类定义三、单链表的操作实现四、

Go语言利用泛型封装常见的Map操作

《Go语言利用泛型封装常见的Map操作》Go语言在1.18版本中引入了泛型,这是Go语言发展的一个重要里程碑,它极大地增强了语言的表达能力和灵活性,本文将通过泛型实现封装常见的Map操作,感... 目录什么是泛型泛型解决了什么问题Go泛型基于泛型的常见Map操作代码合集总结什么是泛型泛型是一种编程范式,允

使用C/C++调用libcurl调试消息的方式

《使用C/C++调用libcurl调试消息的方式》在使用C/C++调用libcurl进行HTTP请求时,有时我们需要查看请求的/应答消息的内容(包括请求头和请求体)以方便调试,libcurl提供了多种... 目录1. libcurl 调试工具简介2. 输出请求消息使用 CURLOPT_VERBOSE使用 C