C++ 的智能指针你了解吗?
前言
C中我们会进行malloc一块内存,然后free掉。但是经常会遇到我们忘记写free,导致内存溢出,C++也有类似的情况,为了解决掉我们忘记释放内存的习惯,C++引入了几种智能指针,为的就是让函数可以在正常终止或者异常终止的情况下,改指针的指向的内存都可以处于正确的状态。shared_ptr、unique_ptr、weak_ptr、auto_ptr。其中shared_ptr允许多个指针指向同一个对象;unique_ptr则"独占"所指向的对象, 保证同一时间只有一个 指针指向某个内存,对于避免内存泄漏很有用;weak_ptr则是一种弱引用,指向shared_ptr所管理的对象;而auto_ptr则是类似于unique_ptr的一种指针,并且已经在C++11摒弃了它
作者:良知犹存
转载授权以及围观:欢迎添加微信公众号:羽林君
shared_ptr
类似vector,智能指针也是模板。因此当我们创建一个指针指针的时,必须提供额外的信息——指针可以指向的类型。默认初始化的智能指针中保存着一个空指针。
智能指针使用和普通指针类似。解引用一个智能指针返回它指向的对象。如果在一个条件判断中使用智能指针,效果就是检测它是否为空。
程序使用动态内存出于以下三种原因之一1、程序不知道自己需要多少对象;2、程序不知道所需对象的准确类型;
3、程序需要在多个对象间共享数据
shared_ptr可以指向特定类型的对象,用于自动释放所指的对象,所以我们会经常多的用,此外还有一个最安全的分配和使用动态内存的方法就是调用一个名为make_shared的标准库函数;和make_pair、make_unique一样,都是在原有基础进行的泛化。
make_shared的用法
make_shared 在动态内存中分配一个对象并初始化它,返回指向此对象的shared_ptr,与智能指针一样,make_shared也定义在头文件memory中;当要用make_shared时,必须指定想要创建的对象类型,定义方式与模板类相同,在函数名之后跟一个尖括号,在其中给出类型;
unique_ptr
unique_ptr<>是c ++ 11提供的智能指针实现之一,用于防止内存泄漏。unique_ptr对象包含一个原始指针,并负责其生命周期。当这个对象被销毁的时候,它的析构函数会删除关联的原始指针。unique_ptr有重载的- >和*运算符,所以它可以被用于类似于普通的指针。
虽然我们不能拷贝或赋值unique_ptr,但是可以通过release或reset将指针的所有权从一个(非const)unique_ptr转移到另一个unique_ptr;
C++11加入了make_shared,C++14加入了make_unique,如果你处于C++11环境也不必担心,因为make_unique很容易实现,make_unique只是将其参数完美转发给待创建对象的构造函数,并返回一个由原始指针初始化得到的unique_ptr。这种实现形式并不支持数组或自定义删除器,但它至少表明实现make_unique并不困难。
C++ 14引入了std::make_unique,因为由于未指定参数评估顺序,因此这是不安全的:
(说明:如果评估首先为原始指针分配内存,然后调用g(),并且在std::unique_ptr构造之前引发了异常,则内存被泄漏。)
调用std::make_unique是一种限制调用顺序的方法,从而使事情变得安全:
至于更加详细的解释大家可以网上搜索两者的对比。
weak_ptr
weak_ptr是用来解决shared_ptr相互引用时的死锁问题,如果说两个shared_ptr相互引用,那么这两个指针的引用计数永远不可能下降为0,资源永远不会释放。它是对对象的一种弱引用,不会增加对象的引用计数,和shared_ptr之间可以相互转化,shared_ptr可以直接赋值给它,它可以通过调用lock函数来获得shared_ptr。
weak_ptr是一种不控制对象生命周期的智能指针,它与一个 shared_ptr 绑定,却不参与引用计数。一旦最后一个shared_ptr 销毁,对象就会释放。
weak_ptr 作用是在需要的时候变出一个 shared_ptr,其他时候不干扰 shared_ptr 的引用计数。weak_ptr没有 * 和 -> 符号,需要用lock() 获得shared_ptr ,进而使用对象。
利用 weak_ptr可以消除上面的循环引用,例子如下。
auto_ptr
运行下发现程序崩溃了,原因在上面注释已经说的很清楚,films[2]已经是空指针了,下面输出访问空指针当然会崩溃了。但这里如果把auto_ptr换成shared_ptr或unique_ptr后,程序就不会崩溃,原因如下:
2.使用shared_ptr时运行正常,因为shared_ptr采用引用计数,pwin和films[2]都指向同一块内存,在释放空间时因为事先要判断引用计数值的大小因此不会出现多次删除一个对象的错误。
1.使用unique_ptr时编译出错,与auto_ptr一样,unique_ptr也采用所有权模型,但在使用unique_ptr时,程序不会等到运行阶段崩溃,而在编译器因下述代码行出现错误:
这就是为何要摒弃auto_ptr的原因,一句话总结就是:避免潜在的内存崩溃问题。
如何选择智能指针呢?
在掌握了这几种智能指针后,大家可能会想另一个问题:在实际应用中,应使用哪种智能指针呢?
下面给出几个使用指南。
(1)如果程序要使用多个指向同一个对象的指针,应选择shared_ptr。这样的情况包括:
有一个指针数组,并使用一些辅助指针来标示特定的元素,如最大的元素和最小的元素;
两个对象包含都指向第三个对象的指针;
STL容器包含指针。很多STL算法都支持复制和赋值操作,这些操作可用于shared_ptr,但不能用于unique_ptr(编译器发出warning)和auto_ptr(行为不确定)。如果你的编译器没有提供shared_ptr,可使用Boost库提供的shared_ptr。
(2)如果程序不需要多个指向同一个对象的指针,则可使用unique_ptr。如果函数使用new分配内存,并返还指向该内存的指针,将其返回类型声明为unique_ptr是不错的选择。这样,所有权转让给接受返回值的unique_ptr,而该智能指针将负责调用delete。可将unique_ptr存储到STL容器在那个,只要不调用将一个unique_ptr复制或赋给另一个算法(如sort())。例如,可在程序中使用类似于下面的代码段。
其中push_back调用没有问题,因为它返回一个临时unique_ptr,该unique_ptr被赋给vp中的一个unique_ptr。另外,如果按值而不是按引用给show()传递对象,for_each()将非法,因为这将导致使用一个来自vp的非临时unique_ptr初始化pi,而这是不允许的。前面说过,编译器将发现错误使用unique_ptr的企图。
在unique_ptr为右值时,可将其赋给shared_ptr,这与将一个unique_ptr赋给一个需要满足的条件相同。与前面一样,在下面的代码中,make_int()的返回类型为unique_ptr<int>:
模板shared_ptr包含一个显式构造函数,可用于将右值unique_ptr转换为shared_ptr。shared_ptr将接管原来归unique_ptr所有的对象。
在满足unique_ptr要求的条件时,也可使用auto_ptr,但unique_ptr是更好的选择。如果你的编译器没有unique_ptr,可考虑使用Boost库提供的scoped_ptr,它与unique_ptr类似。
这就是我分享的c++的智能指针,其中参考了好多人的文字,此外如果大家有什么更好的思路,也欢迎分享交流哈。
*—**END*—
推荐阅读
【1】c++nullptr(空指针常量)、constexpr(常量表达式)
【2】嵌入式底层开发的软件框架简述 【3】CPU中的程序是怎么运行起来的 必读【4】C++的匿名函数(lambda表达式)【5】阶段性文章总结分析
本公众号全部原创干货已整理成一个目录,回复[ 资源 ]即可获得。
更多分享,扫码关注我
版权声明: 本文为 InfoQ 作者【良知犹存】的原创文章。
原文链接:【http://xie.infoq.cn/article/8f639878bc8bd2c3290c55662】。文章转载请联系作者。
评论