【C++11】智能指针

> 作者:დ旧言~
> 座右铭:松树千年终是朽,槿花一日自为荣。

> 目标:理解在C++11中智能指针,自己能模拟实现 4 种智能指针

> 毒鸡汤:白日莫闲过,青春不再来。

> 专栏选自:C嘎嘎进阶

> 望小伙伴们点赞👍收藏✨加关注哟💕💕

🌟前言

早期在C语言中我们学习了指针,这个指针学起来真是一个头两个大,当然学习到了这里想必大家对指针就不在害怕了,为了填上C++的不足在C++11中就扩展了智能指针,难道智能指针就真的那么智能吗?

⭐主体

学习【C++11】智能指针咱们按照下面的图解:

🌙 智能指针的引入

存在内存泄漏问题:

举个栗子:

#include <iostream>
using namespace std;int div()
{int a, b;cin >> a >> b;if (b == 0)throw invalid_argument("除0错误");return a / b;
}
void Func()
{int* p1 = new int;//p1抛异常,直接跳catch,没有问题cout << div() << endl; // div抛异常,调到catch,p1无法释放,资源泄露delete p1;
}
int main()
{try{Func();}catch (exception& e){cout << e.what() << endl;}return 0;
}

问题分析:

new空间也有可能会抛出异常,对于p1如果抛出异常:没有问题,可以不管,直接到最外面去了。而如果用户输入的除数为0,那么div函数就会抛出异常,跳到主函数的catch块中执行,但是别忘了,此时Func()中的申请的内存资源还没有释放!

 采用异常的重新捕获: ​​​​​​​

代码重写:

#include <iostream>
using namespace std;int div()
{int a, b;cin >> a >> b;if (b == 0)throw invalid_argument("除0错误");return a / b;
}
void Func()
{int* p1 = new int;//p1抛异常,直接跳catch,没有问题try{cout << div() << endl;}catch (...){delete p1;throw;}delete p1;
}
int main()
{try{Func();}catch (exception& e){cout << e.what() << endl;}return 0;
}

问题分析:

但是如果申请的不是上面的一块空间,而是更多呢,还有p2,p3…?这时候就麻烦了,需要套很多,所以这时候智能指针就登场了,可以解决这个问题。

🌙 内存泄漏

问题再次分析:

C++ 程序设计中使用堆内存是非常频繁的操作,堆内存的申请和释放都由程序员自己管理。但使用普通指针,容易造成内存泄露(忘记释放)、二次释放、程序发生异常时内存泄露等问题等。所以 C++11 就引入了智能指针。

C 语言中最常使用的是malloc()函数分配内存,free()函数释放内存,而 C++ 中对应的是new、delete关键字。malloc()只是分配了内存,而new则更进一步,不仅分配了内存,还调用了构造函数进行初始化。

总结:

C++11 中引入了智能指针(Smart Pointer),它利用了一种叫做 RAII(资源获取即初始化)的技术将普通的指针封装为一个栈对象。当栈对象的生存周期结束后,会在析构函数中释放掉申请的内存,从而防止内存泄漏。这使得智能指针实质是一个对象,行为表现的却像一个指针。

智能指针主要分为shared_ptr、unique_ptr和weak_ptr三种,使用时需要引用头文件。C++98 中还有auto_ptr,基本被淘汰了,不推荐使用。而 C++11 中shared_ptr和weak_ptr都是参考boost库实现的。

🌙 智能指针的使用与原理

💫 智能指针的使用

举个栗子:

#include <iostream>
using namespace std;template<class T>
class SmartPtr
{
public:SmartPtr(T* ptr):_ptr(ptr){}~SmartPtr(){cout << "delete: " << _ptr << endl;delete _ptr;}T& operator*(){return *_ptr;}T* operator->(){return _ptr;}T& operator[](size_t pos){return _ptr[pos];}
private:T* _ptr;
};
int div()
{int a, b;cin >> a >> b;if (b == 0)throw invalid_argument("除0错误");return a / b;
}
void func()
{SmartPtr<int> sp(new int);int* p2 = new int;SmartPtr<int> sp2(p2);cout << div() << endl;
}
int main()
{try{func();}catch (exception& e){cout << e.what() << endl;}return 0;
}

总结分析:

上面代码将申请到的内存交给了SmartPtr对象管理:

  • 在构造SmartPtr对象时,自动调用构造函数,将传入的需要管理的内存保存起来;
  • 在析构SmartPtr对象时,自动调用析构函数,将管理的内存空间进行释放
  • SmartPtr还可以与普通指针一样使用,需对*和->以及[]进行运算符重载

通过SmartPtr对象,无论程序是正常执行结束,还是因为某些中途原因进行返回,或者抛出异常等开始所面临的困境,只要SmartPtr对象的生命周期结束就会自动调用对应的析构函数,不会造成内存泄漏,完成资源释放。

💫 智能指针的原理

原理讲解:

RAII: RAII(Resource Acquisition Is Initialization)是一种利用对象生命周期来控制程序资源(如内存、文件句柄、互斥量等等)的简单技术。在对象构造时获取资源,接着控制对资源的访问使之在对象的生命周期内始终保存有效,最后在对象析构时释放资源。借此,我们实际上把管理一份资源的责任托管给了一个对象,好处:

  • 不需要显式地释放资源
  • 对象所需的资源在其生命周期内始终保持有效

💫 智能指针拷贝问题

分析:

对于我们上面所实现的SmartPtr,如果用一个SmartPtr对象来拷贝构造另一个SmartPtr对象,或者一个SmartPtr对象赋值给另一个SmartPtr对象,最终结果会导致程序崩溃

举个栗子:

#include <iostream>
using namespace std;void test()
{SmartPtr<int> sp1(new int);SmartPtr<int> sp2(sp1);//拷贝构造SmartPtr<int> sp3(new int);SmartPtr<int> sp4 = sp3;//赋值
}

总结:

编译器默认生成的拷贝构造函数对内置类型完成浅拷贝(值拷贝),sp1拷贝给sp2后,两个管理同一块空间,当sp1和sp2析构就会让这块内存空间释放两次。同理,编译器默认生成的卡搜被赋值函数对内置类型完成浅拷贝,把sp4赋值给sp3后,sp4与sp3都是管理原来sp3的空间,会析构两次,同时,原先sp4管理的内存没有释放。

单纯的浅拷贝会导致空间多次释放,因为根据智能指针解决卡搜被问题方式不同,所以有很多版本的智能指针。

🌙 auto_ptr指针

💫 auto_ptr指针的使用

概念:

auto_ptr是C++98的,通过管理权转移的方式解决智能指针拷贝问题,保证了一个资源只有一个对象对其进行管理,这时候一个资源就不会被多个释放。

auto_ptr对象具有获取分配给它们的指针的所有权的特殊性:对一个元素拥有所有权的auto_ptr对象负责销毁它所指向的元素,并在销毁自身时解除分配给它的内存。析构函数通过自动调用运算符 delete 来实现此目的。

因此,没有两个auto_ptr对象应该拥有相同的元素,因为两者都会在某个时候尝试破坏它们。当在两个auto_ptr对象之间执行赋值操作时,所有权将转移,这意味着失去所有权的对象将设置为不再指向元素(它设置为空指针)。

举个栗子:

#include <iostream>
using namespace std;int main()
{std::auto_ptr<int> ap1(new int(1));std::auto_ptr<int> ap2(ap1);*ap2 = 10;//*ap1 = 10;错误的写法std::auto_ptr<int> ap3(new int(1));std::auto_ptr<int> ap4(new int(2));ap3 = ap4;return 0;
}

分析:

资源的管理权转移意味该对象不能在对原来管理的资源进行访问了,如果进行访问,会导致程序崩溃,很容易出现问题,所以比较少用。

💫 auto_ptr指针的模拟

分析:

构造对象获取资源,析构对象释放资源。对*和->运算符进行重载,使其像指针一样。拷贝构造函数,用传入的对象的资源来构造当前对象,并将传入对象管理资源指针悬空。

代码:

	template<class T>class auto_ptr{public:// RAII// 保存资源auto_ptr(T* ptr):_ptr(ptr){}// 释放资源~auto_ptr(){//delete[] _ptr;delete _ptr;cout << _ptr << endl;}auto_ptr(auto_ptr<T>& sp):_ptr(sp._ptr){sp._ptr = nullptr;}// 像指针一样T& operator*(){return *_ptr;}T* operator->(){return return _ptr;}T& operator[](size_t pos){return _ptr[pos];}private:T* _ptr;};

🌙 unique_ptr指针

💫 unique_ptr指针的使用

概念:

unique_ptr是C++11中的智能指针,unique_ptr来的更直接:直接防止拷贝的方式解决智能指针的拷贝问题,简单而又粗暴,防止智能指针对象拷贝,保证资源不会被多次释放,但是防止拷贝也不是解决问题的好办法。

举个栗子:

💫 unique_ptr指针的模拟

分析:

构造函数中获取资源,在析构函数中释放资源。对*->运算符进行重载,使unique_ptr对象具有指针一样的行为。C++98的方式是将拷贝构造函数和拷贝赋值函数声明为私有;C++11的方式就直接在这两个函数后面加上=delete,防止外部进行调用:

代码:

	template<class T>class unique_ptr{public:// RAII// 保存资源unique_ptr(T* ptr):_ptr(ptr){}// 释放资源~unique_ptr(){//delete[] _ptr;delete _ptr;cout << _ptr << endl;}unique_ptr(const unique_ptr<T>& up) = delete;unique_ptr<T>& operator=(const unique_ptr<T>& up) = delete;// 像指针一样T& operator*(){return *_ptr;}T* operator->(){return return _ptr;}T& operator[](size_t pos){return _ptr[pos];}private:T* _ptr;};

🌙 shared_ptr指针

💫 shared_ptr指针的使用

概念:

shared_ptr是C++11的智能指针,通过引用计数的方式解决智能指针的拷贝问题。

  • 每个被管理的资源有有一个对应的引用计数,这个引用计数记录当前有多少对象在管理这块资源。
  • 每新增加一个对象管理这块资源则对该资源的引用计数++;当一个对象不在管理这块资源或对象析构时那么该资源对应的引用计数

当一个资源的引用计数为0时那么就说明已经没有对象在管理这块资源了,这时候就可以进行释放了。引用计数的方式能够支持多个对象一起管理一个资源,也就支持智能指针的拷贝,只有当资源的引用计数减为0时才会释放,保证了同一个资源不会被多次释放。

举个栗子:

int main()
{std::shared_ptr<int> sp1(new int(1));std::shared_ptr<int> sp2(sp1);*sp1 = 10;*sp2 = 20;cout << sp1.use_count() << endl; //2//use_count:用于获取当前对象管理的资源对应的引用计数。std::shared_ptr<int> sp3(new int(1));std::shared_ptr<int> sp4(new int(2));sp3 = sp4;cout << sp3.use_count() << endl; //2return 0;
}

💫 shared_ptr指针的模拟

分析:

shared_ptr每增加一个成员变量pcount,表示只能指针对象管理的资源对应的引用计数。

  • 构造函数获取资源时,同时将对应于的引用计数设为1,表示当前一个对象在管理这块资源;析构函数,将管理资源对应的引用计数–,如果为0就需要进行释放
  • 拷贝构造函数中,与传入对象一起管理资源,将该资源的引用计数++

对于拷贝赋值:先将当前对象管理的资源对应的引用计数–,为0时需要释放,然后在传入对象一起管理资源。将该资源对应的引用计数++,对*和->进行运算符重载,具有像指针一样的行为。

代码:

	template<class T>class shared_ptr{public:// RAII// 保存资源shared_ptr(T* ptr):_ptr(ptr), _pcount(new int(1)){}// 释放资源~shared_ptr(){Release();}shared_ptr(const shared_ptr<T>& sp):_ptr(sp._ptr), _pcount(sp._pcount){++(*_pcount);}void Release(){if (--(*_pcount) == 0){delete _pcount;delete _ptr;}}//sp1 = sp1;//sp1 = sp2;//sp2如果是sp1的拷贝呢?shared_ptr<T>& operator=(const shared_ptr<T>& sp){if (_ptr != sp._ptr)//资源地址不一样{Release();_pcount = sp._pcount;_ptr = sp._ptr;++(*_pcount);}return *this;}int use_count(){return *_pcount;}// 像指针一样T& operator*(){return *_ptr;}T* operator->(){return _ptr;}T& operator[](size_t pos){return _ptr[pos];}private:T* _ptr;int* _pcount;};

🌙 weak_ptr指针

💫 weak_ptr指针的使用

概念:

weak_ptr是C++11中引入的智能指针,weak_ptr不是用来管理资源的释放的,它主要是用来解决shared_ptr的循环引用问题的。

weak_ptr支持用shared_ptr对象来构造weak_ptr对象,构造出来的weak_ptr对象与shared_ptr对象管理同一个资源,但不会增加这块资源对应的引用计数,解决上述问题。

举个栗子:

    struct ListNode{std::weak_ptr<ListNode> _prev;std::weak_ptr<ListNode> _next;~ListNode(){cout << "~ListNode()" << endl;}};void test_shared_ptr2(){std::shared_ptr<ListNode> n1 (new ListNode);std::shared_ptr<ListNode> n2 (new ListNode);n1->_next = n2;n2->_prev = n1;cout << n1.use_count() << endl;cout << n2.use_count() << endl;}

分析:

通过use_count获取这两个资源对应的引用计数:结点连接前后这两个资源对应的引用计数就是1,原因是weak_ptr不参与资源管理,不会增加管理的资源对应的引用计数。

💫 weak_ptr指针的模拟

分析:

无参的构造函数;支持用shared_ptr拷贝构造weak_ptr对象,构造时获取shared_ptr对象管理的资源;支持shared_ptr对象拷贝赋值给weak_ptr对象,赋值时获取shared_ptr对象管理的资源,对*和->运算符进行重载,让weak_ptr对象像指针一样具有指针的行为。shared_ptr提供的get函数:用于获取其管理的资源。

代码:

template <class T>class weak_ptr{public:weak_ptr():_ptr(nullptr){}weak_ptr(const shared_ptr<T>&sp):_ptr(sp.get()){}weak_ptr<T>& operator=(const shared_ptr<T>& sp){_ptr = sp.get();return *this;}T& operator*(){return *_ptr;}T* operator->(){return _ptr;}T& operator[](size_t pos){return _ptr[pos];}public:T* _ptr;};

🌙 性能与安全的权衡

使用智能指针虽然能够解决内存泄漏问题,但是也付出了一定的代价。以shared_ptr举例:

  • shared_ptr的大小是原始指针的两倍,因为它的内部有一个原始指针指向资源,同时有个指针指向引用计数。
  • 引用计数的内存必须动态分配。虽然一点可以使用make_shared()来避免,但也存在一些情况下不能够使用make_shared()。
  • 增加和减小引用计数必须是原子操作,因为可能会有读写操作在不同的线程中同时发生。

🌙C++11与boost中智能指针的关系

C++11和boost中智能指针的关系

  • C++98中产生了第一个智能指针auto_ptr。
  • C++boost给出了更实用的scoped_ptr、shared_ptr和weak_ptr。
  • C++TR1,引入了boost中的shared_ptr等。不过注意的是TR1并不是标准版。
  • C++11,引入了boost中的unique_ptr、shared_ptr和weak_ptr。需要注意的是,unique_ptr对应的就是boost中的scoped_ptr,并且这些智能指针的实现原理是参考boost中实现的。

🌙 智能指针模拟代码

// SmartPtr模拟
template<class T>
class SmartPtr
{
public:// RAIISmartPtr(T* ptr):_ptr(ptr){}~SmartPtr(){cout << "delete:" << _ptr << endl;delete _ptr;}// 像指针一样T& operator*(){return *_ptr;}T* operator->(){return _ptr;}private:T* _ptr;
};namespace lyk
{// auto_ptr模拟template<class T>class auto_ptr{public:// RAIIauto_ptr(T* ptr):_ptr(ptr){}// ap2(ap1)auto_ptr(auto_ptr<T>& ap){_ptr = ap._ptr;ap._ptr = nullptr;}~auto_ptr(){cout << "delete:" << _ptr << endl;delete _ptr;}// 像指针一样T& operator*(){return *_ptr;}T* operator->(){return _ptr;}private:T* _ptr;};// unique_ptr模拟template<class T>class unique_ptr{public:// RAIIunique_ptr(T* ptr):_ptr(ptr){}// ap2(ap1)unique_ptr(const unique_ptr<T>& ap) = delete;unique_ptr<T>& operator=(const unique_ptr<T>& ap) = delete;~unique_ptr(){cout << "delete:" << _ptr << endl;delete _ptr;}// 像指针一样T& operator*(){return *_ptr;}T* operator->(){return _ptr;}private:T* _ptr;};// shared_ptr模拟template<class T>class shared_ptr{public:// RAIIshared_ptr(T* ptr = nullptr):_ptr(ptr), _pcount(new int(1)){}// sp2(sp1)shared_ptr(const shared_ptr<T>& sp){_ptr = sp._ptr;_pcount = sp._pcount;// 拷贝时++计数++(*_pcount);}// sp1 = sp4// sp4 = sp4;// sp1 = sp2;shared_ptr<T>& operator=(const shared_ptr<T>& sp){//if (this != &sp)if (_ptr != sp._ptr){release();_ptr = sp._ptr;_pcount = sp._pcount;// 拷贝时++计数++(*_pcount);}return *this;}void release(){// 说明最后一个管理对象析构了,可以释放资源了if (--(*_pcount) == 0){cout << "delete:" << _ptr << endl;delete _ptr;delete _pcount;}}~shared_ptr(){// 析构时,--计数,计数减到0,release();}int use_count(){return *_pcount;}// 像指针一样T& operator*(){return *_ptr;}T* operator->(){return _ptr;}T* get() const{return _ptr;}private:T* _ptr;int* _pcount;};// weak_ptr模拟// 不支持RAII,不参与资源管理template<class T>class weak_ptr{public:// RAIIweak_ptr():_ptr(nullptr){}weak_ptr(const shared_ptr<T>& sp){_ptr = sp.get();}weak_ptr<T>& operator=(const shared_ptr<T>& sp){_ptr = sp.get();return *this;}// 像指针一样T& operator*(){return *_ptr;}T* operator->(){return _ptr;}private:T* _ptr;};
}

🌟结束语

       今天内容就到这里啦,时间过得很快,大家沉下心来好好学习,会有一定的收获的,大家多多坚持,嘻嘻,成功路上注定孤独,因为坚持的人不多。那请大家举起自己的小手给博主一键三连,有你们的支持是我最大的动力💞💞💞,回见。

​​ 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/624213.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

箭头函数有哪些不适用场景

&#x1f90d; 前端开发工程师、技术日更博主、已过CET6 &#x1f368; 阿珊和她的猫_CSDN博客专家、23年度博客之星前端领域TOP1 &#x1f560; 牛客高级专题作者、打造专栏《前端面试必备》 、《2024面试高频手撕题》 &#x1f35a; 蓝桥云课签约作者、上架课程《Vue.js 和 E…

leaflet知识点:地图窗格panes的应用

一&#xff0c;需求背景 地图中存在无人机&#xff0c;停机坪&#xff0c;航线三个图层&#xff0c;需要实现无人机图层显示在最上面&#xff0c;停机坪图层显示在最下面&#xff0c;航线图层显示在中间。 二&#xff0c;遇到问题 由下图可知航线图层所在overlayPane窗格的z-…

【教程】ubuntu20.04 下配置 Charm-crypto 0.5 实验环境

目录 前言先决条件基本依赖安装准备好 gcc&#xff0c;make 和 perl准备好 m4&#xff0c;flex&#xff0c;bison 和 libssl-dev安装 Python3.x&#xff0c;pip3 和 pyparsing 安装 OpenSSL安装 GMP5.x安装 PBC安装 Charm-crypto5.0安装开发环境检验 Charm-crypto5.0 安装成功参…

AIGC教育行业全景报告:AI助教和家教成真,学习机迎来新机遇

原文&#xff1a;AIGC教育行业全景报告&#xff1a;AI助教和家教成真&#xff0c;学习机迎来新机遇 - AI新智界 图片来源&#xff1a;由无界AI生成 经过一年的快速迭代&#xff0c;业内对于生成式AI将会率先落地于哪些行业已经有了答案。 教育领域&#xff0c;不仅被OpenAI列…

实验案例二:配置路由器实现互通

1、实验环境 实验用具包括两台路由器{或交换机)&#xff0e;一根双绞线缆&#xff0c;一台PC&#xff0c;一条Console线缆 2、需求描述 如图6.14所示&#xff0c;将两台路由器的Gig0/0接口相连&#xff0e;通过一台PC连接设备的Console端口并配置P地址(192.168.1.0/24)&#…

规则引擎之LiteFlow应用

官网地址&#xff1a;LiteFlow DEMO 整体结构 1.引入maven依赖 <dependency><groupId>com.yomahub</groupId><artifactId>liteflow-spring-boot-starter</artifactId><version>2.11.4.2</version> </dependency> 2. 配置yml …

平台系统的微信支付服务突然不可用问题记录

背景 我们平台系统的微信支付突然不可用&#xff0c;用户点击支付都提示错误“系统繁忙”。 排查 查看日志&#xff0c;发现“支付聚合服务”调用“微信支付服务”的http请求返回read timeout&#xff0c;问题很显然出在“微信支付服务”。http请求报read timeout&#xff0…

OpenAI宣布GPT-4-Turbo全面升级,GPT-4 Turbo 新增视觉理解能力,可同时处理文本和图像信息

OpenAI宣布GPT-4-Turbo全面升级&#xff0c;GPT-4 Turbo with Vision新增视觉理解能力&#xff0c;可同时处理文本和图像信息&#xff0c;极大简化了开发流程。 OpenAI宣布GPT-4 Turbo全面升级&#xff01;根据官方说法&#xff0c;这一波 GPT 的升级包括&#xff1a; 更长的上…

由于找不到krpt.dll,无法继续执行代码的5种解决方法

在正常使用电脑的过程中&#xff0c;当尝试启动某个应用程序或者执行特定功能时&#xff0c;系统突然弹出一个错误提示窗口&#xff0c;明确指出由于缺失关键性文件——krpt.dll&#xff0c;导致当前运行的软件无法正常读取并执行相应的程序代码&#xff0c;进而无法顺利完成预…

初级软件测试常见问题

1.JMeter &#xff08;1&#xff09;在http请求的时候&#xff0c;消息体数据中的数据需要用{}和“”标记起来&#xff0c;变量要用${}括起来。 &#xff08;2&#xff09;在响应断言的时候&#xff0c;要根据测试模式输出的内容来改变测试字段&#xff0c;假如输出错误可以把…

根据ELK官网指引部署ELK- ECK-Elastic-​ Kibana​-Learn-ELK-(一)

**Attention: 1、You need open the ELK official website and step by step to deploy . 2、If you copy my command ,you must check them if it not match your environment . 一、official website Elastic documentation | Elastic Check there. 二、 ECK简介…

Token2049主办方遭遇假门票风波,韩国罗马基金会Charles Lee损失50万美元

加密货币——遍地黄金&#xff1f;还是遍地陷阱&#xff1f; 尽管伊朗空袭以色列导致中东局势愈发紧张&#xff0c;但加密社区对当地市场的热情丝毫没有受到影响&#xff0c;不出意外的话&#xff0c;Token 2049这场全球最受瞩目的加密货币盛会将于4月18至19日在迪拜如期举行&…