目录
前言
在编写代码的时候,有时会遇到程序异常跳转的情况比如说:
现假设在程序A中,正常情况下需要依次执行:主函数->函数跳转(假设有)->函数内动态开辟内存->函数体执行(这里函数体存在正常情况和异常情况的错误抛出)->函数内动态内存回收->函数返回->主函数异常捕获->主函数执行结束。
那么这里的问题在于:当在执行函数体出现异常时(使用throw抛出异常),会直接跳转到主函数异常捕获部分而不按照正常的执行逻辑执行动态内存的回收。这就会照成内存泄漏①问题。而智能指针的存在就是来解决这一问题的。
注释①(内存泄漏):这里内存泄露即可以之动态开辟内存(new、malloc等)未及时得到释放——会让程序设计者失去对开辟空间的控制权(并非物理内存丢失,可以通过重启等操作恢复),也可以指对系统资源(套接字、文件描述符等)占用后未及时返还——会导致系统运行的不稳定
一、智能指针是什么?
智能指针是一种利用对象管理资源的方式(又名RAII——Resource Acquisition Is Initialization),即利用对象析构函数在声明周期结束自行调用的特性让编译器自行释放动态开辟的空间。智能指针实际上就是一种想让对象成为一种可是近似指针操作的构想,
图1.1只是一个简单示例,实际上的智能指针要远远比这复杂。关于C++11目前支持的几种指针稍后做介绍。
二、C++11中的智能指针
在开始讲解前,先引入一个简单的概念以方便后续的叙述——资源的所有权,指针指向资源,这一权限是对指针来讲的。
1.auto_ptr 【auto_ptr官方文档】
auto_ptr是一种抢占资源式的智能指针。举个例子:假设动态开辟了一块内存空间,令一auto_ptr指向这一部分,若将此auto_ptr对象用于其它auto_ptr对象的初始化或赋值,那么新的auto_ptr指针会直接夺取旧的auto_ptr指针资源管理的所有权。
从上图我们不难看出,我们让p1指向了动态开辟的内存空间(准确来讲是初始化),而后用p1初始化p2,p2直接将p1资源所有权掠夺。这一点我们可以通过观察监视窗口中p1和p2指向空间的地址来证明,我们不难发现p2指向内存空间的地址与未初始化p2前p1指向的内存空间的地址是相同的。而且初始化p2后p1变成了空指针。
所以auto_ptr的特性:抢占式的智能指针,对资源唯一占有。
由于auto_ptr这一特性,在多人实现的项目中极有可能出现,有的队友忘记资源被auto_ptr搬空的情况,从而对空指针操作出错,因而我们尽量避免使用auto_ptr。
2.unique_ptr【unique_ptr官方文档】
unique_ptr实际上是为了填补auto_ptr的缺点所诞生的,其与auto_ptr的区别是,unique_ptr不允许进行拷贝、赋值等操作,因为其内部限制了构造函数。其它部分的特性与auto_ptr相似。
3.shared_ptr【shared_ptr官方文档】
那么有了前面的一个unique_ptr来维护一个资源空间,那么就会有多个智能指针来维护同一资源空间的诞生,shared_ptr应运而生。shared_ptr多个对象可以同时指向同一块同台开辟的内存空间,指向同一动态内存空间的shared_ptr共享一个计数,当额外有1个shared_ptr对象指向其时,计数加1,当解除1次指向时,计数减1。当计数为1并且在解除一次引用时,调用析构函数。释放的资源。
但是shared_ptr存在着这样的一个问题(循环引用),请看以下代码有什么问题:
上述代码是一个简单的链表结点的定义,对于正常的数据我们知道在程序结束后自动进行释放回收,但是对于shared_ptr特殊就特殊在只有在引用计数为1并且再次解除引用时才会释放资源,但是程序会现释放p1、p2使得我们无法在访问new出来的listnode节点,也就不发完成计数为1并再解除引用的操作,进而导致了内存泄漏。
4.weak_ptr【weak_ptr官方文档】
weak_ptr的出现就是为了解决shared_ptr的循环引用问题,weak_ptr指向已被shared_ptr指向的资源时,不会增加其计数,在weak_ptr解除指向资源时也不会减少计数。
——本文【完】