C++11新特性之智能指针|内存泄漏
文章目录
一、智能指针
二、内存泄漏
1.什么是内存泄漏，内存泄漏的危害
2.内存泄漏的分类
3.避免内存泄漏的方案
三、智能指针的使用及原理
1.RAII
2.智能指针的原理
3.std::auto_ptr
4.std::unique_ptr
6.std::weak_ptr
四、c++11和boost中智能指针的关系
一、智能指针
二、内存泄漏
1.什么是内存泄漏，内存泄漏的危害
内存泄漏:内存泄漏指是因为疏忽或者错误造成程序未能释放已经不再使用的内存情况。内存泄漏并不是指内存在物理上的消息，而是应用程序分配某段内存后，因为涉及错误，失去了对该段内存的控制，造成了内存的浪费。
内存泄漏的危害：如os,后台服务等，出现内存泄漏会导致程序响应越来越慢，最终卡死。
void MemoryLeaks()
{
// 1.内存申请了忘记释放
int* p1 = (int*)malloc(sizeof(int));
int* p2 = new int;
// 2.异常安全问题
int* p3 = new int[10];
Func(); // 这里Func函数抛异常导致 delete[] p3未执行，p3没被释放.
delete[] p3;
}2.内存泄漏的分类
- 堆内存泄漏
堆内存指的是程序中必须要分配通过malloc/calloc/realloc/new等从堆中分配的一块内存，用完后必须通过调用相应的free或者delete删除，假设程序的涉及错误导致这部分的内存没有被释放，那么这部分空间将无法被再使用，就会产生heap leak
- 系统资源泄漏
指程序使用系统分配的资源，比如套接字，fd,管道等没有使用对应函数释放，导致系统资源的浪费，严重可能导致系统效能减小，系统执行不稳定。
3.避免内存泄漏的方案
1. 工程前期良好的设计规范，养成良好的编码规范，申请的内存空间记着匹配的去释放。 ps ：这个理想状态。但是如果碰上异常时，就算注意释放了，还是可能会出问题。需要下一条智能指针来管理才有保证。2. 采用 RAII 思想或者智能指针来管理资源。}3. 有些公司内部规范使用内部实现的私有内存管理库。这套库自带内存泄漏检测的功能选项。4. 出问题了使用内存泄漏工具检测。 不过很多工具都不够靠谱，或者收费昂贵。
三、智能指针的使用及原理
1.RAII
RAII是利用对象声明周期来控制程序资源，如内存，文件句柄，网络连接，互斥量等技术。在对象构造时获取资源，接着控制对资源的访问使之在对象的生命周期内始终保持有效，最后在对象析构的时候释放资源。这种方法：1.不需要显示释放资源 2.采用这种方式，对象所需的资源在其声明周期内始终有效。
2.智能指针的原理
智能指针，即需要像指针一样解引用去访问空间所指的内容，因此在模板中需要*,->重载。
智能指针的原理就是：
1.RAII
2.重载operator*和operator->，具有像指针一样的行为
template
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;
}; 3.std::auto_ptr
c++98中的库就提供了auto_ptr的智能指针，auto_ptr的实现原理是：管理权转移的思想
namespace jelly
{
template
class auto_ptr
{
public:
auto_ptr(T* ptr)
:_ptr(ptr)
{}
~auto_ptr()
{
if(_ptr)
delete _ptr;
}
//管理权转移
auto_ptr(auto_ptr& ap)
:_ptr(ap._ptr)
{
ap._ptr = nullptr;
}
T& operator*()
{
return *ptr;
}
T* operator->()
{
return _ptr;
}
private:
T* _ptr;
};
} 这样会有问题，如下：
int main()
{
auto_ptr sp1(new int);
auto_ptr sp2(sp1); //管理权转移
//sp1悬空了
}
4.std::unique_ptr
c++11中提供更靠谱的unique_ptr
unique_ptr的实现原理：简单粗暴的防拷贝。模拟实现以下unique_ptr
namespace jelly
{
template
class unique_ptr
{
public:
unique_ptr(T* ptr)
:_ptr(ptr)
{}
~unique_ptr()
{
if (_ptr)
{
cout << "delete:" << _ptr << endl;
delete _ptr;
}
}
// 像指针一样使用
T& operator*(){ return *_ptr;}
T* operator->() { return _ptr;}
unique_ptr(const unique_ptr& sp) = delete; //防止拷贝
unique_ptr& operator=(const unique_ptr& sp) = delete; //防止赋值
private:
T* _ptr;
};
} 5.std::shared_ptr
c++11中开始提供更靠谱并支持拷贝的shared_ptr
shared_ptr原理：通过引用计数的方式来实现shared_ptr对象之间的共享资源。例如：办公室的老师晚上下班前会通知，最后走的学生锁门。
1、shared_ptr在其内部，每个资源都维护了一份计数，用来记录该份资源被几个对象共享
2.在对象被销毁时（也就是析构函数调用）,就说明自己不使用该资源了，对象的引用计数--
3.如果引用计数是0，就说明自己是最后一个使用该资源的对象，必须释放该资源
4.如果不是0，就说明除了自己还有其他对象在使用该份资源，不能释放该资源，否则其他对象就变成了野指针。
namespace jelly
{
template
class shared_ptr
{
public:
shared_ptr(T * ptr)
:_ptr(ptr)
,_pcount(new int(1))
{}
~shared_ptr()
{
//析构的时候--计数
if(--(*_pcount 0) )
{
delete _pcount;
delete _ptr;
}
shared_ptr(const shared_ptr & sp) //拷贝构造
:_ptr(sp.ptr)
,_pcount(sp._pcount) //浅拷贝
{
++(*_pcount);
}
//赋值
//shared_ptr sp1(new(int(1));
//shared_ptr sp2(new(int(2));
//shared_ptr sp4(new(int(10));
//sp1 = sp4;
//注意：1.sp1原来所指向的pcount--,sp4所指向的pcount++
//sp4 = sp1; sp4 --pcount == 0,自己原来的资源释放掉
//2.被复制的对象pcount--
shared_ptr & operator=(shared_ptr & sp)
{
//自己不能给自己赋值
if(sp._ptr != _ptr) //资源的地址是一样的
{
if(--(*_pcount) == 0)
{
delete _ptr; //释放掉原来的资源
delete _pcount; //释放掉计数
}
_ptr = sp._ptr;
_count = sp._count;
++（*_pcount);
}
return *this;
}
T& operator*()
{
return *_ptr;
}
T* operator->()
{
return _ptr;
}
}
private:
T* _ptr;
int * _pcount; //指向同一块计数
}；
} shared_ptr的线程安全问题
shared_ptr的线程安全分为两方面：
1.智能指针对象中引用计数是多个智能指针对象共享的，两个线程中的智能指针引用计数同时++或--，这个操作不是原子的，这样引用计数就会错乱，会导致资源未释放或者程序崩溃，所以智能指针中的++或--需要加锁，也就是说引用计数的操作是线程安全的
2.智能指针管理的对象存放在堆上，两个线程同时去访问，就会导致线程安全问题。
所以shared_ptr增加了一个锁来解决这个问题
#include
#include
#include
using namespace std;
namespace jelly
{
//1.RAII
//2.指针
//3.拷贝
//shared_ptr本身是线程安全的
//shared_ptr管理的对象不是线程安全的
template
class shared_ptr
{
public:
shared_ptr(T* ptr)
:_ptr(ptr)
, _pcount(new int(1))
,_pmtx(new mutex)
{
}
void Release()
{
_pmtx->lock();
bool deleteFlag = false;
if (--(*_pcount) == 0)
{
delete _ptr;
delete _pcount;
deleteFlag = true;
}
_pmtx->unlock();
if (deleteFlag)
{
delete _ptmx;
}
}
~shared_ptr()
{
Release();
}
void AddCount()
{
_pmtx->lock();
++(*_pcount);
_pmtx->unlock();
}
//拷贝构造
shared_ptr(const shared_ptr& sp)
:_ptr(sp._ptr)
, _pcount(sp._pcount)
,_pmtx(sp._pmtx)
{
//++(*_pcount);
AddCount();
}
//赋值
shared_ptr& operator = (const shared_ptr& sp)
{
//要判断是否是最后一个
//也要防止自己赋值给自己 这里用指针指向来判断
if (sp._ptr != _ptr)
{
/*if (--(*_pcount) == 0)
{
delete _ptr;
delete _pcount;
}*/
Release();
_pcount = sp._pcount;
_ptr = sp._ptr;
//注意这里要拷贝锁的指针
_pmtx = sp._pmtx;
//++(*_pcount);
AddCount();
}
return *this;
}
T* operator->()
{
return _ptr;
}
T& operator*()
{
return *_ptr;
}
T* get()
{
return _ptr;
}
int use_count()
{
return *_pcount;
}
private:
T* _ptr;
int* _pcount;
mutex* _pmtx;
}; shared_ptr中的循环引用
struct ListNode
{
int _data;
shared_ptr _prev;
shared_ptr _next;
~ListNode(){ cout << "~ListNode()" << endl; }
};
int main()
{
shared_ptr node1(new ListNode);
shared_ptr 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;
} 1.node1和node2两个智能指针对象指向两个节点，引用计数变成1，我们不需要delete
2.node1_next指向node2,node2的prev指向node1 引用计数变成2
3.node1和node2析构，引用计数减到1，但是_next还指向下一个节点，_prev还指向上一个节点
4.也就是说_next析构了，node2就释放
5.也就是说_prev析构了，node1就十分
6.但是_next属于node的成员，node1释放了，_next才会析构，而node1由_prev管理，_prev属于node2成员，这种就是循环引用，谁也不会释放
解决方案如下：在引用计数下，把节点中的_prev和_next改成weak_ptr
原理：node1->next = node2;
node2->prev = node1;时候weak_ptr的_next和_prev不会增加node1和node2的引用计数
6.std::weak_ptr
struct ListNode
{
int _data;
weak_ptr _prev;
weak_ptr _next;
~ListNode(){ cout << "~ListNode()" << endl; }
};
int main()
{
shared_ptr node1(new ListNode);
shared_ptr 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;
} 四、c++11和boost中智能指针的关系
1.c++98中产生了第一个智能指针auto_ptr
2.c++boost给出了更实用的scoped_ptr和shared_ptr,weak_ptr
3.c++TR1,引入了shared_ptr等
4.c++11引入了unique_ptr和shared_ptr,weak_ptr。unique_ptr对应boost的scoped_ptr。并且这些智能指针的实现原理是参考boost实现的。