《白话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++11范围for初始化列表auto decltype详解

《C++11范围for初始化列表autodecltype详解》C++11引入auto类型推导、decltype类型推断、统一列表初始化、范围for循环及智能指针,提升代码简洁性、类型安全与资源管理效... 目录C++11新特性1. 自动类型推导auto1.1 基本语法2. decltype3. 列表初始化3

C++11右值引用与Lambda表达式的使用

《C++11右值引用与Lambda表达式的使用》C++11引入右值引用,实现移动语义提升性能,支持资源转移与完美转发;同时引入Lambda表达式,简化匿名函数定义,通过捕获列表和参数列表灵活处理变量... 目录C++11新特性右值引用和移动语义左值 / 右值常见的左值和右值移动语义移动构造函数移动复制运算符

C++中detach的作用、使用场景及注意事项

《C++中detach的作用、使用场景及注意事项》关于C++中的detach,它主要涉及多线程编程中的线程管理,理解detach的作用、使用场景以及注意事项,对于写出高效、安全的多线程程序至关重要,下... 目录一、什么是join()?它的作用是什么?类比一下:二、join()的作用总结三、join()怎么

Spring的RedisTemplate的json反序列泛型丢失问题解决

《Spring的RedisTemplate的json反序列泛型丢失问题解决》本文主要介绍了SpringRedisTemplate中使用JSON序列化时泛型信息丢失的问题及其提出三种解决方案,可以根据性... 目录背景解决方案方案一方案二方案三总结背景在使用RedisTemplate操作redis时我们针对

C++中全局变量和局部变量的区别

《C++中全局变量和局部变量的区别》本文主要介绍了C++中全局变量和局部变量的区别,全局变量和局部变量在作用域和生命周期上有显著的区别,下面就来介绍一下,感兴趣的可以了解一下... 目录一、全局变量定义生命周期存储位置代码示例输出二、局部变量定义生命周期存储位置代码示例输出三、全局变量和局部变量的区别作用域

C++中assign函数的使用

《C++中assign函数的使用》在C++标准模板库中,std::list等容器都提供了assign成员函数,它比操作符更灵活,支持多种初始化方式,下面就来介绍一下assign的用法,具有一定的参考价... 目录​1.assign的基本功能​​语法​2. 具体用法示例​​​(1) 填充n个相同值​​(2)

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

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

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