1.为什么需要智能指针
下面我们来分析一下以下代码会不会出现什么问题.
在Func函数中,申请了p1和p2所指向的两个空间,又调用了div函数,我们思考一下,如果在div函数中出现了异常,他会干扰执行流,跳到main函数中去捕获异常,这时,我们在Func函数中申请的空间就没有得到释放,造成了内存泄漏,为了更好的管理空间的销毁,我们引入了智能指针来帮助我们释放空间。
int div()
{
int a, b;
cin >> a >> b;
if (b == 0)
throw invalid_argument("除0错误");
return a / b;
}
void Func()
{
int* p1 = new int;
int* p2 = new int;
cout << div() << endl;
delete p1;
delete p2;
}
int main()
{
try
{
Func();
}
catch (exception& e)
{
cout << e.what() << endl;
}
return 0;
}
2.内存泄漏
2.1什么是内存泄漏
什么是内存泄漏:内存泄漏指因为疏忽或错误造成程序未能释放已经不再使用的内存的情况。内
存泄漏并不是指内存在物理上的消失,而是应用程序分配某段内存后,因为设计错误,失去了对
该段内存的控制,因而造成了内存的浪费。
内存泄漏的危害:长期运行的程序出现内存泄漏,影响很大,如操作系统、后台服务等等,出现
内存泄漏会导致响应越来越慢,最终卡死。
2.2内存泄漏的分类
2.3如何避免内存泄漏
1.工程前期良好的设计规范,养成良好的编码规范,申请的空间记得去匹配释放。
2.采取RAII思想或者智能指针来管理资源。
3.有些公司内部规范使用内部实现私有内存管理库。
4.. 出问题了使用内存泄漏工具检测。
3.智能指针的使用和原理
3.1 RAII
RAII(Resource Acquisition Is Initialization)是一种利用对象生命周期来控制程序资源(如内
存、文件句柄、网络连接、互斥量等等)的简单技术。
在对象构造时获取资源,接着控制对资源的访问使之在对象的生命周期内始终保持有效,最后在
对象析构的时候释放资源。借此,我们实际上把管理一份资源的责任托管给了一个对象。这种做
法有两大好处:
1.不需要显式地释放资源。
2.采用这种方式,对象所需的资源在其生命期内始终保持有效
我们将上面列子的代码使用RAII思想设计一份智能指针。
template<class T>
class SmartPtr {
public:
SmartPtr(T* ptr = nullptr)
: _ptr(ptr)
{}
~SmartPtr()
{
if(_ptr)
delete _ptr;
}
private:
T* _ptr;
};
此时我们便是这样初始化两个指针,将申请的两个空间交给了sp1和sp2,这两个对象在初始化时,就获得了管理的资源,同时无论是否有异常发生,他们在离开作用域的时候都会自动的调用析构函数释放空间。
void Func()
{
ShardPtr<int> sp1(new int);
ShardPtr<int> sp2(new int);
cout << div() << endl;
}
3.2智能指针的原理
上述的SmartPtr还不能将其称为智能指针,因为它还不具有指针的行为。指针可以解引用,也可
以通过->去访问所指空间中的内容,所以我们还需要将*,->进行重载,才具有指针的行为。所以智能指针最基础的代码应该是这样的。
template<class T>
class SmartPtr {
public:
SmartPtr(T* ptr = nullptr)
: _ptr(ptr)
{}
~SmartPtr()
{
if(_ptr)
delete _ptr;
}
T& operator*() {return *_ptr;}
T* operator->() {return _ptr;}
private:
T* _ptr;
};
总结一下智能指针的原理:
1.就是具有RAII的思想特性
2.重载了operator*和operator->,具有像指针一样的行为。
3.3 不同类型的智能指针
3.3.1 std::auto_ptr
C++98版本的库中就提供了auto_ptr的智能指针。下面演示的auto_ptr的使用及问题。
在这里自定义一个类A,方便我们后续的观察
class A
{
public:
A(const int& a = 0)
:_a(a)
{
cout << "A(const int& a = 0)" << endl;
};
~A()
{
cout << "~A()" << " " << _a<<endl;
}
int _a;
};
我们先用库里面的auto_ptr观察一下他有什么缺陷。
ap1的值为1,ap2中的值为2,ap3我们用ap1去拷贝构造,观察下面结果。
auto_ptr<A> ap1(new A(1));
auto_ptr<A> ap2(new A(2));
auto_ptr<A> ap3(ap1);
我们发现ap1的值转递给了ap3,但是ap1却变成了空,这就是auto_ptr存在的问题,管理权限发生了转移,ap1不在管理任何资源,也就是说被拷贝对象的管理权限转移给了拷贝对象。这一点在拷贝赋值中也是一样的。

结论:
template<class T>
class auto_ptr
{
public:
auto_ptr(T* ptr)
:_ptr(ptr)
{
};
auto_ptr(auto_ptr<T>& ap)
:_ptr(ap._ptr)
{
// 管理权转移
ap._ptr = nullptr;
}
// 像指针一样使用
T& operator*()
{
return *_ptr;
}
T* operator->()
{
return _ptr;
}
auto_ptr<T>& operator=( auto_ptr<T>& ap)
{
// 检测是否为自己给自己赋值
if (this != &ap)
{
// 释放当前对象中资源
if (_ptr)
delete _ptr;
// 转移ap中资源到当前对象中
_ptr = ap._ptr;
ap._ptr = nullptr;
}
return *this;
}
~auto_ptr()
{
delete _ptr;
}
private:
T* _ptr;
};
3.3.2 std::unique_ptr
在C++11版本中提供了更靠谱的unique_ptr,但是unique_ptr是一种简单粗暴的防止拷贝的智能指针
因为他禁止拷贝所以,不会有类型auto_ptr管理权限转移的情况
emplate<class T>
class unique_ptr
{
public:
unique_ptr(T* ptr)
:_ptr(ptr)
{
};
unique_ptr<T>& operator=(const unique_ptr<T>& up) = delete;
unique_ptr(const unique_ptr<T>& up) = delete;
T& operator*()
{
return *_ptr;
}
T* operator->()
{
return _ptr;
}
~unique_ptr()
{
cout << "delete: " << _ptr << endl;
delete _ptr;
}
private:
T* _ptr;
};
3.3.3 std::shared_ptr std::weak_ptr
在C++11中还提供了靠谱有又支持拷贝的shared_ptr
1. shared_ptr在其内部,给每个资源都维护了着一份计数,用来记录该份资源被几个对象共
享。
2. 在对象被销毁时(也就是析构函数调用),就说明自己不使用该资源了,对象的引用计数减
一。
3. 如果引用计数是0,就说明自己是最后一个使用该资源的对象,必须释放该资源;
4. 如果不是0,就说明除了自己还有其他对象在使用该份资源,不能释放该资源,否则其他对
象就成野指针了。
std::shared_ptr<int> p1(new int(10)); // 引用计数=1
std::shared_ptr<int> p2 = p1; // 引用计数=2
p1.reset(); // 引用计数=1
// p2析构时引用计数归0,资源释放
我们下面来看一个列子,看看会出现什么问题
首先构造一个结构体
struct B
{
A _val;
shared_ptr<B> _next ;
shared_ptr<B> _prev;
};
运行一下下面这份代码,观察一下允许结果
shared_ptr<B> sp1(new B);
shared_ptr<B> sp2(new B);
sp1->_next = sp2;
sp2->_prev = sp1;
我们发现只调用了构造函数,好像没有析构,这就是我们要说的一个问题叫做,循环引用
为什么会出现这种情况呢?下面我们来分析一下

那我们怎么解决这个问题呢?
C++11中又提供了一个weak_ptr,专门用来解决shared_ptr中的循环引用问题。weak_ptr时专门用来存放资源的,他不会管理资源。所以不会有引用计数的增加。我们将结构体B中的成员修改一下
struct B
{
A _val;
weak_ptr<B> _next ;
weak_ptr<B> _prev;
};
这样就可以正常的析构了

定制删除器
我们接下来看一下下面的列子,构造一个数组,那么我们所写的析构函数就会存在问题,这就需要我们在创建数组的时候,定制一个删除器给shared_ptr运用
shared_ptr<A> sp1(new A[10]);

这本质上就是一个可调用函数,我们可以传仿函数,或者lambda表达式都是可以,我们用仿函数来实现
template<class T>
struct DeleteArr
{
void operator()(T* ptr)
{
delete[] ptr;
}
};
此时我们只需要在构造的时候,加入我们的定制删除器就可以解决了
shared_ptr<A> sp1(new A[10],DeleteArr<A>());

接下来我们来简单模拟实现shared_ptr,和weak_ptr.
shard_ptr:
template<class T>
class shared_ptr
{
public:
shared_ptr(T* ptr = nullptr)
:_ptr(ptr)
, _pcount(new int(1))
{
};
template<class T,class D>//如果传入的是数组,则需要定制删除器,用模板重载一个构造函数
shared_ptr(T* ptr,D del)
:_ptr(ptr)
, _pcount(new int(1))
,_del(del)
{
};
shared_ptr(const shared_ptr<T>& sp)
:_ptr(sp._ptr)
, _pcount(sp._pcount)
{
(*_pcount)++;
}
T& operator*()
{
return *_ptr;
}
T* operator->()
{
return _ptr;
}
shared_ptr<T>& operator=(shared_ptr<T>& sp)
{
//防止自我拷贝
if (_ptr == sp._ptr)
return *this;
if (--(*_pcount) == 0)
{
cout << "delete: " << _ptr << endl;;
delete _ptr;
delete _pcount;
}
_ptr = sp._ptr;
_pcount = sp._pcount;
++(*_pcount);
return *this;
}
T* get() const//为了方便weak_ptr获取资源
{
return _ptr;
}
~shared_ptr()
{
if (--(*_pcount) == 0)
{
cout << "delete: " << _ptr;
delete _pcount;
//_del(_ptr);
delete _ptr;
}
}
private:
T* _ptr;
int* _pcount;
//因为我们传入的类型可能是仿函数,也可能是lambda表达式,
//所以用一个包装器来作为删除器,并给一个默认删除值
function<void(T*)> _del = [](T* ptr){ delete ptr;};
};
weak_ptr:
template<class T>
class weak_ptr
{
public:
weak_ptr()
:_ptr(nullptr)
{
};
weak_ptr(const xc::shared_ptr<T>& sp)
:_ptr(sp.get())
{
};
weak_ptr<T>& operator=(const xc::shared_ptr<T>& sp)
{
_ptr = sp.get();
return *this;
}
private:
T* _ptr;
};

329

被折叠的 条评论
为什么被折叠?



