【C++】智能指针 RAII

最新推荐文章于 2023-02-02 19:25:39 发布

ly_1115

最新推荐文章于 2023-02-02 19:25:39 发布

阅读量394

点赞数 5

分类专栏： C++ / 数据结构文章标签： RAII智能指针 auto_ptr unique_ptr shared_ptr

本文链接：https://blog.csdn.net/ly_6699/article/details/89076849

版权

C++ / 数据结构专栏收录该内容

54 篇文章 13 订阅

订阅专栏

【本节内容】

1. 智能指针的使用和原理： RAII+重载操作符 * 和 ->
2. 三种智能指针的介绍
auto_ptr：原理- 管理权转移，不足- 拷贝后前指针悬空会导致出现野指针，禁止使用
unique_ptr：原理- 禁止任何拷贝，不足- 无法完成拷贝，可鼓励使用
shared_ptr：原理- 通过引用计数实现资源共享，不足- 会出现线程安全和循环引用的问题，不过循环引用问题的解决可用weak_ptr

具体讲解可继续向下看~~

我们平时会不会出现以下两个问题：

malloc出来的空间，没有进行释放，存在内存泄漏的问题。
如果在malloc和free之间如果存在抛异常，那么还是有内存泄漏。

这在上篇博客异常中也说到的安全问题，这时候我们就需要用智能指针解决了。

1. 智能指针的使用和原理

1.1 RAII ：资源请求且初始化

RAII（Resource Acquisition Is Initialization）是一种利用对象生命周期来控制程序资源（如内存、文件句柄、网络连接、互斥量等等）的简单技术。

在对象构造时获取资源，接着控制对资源的访问使之在对象的生命周期内始终保持有效，最后在对象析构的时候释放资源。借此，我们实际上把管理一份资源的责任托管给了一个对象。这种做法有两大好处：
1）不需要显式地释放资源。
2）采用这种方式，对象所需的资源在其生命期内始终保持有效。

并且以下两种情况会调用析构函数：

程序正常走完，出了作用域，sp对象被销毁调用析构函数清理资源
程序抛出异常，跳出作用域到catch处，此时出了作用域sp对象被销毁调用析构函数清理资源

#include <iostream>
#include <exception>
#include <stddef.h>
using namespace std;
 
template<class T> // 使用RAII思想设计的SmartPtr类
class SmartPtr
{
public:
	SmartPtr(T* ptr = nullptr)
		:_ptr(ptr)
	{}
	~SmartPtr()
	{
		if (_ptr)
			delete _ptr;
		cout << "~SmatrPtr()" << endl;
	}
private:
	T* _ptr;
};

void Test()
{
	int* tmp = (int*)malloc(sizeof(int)* 100);
	//将tmp指针委托给sp对象，让sp对象帮助tmp指针管理空间，直到tmp指针被销毁
	SmartPtr<int> sp(tmp);   //若tmp未正常释放，sp帮助完成释放
	string s = "程序出错";
	throw s;
	free(tmp);
}
int main()
{
	try
	{
		Test();
	}
	catch (string& s)
	{
		cout << s << endl;
	}
	catch (...)
	{
		cout << "未知错误" << endl;
	}
	return 0;
}

在这里插入图片描述
由上面的运行结果，我们可以看出由于在抛出异常后程序跳转至catch处执行了打印“程序出错”，故throw后面的代码free(tmp)并未执行，但是tmp的资源仍然释放成功了。这就归功于前面SmartPtr<int> sp(tmp)即将tmp的空间交给对象sp管理，所以tmp出作用域之后，sp对象自动调用析构函数帮助清理tmp资源，此时指针tmp的空间得到了正确的释放，这就是智能指针的用处。

1.2 智能指针的原理

其实上述的SmartPtr还不能将其称为智能指针，因为它还不具有指针的行为。指针可以解引用，也可以通过 -> 去访问所指空间中的内容，因此 AutoPtr模板类中还得需要将* 和 -> 进行重载，才可让其像指针一样去使用。

template<class T> 
class SmartPtr
{
public:
	SmartPtr(T* ptr = nullptr)
		: _ptr(ptr)
	{}
	~SmartPtr()
	{
		if (_ptr)
		{
			delete _ptr;
			cout << "~Smarptr" << endl;
		}
	}        
	T& operator*() { return *_ptr; }
	T* operator->() { return _ptr; }
private:
	T* _ptr;
};
struct Date 
{
	int _year;    
	int _month;    
	int _day;
	void Display()
	{
		cout << _year << "-" << _month << "-" << _day << endl;
	}
};

int main()
{
	SmartPtr<int> sp1(new int);
    *sp1 = 10;      //sp1.operator*() = 10;
    cout << *sp1 << endl;
	SmartPtr<Date> sp2(new Date);
	 //需要注意的是这里应该是sp2.operator->()->_year = 2019;    
	 //本来应该是sp2->->_year这里语法上为了可读性，省略了一个->   
	sp2->_year = 2019;
	sp2->_month = 1;
	sp2->_day = 1;
	sp2->Display();
	system("pause");
	return 0;
}

总结一下智能指针的原理：

RAII特性：资源请求并初始化，利用对象生命周期控制程序资源
重载operator*和opertaor->，具有像指针一样的行为

2.三种智能指针的介绍

2.1 std::auto_ptr（管理权转移 - 严禁使用）

C++98 中提供了auto_ptr的智能指针。有需要的可以查看std::auto_ptr文档
auto_ptr的实现原理：管理权转移思想

注意： auto_ptr设计有 当对象拷贝或赋值后，前面的对象就悬空了 的缺陷，所以严禁使用！！

auto_ptr的使用：

// C++库中的智能指针都定义在memory这个头文件中
#include <memory>
class Date
{
public:
	Date() { cout << "Date()" << endl; }
	~Date(){ cout << "~Date()" << endl; }
	int _year;
	int _month;
	int _day;
};
int main()
{
	auto_ptr<Date> ap(new Date);
	auto_ptr<Date> copy(ap);  //默认浅拷贝
	//ap->_year = 2019;        //程序崩溃
	copy->_year = 2019;      //正常运行
	system（“pause”）;
	return 0;
}

在这里插入图片描述
在这里，我们会发现ap->_year = 2019;使程序崩溃了！！原因在于auto_ptr的底层实现是转移管理权的思想，此时原空间交由copy管理，所以copy->_year = 2019; 运行正常，而ap是野指无法为其赋值导致程序崩溃。

auto_ptr的模拟实现

namespace LY
{
	template<class T>
	class AutoPtr//模拟实现auto_ptr
	{
	public:
		AutoPtr(T* Ptr=NULL)
			:_Ptr(Ptr)
		{}
		~AutoPtr()
		{
			if (_Ptr)
			{
				cout << "delete:" << _Ptr << endl;
				delete _Ptr;
			}
		}
		// LY::AutoPtr<int> copy(ap);拷贝构造
		AutoPtr(AutoPtr<T>& ap)
			:_Ptr(ap._Ptr)
		{
			ap._Ptr = nullptr;
		}
		AutoPtr<T>& operator=(AutoPtr<T>&ap)    //赋值重载
		{
			if (this != &ap)   //检测是否自己给自己赋值
			{
				if (_Ptr)       //释放当前对象资源
					delete _Ptr;
				_Ptr = ap._Ptr;      //转移ap的资源到当前对象中
				ap._Ptr = NULL;
			}
			return *this;
		}
		T& operator*() { return *_Ptr; }
		T* operator->(){ return _Ptr; }
	private:
		T* _Ptr;
	};
}
int main()
{
	LY::AutoPtr<Date> ap(new Date);
	LY::AutoPtr<Date> copy(ap);
	//ap->_year = 2019;        //程序崩溃
	copy->_year = 2019;      //正常运行
	system("pause");
	return 0;
}

解决一块空间被多个对象使用的方法：就是一旦发现拷贝，就将原对象的资源转移到现对象中，然后再断开原资源和原对象的联系。
带来了新的问题：释放资源虽然没问题，但此时原对象的指针已经悬空，而使用者仍然去访问原对象的话，就会导致程序崩溃。所以禁止使用！！

2.2 std::unique_ptr（防拷贝 - 建议使用）

针对C++98中auto_ptr的设计缺陷，C++11中提供了更靠谱的unique_ptr。有需要的伙伴可以查看unique_ptr文档
unique_ptr的实现原理：简单粗暴的防拷贝，鼓励使用
unique_ptr的不足：无法完成拷贝

unique_ptr的使用

int main()
{
	unique_ptr<Date> ap(new Date);
	//unique_ptr<Date> copy(ap);   //编译不通过
	ap->_year = 2019;        //正常运行
	system("pause");
	return 0;
}

这里unique_ptr<Date> copy(ap);这句代码直接在编译时期报错，由此也可以证明unique_ptr 是禁止拷贝的。

unique_ptr的模拟实现

防拷贝实现方法：

C++98防拷贝方式，只声明不实现+声明为私有
这里必须声明为私有，这样能保证类外也无法直接实现拷贝函数，只声明可使编译无错误同时防止系统生成默认的拷贝构造函数
C++11防拷贝方式：=delete ，这样函数无论如何都无法实现

具体代码如下：

namespace LY
{
	template<class T>
	class UniquePtr
	{
	public:
		UniquePtr(T* ptr)
			:_Ptr(ptr)
		{}

		~UniquePtr()
		{
			cout << "deleteU:" << _Ptr << endl;
			delete _Ptr;
		}
		T& operator*()     {	return *_Ptr; }
		T* operator->()    {	return _Ptr;  }

	private:
		//C++98防拷贝方式，只声明不实现+声明为私有
		/*UniquePtr(UniquePtr<T> const& );
		UniquePtr&<T> operator=(UniquePtr<T> const&);*/

		//C++11防拷贝方式：=delete
		UniquePtr(UniquePtr<T> const&) = delete;
		UniquePtr&<T> operator=(UniquePtr<T> const&) = delete;
		T* _Ptr;
	};
}
int main()
{
	LY::UniquePtr<Date> ap(new Date);
	LY::UniquePtr<Date> copy(ap);   //编译不通过
	//ap->_year = 2019;   //正常运行
	system("pause");
	return 0;
}

2.3 std::shared_ptr （资源共享 - 注意循环引用但可解决）

C++11中还有更靠谱并且可以支持拷贝的shared_ptr，同样有shared_ptr文档
shared_ptr 的实现原理：通过引用计数的方法实现多个对象可共享资源。
shared_ptr的不足：它有线程安全和循环引用的问题

这里还有几点需要注意：

shared_ptr在其内部，给每个资源都维护了着一份计数，用来记录该份资源被几个对象共享。
在对象被销毁时(也就是析构函数调用)，就说明自己不使用该资源了，对象的引用计数减一。
如果引用计数减到0，就说明自己是最后一个使用该资源的对象，必须释放该资源；
如果不是0，就说明除了自己还有其他对象在使用该份资源，不能释放该资源，否则其他对象就成野指针了。

shared_ptr的模拟实现

namespace LY
{
	template <class T>
	class SharedPtr
	{
	public:
		SharedPtr(T* ptr)
			:_Ptr(ptr)
			, _pcount(new int(1))
			, _pmtx(new mutex)//处理线程安全问题，保证只有一个线程对pcount进行++
		{}
		~SharedPtr()
		{
			/*if (--(*_pcount) == 0)
			{
			cout << "delete:" << _ptr << endl;
			delete _ptr;
			delete _pcount;
			}*/
			Release();
		}

		//LY::SharedPtr<int> copy(sp);
		SharedPtr(SharedPtr<int> const& sp)
			:_Ptr(sp._Ptr)
			, _pcount(sp._pcount)
			, _pmtx(sp._pmtx)
		{
			if (_Ptr)//若是一个空指针则不用计数
				AddRefcount();
		}

		//sp = sp1
		SharedPtr<int>& operator=(SharedPtr<int> const& sp)
		{//先检查sp是否是最后一个指向资源的对象，如果是先释放资源
			if (_Ptr != sp._Ptr)//如果不是相同的对象才进行赋值
			{
				Release();//释放原来的空间，指向新的空间

				_Ptr = sp._Ptr;
				_pcount = sp._pcount;
				_pmtx = sp._pmtx;

				AddRefcount();
			}

			return *this;
		}

		int AddRefcount()
		{
			//保证是原子操作
			_pmtx->lock();
			++(*_pcount);
			_pmtx->unlock();

			return *_pcount;
		}

		void Release()
		{
			bool deleteflag = false;
			//引用计数减一，如果减到0即是最后一个使用资源的对象，就释放资源
			if (--(*_pcount) == 0)
			{
				cout << "deleteS:" << _Ptr << endl;
				delete _Ptr;
				delete _pcount;
				deleteflag = true;
			}
			if (deleteflag == true)//如果是最后一个对象，也把锁资源释放
				delete _pmtx;
		}
		T& operator*()   {	return *_Ptr;}
		T* operator->()  {	return _Ptr; }
		int use_count()  {	return *_pcount;}
		T* Get() { return _Ptr; }
	private:
		T* _Ptr;    //指向管理资源的指针
		int* _pcount;     // 引用计数
		mutex* _pmtx;     //互斥锁
	};
}

shared_ptr的线程安全问题

智能指针对象中引用计数是多个智能指针对象共享的，两个线程中智能指针的引用计数同时++或–，这个操作不是原子的，引用计数原来是1，++了两次，可能还是2.这样引用计数就错乱了。会导致资源未释放或者程序崩溃的问题。所以只能指针中引用计数++、–是需要加锁的，也就是说引用计数的操作是线程安全的。
智能指针管理的对象存放在堆上，两个线程中同时去访问，会导致线程安全问题。
注意一点，不仅是双核CPU有线程安全问题，单核CPU也有线程安全问题，由于单核CPU线程在执行时会有时间片概念，一个线程在执行时若是时间片用完了会暂时休眠，让其他进程执行，等下一个时间片再执行，此时就会造成和双核CPU同样的线程安全问题。

void SharePtrFunc(SharedPtr<Date>& sp, size_t n)
{
	cout << sp.Get() << endl;
	for (size_t i = 0; i < n; ++i)
	{
		// 这里智能指针拷贝会++计数，智能指针析构会--计数，这里是线程安全的。
		//SharedPtr<Date> copy(sp);
		// 这里智能指针访问管理的资源，不是线程安全的。所以我们看看这些值两个线程++了2n次，但是最
		//终看到的结果，并一定是加了2n
			copy->_year++;
		copy->_month++;
		copy->_day++;
	}
}
int main()
{
	SharedPtr<Date> p(new Date);
	cout << p.Get() << endl;

	const size_t n = 100;
	thread t1(SharePtrFunc, p, n);
	thread t2(SharePtrFunc, p, n);
	t1.join();
	t2.join();
	cout << p->_year << endl;
	cout << p->_month << endl;
	cout << p->_day << endl;
	return 0;
}

shared_ptr的循环引用

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

struct ListNode
{
	int _data;
	shared_ptr<ListNode> _prev;
	shared_ptr<ListNode> _next;
	~ListNode()
	{
		cout << "~ListNode()" << endl; 
	}
};
int main()
{
	shared_ptr<ListNode> node1(new ListNode);
	shared_ptr<ListNode> node2(new ListNode);
	cout << node1.use_count() << endl;
	cout << node2.use_count() << endl;
	node1->_next = node2;
	node2->_prev = node1;
	cout << node1.use_count() << endl;
	cout << node2.use_count() << endl;
	return 0;
}

循环引用分析：

node1和node2两个智能指针对象指向两个节点，引用计数变成1，我们不需要手动delete。
node1的_next指向node2，node2的_prev指向node1，引用计数变成2。
node1和node2析构，引用计数减到1，但是_next还指向下一个节点。但是_prev还指向上一个节点。
也就是说_next析构了，node2就释放了。
也就是说_prev析构了，node1就释放了。
但是_next属于node的成员，node1释放了，_next才会析构，而node1由_prev管理，_prev属于node2 成员，所以这就叫循环引用，谁也不会释放。

在这里插入图片描述

循环引用的解决方法：weak_ptr
weak_ptr其实并不属于指针指针，它并不符合RAII的特性
解决方案：1.识别到循环引用的场景 2.使用weak_ptr

// 解决方案：在引用计数的场景下，把节点中的_prev和_next改成weak_ptr就可以了
// 原理就是，node1->_next = node2;和node2->_prev = node1;时weak_ptr的_next和_prev不会增加
//node1和node2的引用计数。

struct ListNode
{
	int _data;
	weak_ptr<ListNode> _prev;
	weak_ptr<ListNode> _next;
	~ListNode(){ cout << "~ListNode()" << endl; }
};
int main()
{
	shared_ptr<ListNode> node1(new ListNode);
	shared_ptr<ListNode> node2(new ListNode);
	cout << node1.use_count() << endl;
	cout << node2.use_count() << endl;
	node1->_next = node2;
	node2->_prev = node1;
	cout << node1.use_count() << endl;
	cout << node2.use_count() << endl;
	return 0;
}