上一篇文章介绍了智能指针的基本概念及boost库里基本的智能指针,这里主要模拟实现库里面的智能指针(简单实现)。https://blog.csdn.net/xu1105775448/article/details/80625936
auto_ptr
1.auto_ptr具有RAII和像指针一样的特点。
2.模拟实现:
template<class T>
class Auto_Ptr
{
public:
//RAII
Auto_Ptr(T* ptr)
:_ptr(ptr)
{}
~Auto_Ptr()
{
delete _ptr;
}
//像指针一样
T& operator*()
{
return *_ptr;
}
T* operator->()
{
return _ptr;
}
protected:
T* _ptr;
};
void TestAutoPtr()
{
int *ptr = new int(10);
Auto_Ptr<int> p(ptr);
/**p = 20;
cout << *p << endl;*/
Auto_Ptr<int> p1(p);
}
3.但是如果只写上面的代码就会有一个问题,当我们想将一个AutoPtr赋值(或拷贝构造)给另一个AutoPtr,我们没写它的拷贝构造和赋值运算符重载,就会调用编译器的,这是浅拷贝,就会导致空间被多次释放。
4.auto_ptr思想是:管理权的转移。也就是当发现有一个auto_ptr对象a1赋值给另一个对象a2或者拷贝构造a2,那么a1获得的资源就交给a2,a2来管理a1指向的那块空间,a1就指向NULL,这样就保证了每块空间只有一个auto_ptr对象指向它,就不会有空间被释放多次的问题。
5.自己模拟实现完善版本的:
template<class T>
class AutoPtr
{
public:
//构造函数获得资源
AutoPtr(T* ptr)
:_ptr(ptr)
{}
//管理权转移
AutoPtr(AutoPtr<T>& ap) //参数不能加const
:_ptr(ap._ptr)
{
ap._ptr = NULL;
}
AutoPtr<T>& operator=(AutoPtr<T>& ap)
{
if (this != &ap)
{
//先释放自己的
delete _ptr;
_ptr = ap._ptr;
ap._ptr = NULL;
}
return *this;
}
//析构函数清理资源
~AutoPtr()
{
if (_ptr != NULL)
{
delete _ptr;
printf("0X%p\n", _ptr);
}
}
//像指针一样
T& operator*()
{
return *_ptr;
}
T* operator->()
{
return _ptr;
}
protected:
T* _ptr;
};
void TestAutoPtr()
{
AutoPtr<int> ap1(new int(10));
AutoPtr<int> ap2(new int(20));
ap1 = ap2;
}
6.auto_ptr管理权的另一种实现方式:(增加一个bool类型的owner,作为一个标志,如果我管理这块空间,那么我的owner就为true,没有管理就为false);但是这种方式没有上面直接将指向的空间置空好,若ap1拷贝构造ap2,那么这里的所有权就在ap2上,即ap2的owner为true,ap1的owner为false,但是如果ap2的生命周期比ap1短就有问题。例如函数传参时,当用ap2传给一个函数fun,而fun得参数为一个auto_ptr对象ap,就会将ap2得管理权转移给ap,当ap出了作用域就会调用其析构函数,就会将ap指向的空间释放掉,就会使得再想访问ap2就会出错。
template<class T>
class AutoPtr
{
public:
//构造函数获得资源
AutoPtr(T* ptr)
:_ptr(ptr)
,_owner(true)
{}
//管理权转移
AutoPt