109-智能指针(带引用计数的智能指针)

本文详细介绍了智能指针的原理,特别是带引用计数的shared_ptr和weak_ptr。通过模拟实现展示了它们如何解决资源管理问题,特别是在多线程环境中的引用计数线程安全。此外,还探讨了智能指针在解决循环引用和自定义删除器方面的作用,以及在多线程中如何确保线程安全地访问共享对象。

1、智能指针(带引用计数的智能指针)

shared_ptr和weak_ptr;

带引用计数的好处: 多个智能指针可以管理同一个资源。

带引用计数的智能指针是怎么解决多个指针持有一个资源的?

  • 带引用计数: 给每一个对象的资源,匹配一个引用计数
  • 当1个智能指针引用这个资源的时候,这个资源相应的引用计数就加1,当这个智能指针出作用域,不再使用这个资源的时候,这个资源的引用计数就减1。
  • 当引用计数减1不为0的时候,这个智能指针不使用这个资源了,但是还有其他智能指针在使用这个资源,这个智能指针不能析构这个资源,只能直接走人。
  • 当引用计数减1为0的时候,说明当前智能指针是最后使用这个资源的智能指针,所以它要负责这个资源的释放。(完美的解决了智能指针的浅拷贝—就是多个智能指针多次释放同一个资源)

1.1、模拟实现shared_ptr

引用计数类的实现:
在这里插入图片描述
然后我们给之前定义的智能指针,添加这个成员
在这里插入图片描述

拷贝构造:
在这里插入图片描述
赋值重载:
在这里插入图片描述
在这里插入图片描述
检查自己原先指向的资源,因为自己要改变指向了,如果执行delRef后,引用计数为0的话,就释放资源;
在这里插入图片描述
main函数中:
在这里插入图片描述
在这里插入图片描述
注意:

上面的CSmartPtr和标准的shared_ptr的区别是:

  1. 引用计数的加减无法在多线程的情况下保证安全;
  2. shared_ptr将m_count定义成atomic_int类型,原子整形类,通过CAS来保证++和–的线程安全的。

库中的shared_ptr和weak_ptr都是线程安全的,可以直接使用在多线程的环境下。

#include <iostream>
#include <memory>
using namespace std;


//对资源进行引用计数的类
template<typename T>
class RefCnt
{
public:
	RefCnt(T* ptr = nullptr)
		:mptr(ptr)
	{
		if (mptr != nullptr)
		{
			mcount = 1;
		}
	}
	void addRef() { mcount++; }		//增加资源的引用计数
	int  defRef() { return --mcount; }
	void show() { cout << mcount << endl; }
private:
	T* mptr;
	atomic_int mcount;
};

template<typename T>
class CSmartPtr
{
public:
	CSmartPtr(T* p = nullptr)
		:ptr(p)
	{
		mpRefCnt = new RefCnt<T>(ptr);
	}
	~CSmartPtr()
	{
		if (0 == mpRefCnt->defRef())
		{
			delete ptr;
			ptr = nullptr;
		}
	}
	T& operator*()
	{
		return *ptr;
	}
	T* operator->()
	{
		return ptr;
	}
	void Count() { return mpRefCnt->show(); }

	CSmartPtr(const CSmartPtr<T>& src)
		:ptr(src.ptr), mpRefCnt(src.mpRefCnt)
	{
		if (ptr != nullptr)
		{
			mpRefCnt->addRef();
		}
	}
	CSmartPtr<T>& operator=(const CSmartPtr<T>& src)
	{
		if (this == &src)
		{
			return *this;
		}
		if (0 == mpRefCnt->defRef())
		{
			delete ptr;
		}
		ptr = src.ptr;
		mpRefCnt = src.mpRefCnt;
		mpRefCnt->addRef();
		return *this;
	}

private:
	T* ptr;		//指向资源的指针
	RefCnt<T>* mpRefCnt;	//指向该资源引用计数的类
};

int main()
{
	CSmartPtr<int>p(new int(50));
	CSmartPtr<int>q(p);
	cout << *p << endl;
	cout << *q << endl;
	p.Count();
	cout << p.operator->() << endl;

}

1.2、shared_ptr的交叉引用的问题

在这里插入图片描述
弱智能指针观察强智能指针,强智能指针观察资源(内存)
在这里插入图片描述
强智能指针循环引用(交叉引用)是什么问题?什么结果?怎么解决?
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
但是如果我们这么调用呢?
在这里插入图片描述
在这里插入图片描述

  • 出main函数作用域,pb先析构(将B资源的引用计数从2减为1),再析构pa(将A资源的引用计数从2减为1),此后,AB对象的引用计数均为1,对象不能析构;
  • 造成对象new出来的资源无法释放,严重的资源泄漏问题。

在这里插入图片描述
在这里插入图片描述
定义对象的时候,使用强智能指针shared_ptr:
在这里插入图片描述
引用对象时,使用弱智能指针weak_ptr:
在这里插入图片描述
运行成功:
在这里插入图片描述
完全没有问题。

弱智能指针只是观察作用,查看对象是否活着,不会造成引用计数改变。
在这里插入图片描述
在这里插入图片描述
可以正常释放资源!


假如说,现在A里面有一个好的方法:
在这里插入图片描述
在这里插入图片描述

  • 在A类中有一个testA函数,B类中弱智能指针是无法调用A类的testA函数的;

  • 弱智能指针只会观察资源,不能使用资源;

  • 弱智能指针没有提供*->运算符重载,不能将弱智能指针当成裸指针看待。

在这里插入图片描述
怎么解决弱指针指针不能调用函数的问题?

  • 将弱智能指针提升!使用lock()进行提升,提升之后它也是一个强智能指针。
    在这里插入图片描述
  • 在多线程中,弱智能指针观察的资源有可能被释放,有可能没有被释放,主要就是根据引用计数是否为0;
  • 弱智能指针需要使用对象,需要从一个观察者提升为强智能指针,在提升的过程中有可能提升失败,资源已经释放了,有可能提升成功,资源还没释放。

在main函数中调用:
在这里插入图片描述
在这里插入图片描述

class B;
class A
{
public:
	A() { cout << "A()构造" << endl; }
	~A() { cout << "~A()析构" << endl; }
	weak_ptr<B>ptr2;
	void testA() { cout << "非常好的方法" << endl; }
};
class B
{
public:
	B() { cout << "B()构造" << endl; }
	~B() { cout << "~B()析构" << endl; }
	void func()
	{
		shared_ptr<A>ps = ptr1.lock();
		if (ps != nullptr)
		{
			ps->testA();
		}
		cout << ps.use_count() << endl;//智能指针ps提升成功,引用技术加1到2
		//智能指针ps出函数作用域自动析构,引用计数从2减到1
	}
	weak_ptr<A>ptr1;
};
int main()
{
	shared_ptr<A>ptra(new A());
	shared_ptr<B>ptrb(new B());
	ptra->ptr2 = ptrb;
	ptrb->ptr1 = ptra;
	cout << ptra.use_count() << endl;//1
	cout << ptra.use_count() << endl;//1
	ptrb->func();
	cout << ptra.use_count() << endl;//1
	cout << ptra.use_count() << endl;//1
	ptrb->func();
}

1.3、多线程访问共享对象的线程安全问题

在这里插入图片描述
在这里插入图片描述
直接模拟 多线程访问共享对象线程安全问题。
在这里插入图片描述

添加代码:

  • 主线程先睡上2s再释放资源。

在这里插入图片描述
运行结果:

  • 代码正常;

在这里插入图片描述
修改代码:

  • 将子线程进行睡眠2s再进行调用函数,此时在main线程中,就已经将p指针释放了;非常不合理

在这里插入图片描述
解决方法:

  • 我们在q访问A对象的时候,需要侦测一下A对象是否存活;使用强弱智能指针;

对象被释放,检测出来问题:
在这里插入图片描述
智能指针出作用域就会将引用计数-1,在这里会释放A资源;
在这里插入图片描述
在这里插入图片描述
正常访问的情况:

  • 将子线程的睡眠2s的代码放到主线程的作用域中,这样,资源A就不会释放了;子线程就能够正常访问了。

在这里插入图片描述
在这里插入图片描述
强弱智能指针在线程中,通过对象的资源计数 来 监测对象的生存状态。

1.4、自定义删除器

在这里插入图片描述

  • 并不是说所有资源的释放都是delete指针 进行释放的。
  • 比如说,用智能指针来托管数组的资源,delete就得加个中括号[]了,
  • 如果用智能指针管理的是文件资源,或者是其他资源,释放的方式不是delete。

在这里插入图片描述
这2个智能指针都可以提供自定义删除器。

系统的智能指针的析构函数是一个函数的调用;
在这里插入图片描述

举例1—数组资源的自定义释放
  • 智能指针管理一个数组资源,使用自定义的删除器Mydeletor删除资源。
    在这里插入图片描述
    使用了自定义的删除器:
    在这里插入图片描述
举例2—文件资源的自定义释放

在这里插入图片描述
在这里插入图片描述
先构造的后析构,后构造的先析构

问题: 上面自定义的删除器虽然能用,但是很麻烦,能不能直接在定义智能指针的语句中指定自定义的删除器?

使用lamda表达式:

c++11对标之前c++中的 函数对象 ,lamda表达式非常灵活;

lamda表达式对象的类型如何确定?

function函数对象类型,可以留下lamda表达式的类型
在这里插入图片描述
在这里插入图片描述

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

ThinkingF

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值