智能指针(带引用计数、不带引用计数、自定义删除器)

2024-05-01 16:28

本文主要是介绍智能指针(带引用计数、不带引用计数、自定义删除器),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

1.不带引用计数的智能指针

1.1 auto_ptr

1.2 scoped_ptr

 1.3 unique_ptr

2.带引用计数的智能指针

2.1 强智能指针循环引用(交叉引用)问题

2.2 多线程访问共享对象问题

2.3 自定义智能指针(shared_ptr仿写)

 3.自定义删除器


1.不带引用计数的智能指针

1.1 auto_ptr

auto_ptr是C++函数库中的

ptr1指向内存区域。

拷贝构造后,ptr2指向内存区域,ptr1置空。

auto_ptr解决浅拷贝的策略:

永远让最后一个指针管理资源,之前的指针都置成nullptr ,如果再访问之前的指针,程序会崩溃。所以,不推荐使用。

#include <iostream>
#include <memory>
using namespace std;int main()
{	auto_ptr<int> ptr1(new int);auto_ptr<int> ptr2(ptr1);*ptr2 = 20;cout << *ptr1 << endl;
}

1.2 scoped_ptr

解决浅拷贝的方法简单粗暴,直接删除拷贝构造和赋值运算符重载函数,不支持赋值功能,赋值的话会报错。

scoped_ptr(const scoped_ptr<T>&) = delete;
scoped_ptr<T>& operator=(const scoped_ptr<T>&) = delete;

从 C++11 开始,std::unique_ptr 成为了标准库中的一部分,它提供了与 scoped_ptr 类似的功能,但更加完善和灵活。std::unique_ptr 支持自定义删除器(deleter),可以与标准库容器(如 std::vector)一起使用,并且提供了移动语义,允许在不进行深复制的情况下转移所有权。 

 1.3 unique_ptr

同scoped_ptr一样,也删除了拷贝构造函数和赋值运算符重载函数,但是支持右值引用作为参数的函数。

unique_ptr(const unique_ptr<T>&) = delete;
unique_ptr<T>& operator=(const unique_ptr<T>&) = delete;unique_ptr(unique_ptr<T>&& src);
unique_ptr<T>& operator=(unique_ptr<T>&& src);
template <typename T>
unique_ptr<T> getSmartPtr()
{unique_ptr<T> ptr(new T());return ptr;
}
int main()
{unique_ptr<int> p1(new int);//unique_ptr<int> p2(p1);//错误,拷贝构造函数已在底部被删除//std::move=>C++11右值引用  std::move得到当前变量的右值类型unique_ptr<int> p2(std::move(p1));unique_ptr<int> ptr1 = getSmartPtr<int>();ptr1 = getSmartPtr<int>();
}

unique_ptr同样是让最后一个指针管理资源,之前的指针都置成nullptr,与auto_ptr不同的是,unique_ptr的这个特点是用户可以感知到的,因为用户如果需要赋值,必须要使用move,将原指针管理的资源挪到现指针。

2.带引用计数的智能指针

主要介绍shared_ptr和weak_ptr两个智能指针

什么是带引用计数的智能指针?

当允许多个智能指针指向同一个资源的时候,每一个智能指针都会给资源的引用计数加1,当一个智能指针析构时,同样会使资源的引用计数减1,这样最后一个智能指针把资源的引用计数从1减到0时,就说明该资源可以释放了,由最后一个智能指针的析构函数来处理资源的释放问题,这就是引用计数的概念。

要对资源的引用个数进行计数,那么大家知道,对于整数的++或者- -操作,它并不是线程安全的操作,因此shared_ptr和weak_ptr底层的引用计数已经通过CAS操作,保证了引用计数加减的原子特性,因此shared_ptr和weak_ptr本身就是线程安全的带引用计数的智能指针。

曾经有一道面试的问题这样问“shared_ptr智能指针的引用计数在哪里存放?”,当然,这个问题需要看shared_ptr的源码了,如下:

private:/*下面这两个是shared_ptr的成员变量,_Ptr是指向内存资源的指针,_Rep是指向new出来的计数器对象的指针,该计数器对象包含了资源的一个引用计数器count*/element_type * _Ptr{nullptr};_Ref_count_base * _Rep{nullptr};

因此,shared_ptr智能指针的资源引用计数器在内存的heap堆上。shared_ptr一般被称作强智能指针,weak_ptr被称作弱智能指针。

2.1 强智能指针循环引用(交叉引用)问题

如下代码:

#include <iostream>
#include <memory>
using namespace std;class B; // 前置声明类B
class A
{
public:A() { cout << "A()" << endl; }~A() { cout << "~A()" << endl; }shared_ptr<B> _ptrb; // 指向B对象的智能指针
};
class B
{
public:B() { cout << "B()" << endl; }~B() { cout << "~B()" << endl; }shared_ptr<A> _ptra; // 指向A对象的智能指针
};
int main()
{shared_ptr<A> ptra(new A());// ptra指向A对象,A的引用计数为1shared_ptr<B> ptrb(new B());// ptrb指向B对象,B的引用计数为1ptra->_ptrb = ptrb;// A对象的成员变量_ptrb也指向B对象,B的引用计数为2ptrb->_ptra = ptra;// B对象的成员变量_ptra也指向A对象,A的引用计数为2cout << ptra.use_count() << endl; // 打印A的引用计数结果:2cout << ptrb.use_count() << endl; // 打印B的引用计数结果:2/*出main函数作用域,ptra和ptrb两个局部对象析构,分别给A对象和B对象的引用计数从2减到1,达不到释放A和B的条件(释放的条件是A和B的引用计数为0),因此造成两个new出来的A和B对象无法释放,导致内存泄露,这个问题就是“强智能指针的交叉引用(循环引用)问题”*/return 0;
}

测试结果:

 

可以看到,A和B对象并没有进行析构,造成内存泄露,原因如下:

能够看出“交叉引用”的问题所在,就是对象无法析构,资源无法释放,那怎么解决这个问题呢?请注意强弱智能指针的一个重要应用规则:定义对象时,用强智能指针shared_ptr,在其它地方引用对象时,使用弱智能指针weak_ptr。

代码如下:

_ptra.lock()方法将弱指针提升为强指针,弱指针只能观察资源而不能使用资源,提升为强智能指针后就可以访问类A中的成员方法了。


class B;
class A
{
public:A() { cout << "A()" << endl; }~A() { cout << "~A()" << endl; }void testA() { cout << "非常好用的方法" << endl; }weak_ptr<B> _ptrb;
};class B
{
public:B() { cout << "B()" << endl; }~B() { cout << "~B()" << endl; }void func(){shared_ptr<A> ps = _ptra.lock();//提升方法,转变为强指针if (ps != nullptr)//提升成功,(指针还在,没有被释放){ps->testA();}}weak_ptr<A> _ptra;//无法访问资源
};int main()
{shared_ptr<A> pa(new A());shared_ptr<B> pb(new B());pa->_ptrb = pb;pb->_ptra = pa;cout << pa.use_count() << endl;cout << pb.use_count() << endl;return 0;
}

测试结果:

 

2.2 多线程访问共享对象问题

智能指针解决多线程访问共享对象的线程安全问题

2.3 自定义智能指针(shared_ptr仿写)

//对资源进行引用计数的类
template<typename T>
class RefCnt
{
public:RefCnt(T* ptr=nullptr):mptr(ptr){if (mptr != nullptr)mcount = 1;}void addRef() { mcount++; }//增加资源的引用计数int delRef() { return --mcount; }
private:T* mptr;int mcount;//目前实现的,mcount++,--mcount不是线程安全的,库中采用的是原子类型,atomic_int  CAS
};
template<typename T>
class CSmartPtr//shared_ptr
{
public:CSmartPtr(T* ptr = nullptr) :mptr(ptr) {mpRefCnt = new RefCnt<T>(mptr);}~CSmartPtr() {if (0 == mpRefCnt->delRef()){delete mptr;mptr = nullptr;}}T& operator*() { return *mptr; }T* operator->() { return mptr; }CSmartPtr(const CSmartPtr<T>& src):mptr(src.mptr),mpRefCnt(src.mpRefCnt){mpRefCnt->addRef();}CSmartPtr<T>& operator=(const CSmartPtr<T>& src){if (this == &src)return *this;if (0 == mpRefCnt->delRef()){delete mptr;}mptr = src.mptr;mpRefCnt = src.mpRefCnt;mpRefCnt->addRef();return *this;}
private:T* mptr;//指向资源的指针RefCnt<T> *mpRefCnt;//指向该资源引用计数对象的指针
};int main()
{CSmartPtr<int> ptr1(new int);CSmartPtr<int> ptr2(ptr1);CSmartPtr<int> ptr3;ptr3 = ptr2;*ptr1 = 20;cout << *ptr2 << " " << *ptr3 << endl;return 0;
}

 3.自定义删除器

我们经常用智能指针管理的资源是堆内存,当智能指针出作用域的时候,在其析构函数中会delete释放堆内存资源,但是除了堆内存资源,智能指针还可以管理其它资源,比如打开的文件,此时对于文件指针的关闭,就不能用delete了,这时我们需要自定义智能指针释放资源的方式,先看看unique_ptr智能指针的析构函数代码,如下:

~unique_ptr() noexcept
{	// destroy the object
if (get() != pointer()){this->get_deleter()(get()); // 这里获取底层的删除器,进行函数对象的调用}
}template<typename T>class default_delete{public:void operator()(T* ptr){delete ptr;}
};

从unique_ptr的析构函数可以看到,如果要实现一个自定义的删除器,实际上就是定义一个函数对象而已,代码如下:

#include <functional>template<typename T>
class MyDeletor
{
public:void operator()(T* ptr)const{cout << "call MyDeletor.operator()" << endl;delete[]ptr;}
};template<typename T>
class MyFileDeletor
{
public:void operator()(T* ptr)const{cout << "call MyDeletor.operator()" << endl;fclose(ptr);}
};int main()
{unique_ptr<int, MyDeletor<int>> ptr1(new int[100]);//delete []ptr1unique_ptr<FILE, MyFileDeletor<FILE>> ptr2(fopen("data.txt", "w"));return 0;
}

当然这种方式需要定义额外的函数对象类型,不推荐,可以用C++11提供的函数对象function和lambda表达式更好的处理自定义删除器,代码如下:

int main()
{//lambda表达式=》函数对象 functionunique_ptr<int, function<void(int*)>> ptr1(new int[100],[](int* p)->void {cout << "call lambda release new int[100]" << endl;delete[] p;});unique_ptr<FILE, function<void(FILE*)>> ptr2(fopen("data.txt", "w"),[](FILE* p)->void {//指向返回值cout << "call lambda release new fopen" << endl;fclose(p);});return 0;
}

这篇关于智能指针(带引用计数、不带引用计数、自定义删除器)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!


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

相关文章

Java空指针异常NullPointerException的原因与解决方案

《Java空指针异常NullPointerException的原因与解决方案》在Java开发中,NullPointerException(空指针异常)是最常见的运行时异常之一,通常发生在程序尝试访问或... 目录一、空指针异常产生的原因1. 变量未初始化2. 对象引用被显式置为null3. 方法返回null

Druid连接池实现自定义数据库密码加解密功能

《Druid连接池实现自定义数据库密码加解密功能》在现代应用开发中,数据安全是至关重要的,本文将介绍如何在​​Druid​​连接池中实现自定义的数据库密码加解密功能,有需要的小伙伴可以参考一下... 目录1. 环境准备2. 密码加密算法的选择3. 自定义 ​​DruidDataSource​​ 的密码解密3

使用C#删除Excel表格中的重复行数据的代码详解

《使用C#删除Excel表格中的重复行数据的代码详解》重复行是指在Excel表格中完全相同的多行数据,删除这些重复行至关重要,因为它们不仅会干扰数据分析,还可能导致错误的决策和结论,所以本文给大家介绍... 目录简介使用工具C# 删除Excel工作表中的重复行语法工作原理实现代码C# 删除指定Excel单元

基于Python实现智能天气提醒助手

《基于Python实现智能天气提醒助手》这篇文章主要来和大家分享一个实用的Python天气提醒助手开发方案,这个工具可以方便地集成到青龙面板或其他调度框架中使用,有需要的小伙伴可以参考一下... 目录项目概述核心功能技术实现1. 天气API集成2. AI建议生成3. 消息推送环境配置使用方法完整代码项目特点

spring-gateway filters添加自定义过滤器实现流程分析(可插拔)

《spring-gatewayfilters添加自定义过滤器实现流程分析(可插拔)》:本文主要介绍spring-gatewayfilters添加自定义过滤器实现流程分析(可插拔),本文通过实例图... 目录需求背景需求拆解设计流程及作用域逻辑处理代码逻辑需求背景公司要求,通过公司网络代理访问的请求需要做请

JavaScript实战:智能密码生成器开发指南

本文通过JavaScript实战开发智能密码生成器,详解如何运用crypto.getRandomValues实现加密级随机密码生成,包含多字符组合、安全强度可视化、易混淆字符排除等企业级功能。学习密码强度检测算法与信息熵计算原理,获取可直接嵌入项目的完整代码,提升Web应用的安全开发能力 目录

利用Python实现Excel文件智能合并工具

《利用Python实现Excel文件智能合并工具》有时候,我们需要将多个Excel文件按照特定顺序合并成一个文件,这样可以更方便地进行后续的数据处理和分析,下面我们看看如何使用Python实现Exce... 目录运行结果为什么需要这个工具技术实现工具的核心功能代码解析使用示例工具优化与扩展有时候,我们需要将

Python对PDF书签进行添加,修改提取和删除操作

《Python对PDF书签进行添加,修改提取和删除操作》PDF书签是PDF文件中的导航工具,通常包含一个标题和一个跳转位置,本教程将详细介绍如何使用Python对PDF文件中的书签进行操作... 目录简介使用工具python 向 PDF 添加书签添加书签添加嵌套书签Python 修改 PDF 书签Pytho

Java资源管理和引用体系的使用详解

《Java资源管理和引用体系的使用详解》:本文主要介绍Java资源管理和引用体系的使用,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1、Java的引用体系1、强引用 (Strong Reference)2、软引用 (Soft Reference)3、弱引用 (W

C#实现查找并删除PDF中的空白页面

《C#实现查找并删除PDF中的空白页面》PDF文件中的空白页并不少见,因为它们有可能是作者有意留下的,也有可能是在处理文档时不小心添加的,下面我们来看看如何使用Spire.PDFfor.NET通过C#... 目录安装 Spire.PDF for .NETC# 查找并删除 PDF 文档中的空白页C# 添加与删