使用智能指针的缘由
-
考虑下边的简单代码:
int main()
{
int *ptr = new int(0);
return 0;
}
就如上边程序,我们有可能一不小心就忘了释放掉已不再使用的内存,从而导致资源泄漏(resoure leak,在这里也就是内存泄漏)。
2. 考虑另一简单代码:
int main()
{
int *ptr = new int(0);
delete ptr;
return 0;
}
我们可能会心想,这下程序应该没问题了?可实际上程序还是有问题。上边程序虽然最后释放了申请的内存,但ptr会变成空悬指针(dangling pointer,也就是野指针)。空悬指针不同于空指针(nullptr),它会指向“垃圾”内存,给程序带去诸多隐患(如我们无法用if语句来判断野指针)。
上述程序在我们释放完内存后要将ptr置为空,即:
1 ptr = nullptr;
除了上边考虑到的两个问题,上边程序还存在另一问题:如果内存申请不成功,new会抛出异常,而我们却什么都没有做!所以对这程序我们还得继续改进(也可用try…catch…):
复制代码
1 #include
2 using namespace std;
3
4 int main()
5 {
6 int *ptr = new(nothrow) int(0);
7 if(!ptr)
8 {
9 cout << “new fails.”
10 return 0;
11 }
12 delete ptr;
13 ptr = nullptr;
14 return 0;
15 }
复制代码
3. 考虑最后一简单代码:
复制代码
1 #include
2 using namespace std;
3
4 int main()
5 {
6 int *ptr = new(nothrow) int(0);
7 if(!ptr)
8 {
9 cout << “new fails.”
10 return 0;
11 }
12 // 假定hasException函数原型是 bool hasException()
13 if (hasException())
14 throw exception();
15
16 delete ptr;
17 ptr = nullptr;
18 return 0;
19 }
复制代码
当我们的程序运行到“if(hasException())”处且“hasException()”为真,那程序将会抛出一个异常,最终导致程序终止,而已申请的内存并没有释放掉。
当然,我们可以在“hasException()”为真时释放内存:
复制代码
// 假定hasException函数原型是 bool hasException()
if (hasException())
{
delete ptr;
ptr = nullptr;
throw exception();
}
#include<iostream>
#include<vector>
#include<math.h>
using namespace std;
void func(int *ptr)
{
int *p = new int;//auto_ptr<int> p(new int)
if(ptr == NULL)
{
throw exception("ptr is null");
}
*p = *ptr;//这两句代码不执行,出现了内存泄漏
delete p;
}
int main()
{
func(NULL);
return 0;
}
但,我们并不总会想到这么做。而且,这样子做也显得麻烦,不够人性化。
如果,我们使用智能指针,上边的问题我们都不用再考虑,因为它都已经帮我们考虑到了。
因此,我们使用智能指针的原因至少有以下三点:
1)智能指针能够帮助我们处理资源泄露问题;
2)它也能够帮我们处理空悬指针的问题;
3)它还能够帮我们处理比较隐晦的由异常造成的资源泄露。
boost智能指针
C++11之前只有一个auto_ptr
C++11之后unique_ptr、shared_ptr、weak_ptr
- 智能指针auto_ptr的引入
auto_ptr是C++标准库中的智能指针模板类,头文件
auto_ptr的出现,主要是为了解决“有异常抛出时发生内存泄漏”的问题。
unique_ptr
unique_ptr是C++标准库自C++11起开始提供的类型。它是一种在异常发生时可帮助避免资源泄露的智能指针。一般而言,这个智能指针实现了独占式拥有概念,意味着它可确保一个对象和其相应资源同一时间只被一个指针拥有。一旦拥有者被销毁或变成空,或开始拥有另一个对象,先前拥有的那个对象就会被销毁,其任何相应资源也会被释放。
shared_ptr
几乎每一个有分量的程序都需要“在相同时间的多处地点处理或使用对象”的能力。为此,我们必须在程序的多个地点指向(refer to)同一对象。虽然C++语言提供引用(reference)和指针(pointer),还是不够,因为我们往往必须确保当“指向对象”的最末一个引用被删除时该对象本身也被删除,毕竟对象被删除时析构函数可以要求某些操作,例如释放内存或归还资源等等。
所以我们需要“当对象再也不被使用时就被清理”的语义。Class shared_ptr提供了这样的共享式拥有语义。也就是说,多个shared_ptr可以共享(或说拥有)同一对象。对象的最末一个拥有者有责任销毁对象,并清理与该对象相关的所有资源。
shared_ptr的目标就是,在其所指向的对象不再被使用之后(而非之前),自动释放与对象相关的资源。
weak_ptr 是一种不控制对象生命周期的智能指针, 它指向一个 shared_ptr 管理的对象. 进行该对象的内存管理的是那个强引用的 shared_ptr. weak_ptr只是提供了对管理对象的一个访问手段.
weak_ptr 设计的目的是为配合 shared_ptr 而引入的一种智能指针来协助 shared_ptr 工作, 它只可以从一个 shared_ptr 或另一个 weak_ptr 对象构造, 它的构造和析构不会引起引用记数的增加或减少.