系列文章目录
文章目录
前言
在了解了C++异常之后,异常的出现,是会导致内存泄漏的,当一个函数开辟了堆空间,在释放之前直接抛出异常,当前栈帧中没有异常捕获,则会跳到上一个栈中。这时就会发送内存泄漏。本章我们通过智能指针来解决这个问题。
一、为什么需要智能指针?
下面我们先分析一下下面这段程序有没有什么内存方面的问题?提示一下:注意分析MergeSort
函数中的问题。
#include <iostream>
using namespace std;
int div()
{
int a, b;
cin >> a >> b;
if (b == 0)
throw invalid_argument("除0错误");
return a / b;
}
void Func()
{
// 1、如果p1这里new 抛异常会如何?
// 2、如果p2这里new 抛异常会如何?
// 3、如果div调用这里又会抛异常会如何?
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;
}
如果上诉的p1
或p2
只要一抛异常,后面的代码就不会执行,导致内存泄漏。
二、内存泄漏
2.1 什么是内存泄漏,内存泄漏的危害
什么是内存泄漏:内存泄漏指因为疏忽或错误造成程序未能释放已经不再使用的内存的情况。内存泄漏并不是指内存在物理上的消失,而是应用程序分配某段内存后,因为设计错误,失去了对该段内存的控制,因而造成了内存的浪费。
内存泄漏的危害:长期运行的程序出现内存泄漏,影响很大,如操作系统、后台服务等等,出现内存泄漏会导致响应越来越慢,最终卡死。
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.2 内存泄漏分类
C/C++程序中一般我们关心两种方面的内存泄漏:
-
堆内存泄漏(Heap leak):
堆内存指的是程序执行中依据须要分配通过malloc / calloc / realloc / new
等从堆中分配的一块内存,用完后必须通过调用相应的free
或者delete
删掉。假设程序的设计错误导致这部分内存没有被释放,那么以后这部分空间将无法再被使用,就会产生Heap Leak
。 -
系统资源泄漏:
指程序使用系统分配的资源,比方套接字、文件描述符、管道等没有使用对应的函数释放掉,导致系统资源的浪费,严重可导致系统效能减少,系统执行不稳定。
2.3 如何检测内存泄漏
- 在linux下内存泄漏检测:linux下几款内存泄漏检测工具
- 在windows下使用第三方工具:VLD工具说明
- 其他工具:内存泄漏工具比较
2.4 如何避免内存泄漏
- 工程前期良好的设计规范,养成良好的编码规范,申请的内存空间记着匹配的去释放。ps:这个理想状态。但是如果碰上异常时,就算注意释放了,还是可能会出问题。需要下一条智能指针来管理才有保证。
- 采用
RAII
思想或者智能指针来管理资源。 - 有些公司内部规范使用内部实现的私有内存管理库。这套库自带内存泄漏检测的功能选项。
- 出问题了使用内存泄漏工具检测。ps:不过很多工具都不够靠谱,或者收费昂贵。
内存泄漏非常常见,解决方案分为两种:1、事前预防型。如智能指针等。2、事后查错型。如泄
漏检测工具。
三、智能指针
一个最简单的指针指针实际上就是使用类对象的特性:
//使用智能指针
#include <iostream>
using namespace std;
int div()
{
int a, b;
cin >> a >> b;
if (b == 0)
throw invalid_argument("除0错误");
return a / b;
}
template<class T>
class SmartPtr
{
public:
SmartPtr(T* ptr)
:_ptr(ptr)
{}
~SmartPtr()
{
cout << "~Smartptr()" << endl;
delete _ptr;
}
private:
T* _ptr;
};
void Func()
{
//出作用域自动释放
SmartPtr<int> p1 = new int;
SmartPtr<int> p2 = new int;
cout << div() << endl;
}
int main()
{
try
{
Func();
}
catch (exception& e)
{
cout << e.what() << endl;
}
return 0;
}
3.1 RAII
RAII(Resource Acquisition Is Initialization
)是一种利用对象生命周期来控制程序资源(如内存、文件句柄、网络连接、互斥量等等)的简单技术。
在对象构造时获取资源,接着控制对资源的访问使之在对象的生命周期内始终保持有效,最后在对象析构的时候释放资源。借此,我们实际上把管理一份资源的责任托管给了一个对象。这种做法有两大好处:
- 不需要显式地释放资源。
- 采用这种方式,对象所需的资源在其生命期内始终保持有效。
3.2 智能指针的原理
上述的SmartPtr还不能将其称为智能指针,因为它还不具有指针的行为。指针可以解引用,也可以通过->去访问所指空间中的内容,因此:AutoPtr
模板类中还得需要将* 、->
重载下,才可让其像指针一样去使用。
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;
};
struct Date
{
int _year;
int _month;
int _day;
};
int main()
{
SmartPtr<int> sp1(new int);
*sp1 = 10;
cout << *sp1 << endl;
SmartPtr<Date> sparray(new Date);
// 需要注意的是这里应该是sparray.operator->()->_year = 2018;
// 本来应该是sparray->->_year这里语法上为了可读性,省略了一个->
sparray->_year = 2018;
sparray->_month = 1;
sparray->_day = 1;
cout << sparray->_year << sparray->_month << sparray->_day << endl;
return 0;
}
总结一下智能指针的原理:
- RAII特性
- 重载operator*和opertaor->,具有像指针一样的行为。
上诉的智能指针有一个问题,就是拷贝一个指针时,俩个指针对象指向同一个空间,这样会造成析构多次问题。
SmartPtr<int> sp1(new int);
*sp1 = 10;
cout << *sp1 << endl;
//报错,对已经释放的空间进行析构
SmartPtr<int> sp2(sp1);
智能指针模拟的是指针的行为,要俩个指针指向同一个空间是合理的,但是对于智能指针,在析构时又会造成问题该怎么办。
3.3 标准库中的智能指针
标准库中的智能指针在头文件中[< memory >
]https://legacy.cplusplus.com/reference/memory/
3.3.1 std::auto_ptr
auto_ptr文档
库中也不推荐使用,但是我们了解一下。
C++98版本的库中就提供了auto_ptr的智能指针。下面演示的auto_ptr
的使用及问题。
auto_ptr
在拷贝的时候采用管理权转移的思想.我们通过使用库中的来了解一下先。
#include <iostream>
#include <memory>
using namespace std;
//使用智能指针
int main()
{
auto_ptr<int> ap1(new int);
*ap1 = 1;
cout << *ap1 << endl;
auto_ptr<int> ap2(ap1);
*ap2 = 2;
cout << *ap2 << endl;
// 下面代码执行会程序崩溃,ap1已经没了
// cout << *ap1 << endl;
return 0;
}
auto_ptr
的实现原理:管理权转移的思想,下面简化模拟实现了一份bit::auto_ptr
来了解它的原理。
namespace bit
{
//管理权转移
template<class T>
class auto_ptr
{
public:
auto_ptr(T* sp)
:_ptr(sp)
{}
auto_ptr()
:_ptr(nullptr)
{}
auto_ptr(auto_ptr<T>& sp)
:_ptr(sp._ptr)
{
sp._ptr = nullptr;
}
auto_ptr<T>& operator=(auto_ptr<T>& sp)
{
//看是否是自己赋值给自己
if (&sp != this)
{
//释放当前对象的资源
if (_ptr)
delete _ptr;
//转移资源
_ptr = sp._ptr;
sp._ptr = nullptr;
}
return *this;
}
T& operator*()
{return *_ptr;}
T* operator->()
{return _ptr;}
~auto_ptr()
{
if (_ptr)
delete _ptr;
}
private:
T* _ptr;
};
}
测试
//结论:auto_ptr是一个失败设计,很多公司明确要求不能使用auto_ptr
int main()
{
bit::auto_ptr<int> sp1(new int);
bit::auto_ptr<int> sp2(sp1); // 管理权转移
// sp1悬空
*sp2 = 10;
cout << *sp2 << endl;
// 报错
//cout << *sp1 << endl;
sp1 = sp2;
cout << *sp1 << endl;
return 0;
}
3.3.2 std::unique_ptr
C++11中开始提供更靠谱的unique_ptr
C++11库才更新智能指针实现
C++11出来之前,boost
搞除了更好用的scoped_ptr/shared_ptr/weak_ptr
C++11将boost库中智能指针精华部分吸收了过来
C++11->unique_ptr/shared_ptr/weak_ptr
unique_ptr文档
unique_ptr
的实现原理:简单粗暴的防拷贝,下面简化模拟实现了一份·UniquePtr
来了解它的原理:
namespace bit
{
template<class T>
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<T>& sp) = delete;
unique_ptr<T>& operator=(const unique_ptr<T>& sp) = delete;
private:
T* _ptr;
};
}
测试
int main()
{
bit::unique_ptr<int> sp1(new int);
//bit::unique_ptr<int> sp2(sp1);
std::unique_ptr<int> sp3(new int);
//std::unique_ptr<int> sp4(sp1);
return 0;
}
// 引用计数支持多个拷贝管理同一个资源,最后一个析构对象释放资源
如果指针指向多个对象会怎样?
struct Date
{
Date()
:_year(1900)
,_month(1)
,_day(1)
{}
~Date()
{
cout << "~Date" << endl;
}
int _year;
int _month;
int _day;
};
int main()
{
unique_ptr<Date> up1(new Date);
unique_ptr<Date> up2(new Date[10]);
return 0;
}
析构时就会报错,因为unique_ptr底层是delete
.这就要用到定制删除器的概念,
在模板参数中D
就是可以定制的删除器,是仿函数。它给的是默认的删除器delete<T>
,我们可以自己传。也可以使用第二个特化用于数组的unique_ptr
。
struct Date
{
Date()
:_year(1900)
,_month(1)
,_day(1)
{}
~Date()
{
cout << "~Date" << endl;
}
int _year;
int _month;
int _day;
};
template<class T>
struct DeleteArray
{
void operator()(T* ptr)
{
delete[] ptr;
}
};
int main()
{
unique_ptr <Date> up1(new Date);
unique_ptr<Date, DeleteArray<Date>> up2(new Date[5]);
return 0;
}
struct Fclose
{
void operator()(FILE* ptr)
{
cout << "fclose(ptr);" << ptr << endl;
if(ptr)
fclose(ptr);
}
};
int main()
{
//打开文件
unique_ptr<FILE, Fclose> fp1(fopen("test.txt", "r"));
return 0;
}
3.3.3 std::shared_ptr
C++11中开始提供更靠谱的并且支持拷贝的shared_ptr
.
std::shared_ptr文档
shared_ptr
支持数组的删除:
struct Date
{
Date()
:_year(1900)
,_month(1)
,_day(1)
{}
~Date()
{
cout << "~Date" << endl;
}
int _year;
int _month;
int _day;
};
int main()
{
shared_ptr<Date> sp1(new Date);
shared_ptr<Date> sp2(sp1);
shared_ptr<Date> sp3(sp2);
cout << sp1.use_count() << endl;
//支持数组,但不支持传删除器模板参数
shared_ptr<Date[]> sp4(new Date[2]);
return 0;
}
而是支持传函数参数的定制删除器:
template<class T>
struct DeleteArray
{
void operator()(T* ptr)
{
if(ptr)
delete[] ptr;
}
};
struct Fclose
{
void operator()(FILE* ptr)
{
cout << "fclose(ptr);" << ptr << endl;
if(ptr)
fclose(ptr);
}
};
int main()
{
//支持数组,但不支持传模板参数
shared_ptr<Date[]> sp4(new Date[2]);
//支持传函数参数定制删除
shared_ptr<Date> sp5(new Date[2], DeleteArray<Date>());
shared_ptr<Date> sp6(new Date[2], [](Date* ptr) {delete[] ptr; });
shared_ptr<FILE> sp7(fopen("test.txt","r"), Fclose());
return 0;
}
介绍一下接口make_shared
这是一个类似于emplace
的接口,可以传对于类型的构造参数:
struct Date
{
Date(int year = 1900, int month = 1, int day = 1)
:_year(year)
,_month(month)
,_day(day)
{}
~Date()
{
cout << "~Date" << endl;
}
int _year;
int _month;
int _day;
};
int main()
{
shared_ptr<Date> sp8 = make_shared<Date>(2024, 8, 8);
return 0;
}
接下来我们实现一个简单的shared_ptr
:
首先我们知道shared_ptr
是通过引用计数来统计是否有多个个指针指向同一个资源的,那我们这个计数的变量是什么样的?能否单单是一个普通的变量呢?
很明显,如果是这样,sp1和sp2析构的时候,count
都-1
,这样俩个都析构了,谁指向了资源?
count
还是1
,资源是否释放?很明显会有资源泄露的风险。
静态的count是否可以呢?
很明显也是不可以的,因为静态成员属于整个类体系,只要是shared_ptr
类型,那么这个count
都会++。
我们应该使用一块空间去存count
:
sp1和sp2析构时,count == 0,这时再去析构资源和计数count
.才合理。
shared_ptr
在其内部,给每个资源都维护了着一份计数,用来记录该份资源被几个对象共享。- 在对象被销毁时(也就是析构函数调用),就说明自己不使用该资源了,对象的引用计数减一。
- 如果引用计数是
0
,就说明自己是最后一个使用该资源的对象,必须释放该资源; - 如果不是
0
,就说明除了自己还有其他对象在使用该份资源,不能释放该资源,否则其他对象就成野指针了。
namespace bit
{
template<class T>
class shared_ptr {
public:
shared_ptr(T* sp = nullptr)
:_ptr(sp)
,_pcount(new int(1))
{}
//拷贝构造
shared_ptr(const shared_ptr<T>& sp)
:_ptr(sp._ptr)
,_pcount(sp._pcount)
{
++(*_pcount);
}
//sp1 = sp2
shared_ptr<T> operator=(const shared_ptr<T>& sp)
{
//自己给自己赋值,sp1 = sp1 或 指向同一块资源的俩个指针,
if (_ptr == sp._ptr)
{
//调用析构函数,sp1原来指向的资源的计数需要--
//如果原来的资源到0,要进行析构
//析构函数最好是套一层,因为编译器处理成destroy比较敏感
Destory();
_ptr = sp._ptr;
_pcount = sp._pcount;
++(*_pcount);
}
return *this;
}
int use_count()
{
return *_pcount;
}
// 像指针一样使用
T& operator*()
{return *_ptr;}
T* operator->()
{return _ptr;}
T* get() const
{return _ptr;}
//析构
void Destory()
{
if (--(*_pcount) == 0)
{
if (_ptr)
delete _ptr;
delete _pcount;
_ptr = nullptr;
_pcount = nullptr;
}
}
~shared_ptr()
{
Destory();
}
private:
T* _ptr;
int* _pcount;//计数
};
}
智能指针不需要考虑移动构造和移动赋值,因为智能指针的拷贝构造和拷贝赋值的代价很低,单单是对计数++、--
.
定制删除器构造:
定制删除器本质是不同的析构函数,由于为止要删除的方式所以我们实现的Destroy()
需要改进,但是定制删除器如何传过去?
不能改变shared_ptr
的模板参数,如何添加成员del
?
template<class T>
class shared_ptr
{
public:
//定制删除器
template<class D>
shared_ptr(T* sp = nullptr, D del)
:_ptr(sp)
, _pcount(new int(1))
{
}
//析构
void Destory()
{
if (--(*_pcount) == 0)
{
if (_ptr)
//delete _ptr;
delete _pcount;
_ptr = nullptr;
_pcount = nullptr;
}
}
private:
T* _ptr;
int* _pcount;//计数
}
既然del
是一个可调用对象,那么我们可以使用包装器:
#include <functional>
template<class T>
class shared_ptr
{
public:
//定制删除器
template<class D>
shared_ptr(T* sp, D del)
:_ptr(sp)
, _pcount(new int(1))
, _del(del)
{}
//析构
void Destory()
{
if (--(*_pcount) == 0)
{
if (_ptr)
//delete _ptr;
delete _pcount;
_ptr = nullptr;
_pcount = nullptr;
}
}
private:
T* _ptr;
int* _pcount;//计数
function<void(T* ptr)> _del = [](T* ptr){delete ptr;};
}
测试:
struct Fclose
{
void operator()(FILE* ptr)
{
cout << "fclose(ptr);" << ptr << endl;
if(ptr)
fclose(ptr);
}
};
int main()
{
bit::shared_ptr<Date> sp1(new Date);
bit::shared_ptr<FILE> sp7(fopen("test.txt", "r"), Fclose());
return 0;
}
四、循环引用
4.1 循环引用内存泄漏问题
struct ListNode
{
int _data;
ListNode* _prev;
ListNode* _next;
~ListNode() { cout << "~ListNode()" << endl; }
};
int main()
{
std::shared_ptr<ListNode> node1(new ListNode);
std::shared_ptr<ListNode> node2(new ListNode);
//由于 _next是原生指针,而node2是智能指针,所以不行
node1->_next = node2;
}
由于 _next
是原生指针,而node2
是智能指针,所以不行,需要将_next
和_prev
变为智能指针:
struct ListNode
{
int _data;
std::shared_ptr<ListNode> _prev;
std::shared_ptr<ListNode> _next;
~ListNode() { cout << "~ListNode()" << endl; }
};
但是这样会导致循环引用问题.
一个节点单单指向另一个节点不会有问题:
int main()
{
std::shared_ptr<ListNode> node1(new ListNode);
std::shared_ptr<ListNode> node2(new ListNode);
node1->_next = node2;
//或 node1->_prev = node2, 或 node2->_next = node1 ....
return 0;
}
可以观察出,一个节点是否释放和,指向它的指针是否释放有关。
假设我们要俩个节点互相指向:
int main()
{
std::shared_ptr<ListNode> node1(new ListNode);
std::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
就释放了。 - 但是
_nex
t属于node
的成员,node1
释放了,_next
才会析构,而node1
由_prev
管理,_prev
属于node2
成员,所以这就叫循环引用,谁也不会释放.
boost
为了应对这样的场景推出了weak_ptr
:
4.2 weak_ptr
weak_ptr
不支持RAII
weak_ptr文档
它不支持管理资源:
//报错
std::weak_ptr<ListNode> wep(new ListNode);
它支持shared_ptr
构造,使用shared_ptr
构造时==不增加引用计数 ==;
所以上面循环引用的问题解决方案:
struct ListNode
{
int _data;
std::weak_ptr<ListNode> _prev;
std::weak_ptr<ListNode> _next;
~ListNode() { cout << "~ListNode()" << endl; }
};
int main()
{
std::shared_ptr<ListNode> node1(new ListNode);
std::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->next = new ListNode;
就不行了,我们一般使用make_shared
node1->_next = make_shared<ListNode>(new ListNode);
weak_ptr
也可以获取当前资源的指针个数weak_ptr::use_count
。
weak_ptr::expired检测是否过期
有类似于下面的场景:
struct ListNode
{
int _data;
weak_ptr<ListNode> _prev;
weak_ptr<ListNode> _next;
~ListNode() { cout << "~ListNode()" << endl; }
};
int main()
{
weak_ptr<ListNode> wp;
{
shared_ptr<ListNode> node1(new ListNode);
wp = node1;
//node1是否过期,是1,否0
cout << wp.expired() << endl;
node1->_data; //可访问
}
//node1是否过期
cout << wp.expired() << endl;
return 0;
}
node1出了局部域析构了,weak_ptr
没有管理资源的能力。
有没有什么办法使得这个资源不过期呢?
weak_ptr::lock锁资源
struct ListNode
{
int _data;
weak_ptr<ListNode> _prev;
weak_ptr<ListNode> _next;
~ListNode() { cout << "~ListNode()" << endl; }
};
int main()
{
weak_ptr<ListNode> wp;
//创建一个和wp具有相同生命周期的对象
shared_ptr<ListNode> sp1;
{
shared_ptr<ListNode> node1(new ListNode);
wp = node1;
//node1是否过期,是1,否0
cout << wp.expired() << endl;
node1->_data; //可访问
sp1 = wp.lock(); //将node1原来的资源交给sp1管理
}
//node1是否过期
cout << wp.expired() << endl;
return 0;
}
一个简单的weak_ptr
:
template<class T>
class weak_ptr
{
public:
weak_ptr()
:_ptr(nullptr)
{}
weak_ptr(const shared_ptr<T>& sp)
:_ptr(sp.get())
{}
weak_ptr<T>& operator=(const shared_ptr<T>& sp)
{
_ptr = sp.get();
return *this;
}
T& operator*()
{
return *_ptr;
}
T* operator->()
{
return _ptr;
}
private:
T* _ptr;
};
C++11和boost中智能指针的关系
C++ 98
中产生了第一个智能指针auto_ptr
.C++ boost
给出了更实用的scoped_ptr
和shared_ptr
和weak_ptr
.C++ TR1
,引入了shared_ptr
等。不过注意的是TR1
并不是标准版。C++ 11
,引入了unique_ptr
和shared_ptr
和weak_ptr
。需要注意的是unique_ptr
对应boost
、scoped_ptr
。并且这些智能指针的实现原理是参考boost
中的实现的。
如果你有所收获,可以留下你的点赞和关注,谢谢你的观看!!!!