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

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 Optional避免空指针异常的实现

Java Optional避免空指针异常的实现

《JavaOptional避免空指针异常的实现》空指针异常一直是困扰开发者的常见问题之一,本文主要介绍了JavaOptional避免空指针异常的实现,帮助开发者编写更健壮、可读性更高的代码,减少因... 目录一、Optional 概述二、Optional 的创建三、Optional 的常用方法四、Optio
阅读更多...
使用C#代码在PDF文档中添加、删除和替换图片

使用C#代码在PDF文档中添加、删除和替换图片

《使用C#代码在PDF文档中添加、删除和替换图片》在当今数字化文档处理场景中,动态操作PDF文档中的图像已成为企业级应用开发的核心需求之一,本文将介绍如何在.NET平台使用C#代码在PDF文档中添加、... 目录引言用C#添加图片到PDF文档用C#删除PDF文档中的图片用C#替换PDF文档中的图片引言在当
阅读更多...
使用Sentinel自定义返回和实现区分来源方式

使用Sentinel自定义返回和实现区分来源方式

《使用Sentinel自定义返回和实现区分来源方式》：本文主要介绍使用Sentinel自定义返回和实现区分来源方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录Sentinel自定义返回和实现区分来源1. 自定义错误返回2. 实现区分来源总结Sentinel自定
阅读更多...
macOS无效Launchpad图标轻松删除的4 种实用方法

macOS无效Launchpad图标轻松删除的4 种实用方法

《macOS无效Launchpad图标轻松删除的4种实用方法》mac中不在appstore上下载的应用经常在删除后它的图标还残留在launchpad中，并且长按图标也不会出现删除符号，下面解决这个问... 在 MACOS 上，Launchpad（也就是「启动台」）是一个便捷的 App 启动工具。但有时候，应
阅读更多...
Mysql删除几亿条数据表中的部分数据的方法实现

Mysql删除几亿条数据表中的部分数据的方法实现

《Mysql删除几亿条数据表中的部分数据的方法实现》在MySQL中删除一个大表中的数据时,需要特别注意操作的性能和对系统的影响,本文主要介绍了Mysql删除几亿条数据表中的部分数据的方法实现,具有一定... 目录1、需求2、方案1. 使用 DELETE 语句分批删除2. 使用 INPLACE ALTER T
阅读更多...
如何自定义Nginx JSON日志格式配置

如何自定义Nginx JSON日志格式配置

《如何自定义NginxJSON日志格式配置》Nginx作为最流行的Web服务器之一,其灵活的日志配置能力允许我们根据需求定制日志格式,本文将详细介绍如何配置Nginx以JSON格式记录访问日志,这种... 目录前言为什么选择jsON格式日志？配置步骤详解1. 安装Nginx服务2. 自定义JSON日志格式各
阅读更多...
Android自定义Scrollbar的两种实现方式

Android自定义Scrollbar的两种实现方式

《Android自定义Scrollbar的两种实现方式》本文介绍两种实现自定义滚动条的方法,分别通过ItemDecoration方案和独立View方案实现滚动条定制化,文章通过代码示例讲解的非常详细,... 目录方案一：ItemDecoration实现（推荐用于RecyclerView）实现原理完整代码实现
阅读更多...
C++从序列容器中删除元素的四种方法

C++从序列容器中删除元素的四种方法

《C++从序列容器中删除元素的四种方法》删除元素的方法在序列容器和关联容器之间是非常不同的,在序列容器中,vector和string是最常用的,但这里也会介绍deque和list以供全面了解,尽管在一... 目录一、简介二、移除给定位置的元素三、移除与某个值相等的元素3.1、序列容器vector、deque
阅读更多...
C++原地删除有序数组重复项的N种方法

C++原地删除有序数组重复项的N种方法

《C++原地删除有序数组重复项的N种方法》给定一个排序数组,你需要在原地删除重复出现的元素,使得每个元素只出现一次,返回移除后数组的新长度,不要使用额外的数组空间,你必须在原地修改输入数组并在使用O(... 目录一、问题二、问题分析三、算法实现四、问题变体：最多保留两次五、分析和代码实现5.1、问题分析5.
阅读更多...
SQL Server清除日志文件ERRORLOG和删除tempdb.mdf

SQL Server清除日志文件ERRORLOG和删除tempdb.mdf

《SQLServer清除日志文件ERRORLOG和删除tempdb.mdf》数据库再使用一段时间后,日志文件会增大,特别是在磁盘容量不足的情况下,更是需要缩减,以下为缩减方法：如果可以停止SQLSe... 目录缩减 ERRORLOG 文件（停止服务后）停止 SQL Server 服务：找到错误日志文件：删除
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2