C++11智能指针之优先使用std::make_unique和std::make_shared而不是直接使用new

27 篇文章 1 订阅


        在初始化一个unique_ptr或者shared_ptr时,我们最好优先使用std::make_uniquestd::make_shared。原因有一下几点:

  1. 异常安全性

假设有如下函数声明:

  intcomputePriority();

void processInvestment(std::shared_ptr<Investment> ptr,int priority);

调用processInvestment的代码如下所示:

processInvestment(std::shared_ptr<Investment>(newInvestment()),computePriority());

 

由于在C++中函数参数的执行顺序是不固定的,所以在上面对函数processInvestment调用中,函数参数的执行顺序很可能是这样的:

  1. new Investment

  2. computePriority()

  3. std::shared_ptr constructor

这种执行顺序的风险是,如果在第二步,执行computePriority的过程中出现异常,那么在第一步中new出来的对象将变得不可访问,从而造成内存泄漏。通过make_ptr的方式,将new操作和shared_ptr的构造放在一起执行,就不会出现内存泄漏问题了。

  1. 执行效率(对于shared_ptr而言)

std::shared_ptr<Investment>ptr(new Investment);   //方式1new的方式

在方式1中,会涉及到两次动态内存分配:

第一次是new Investment时,为Investment对象分配空间。

第二次是为控制块(Control Block)分配空间。

auto pIn = std::make_shared<Investment>();//方式2make_shared的方式

在方式二中,一次动态内存分配就足够了,这是由于make_shared会为Investment对象和控制块(Control block)一次性分配一大块内存。由于只有一次内存分配,因而方式二提高了程序的执行效率。

二、make函数的弊端

  既然使用make_sharedmake_unique有这么多好处,我们是否就应该处处使用make函数而完全放弃new的方式了呢?当然不是,make函数也存在一些缺点:

1 make函数不支持用户自定义释放器。由于make函数有自己的内存分配和析构规则,所以他不适用于那些有自定义分配器和释放器的对象。

2 make函数不支持大括号初始化方式。对于下面这句代码:

auto spv = std::make_shared<vector<int>>(10,20);

意为spv指向一个vector,这个vector10个元素,每个元素的值都为20。如果你想实现的是这个vector有两个元素,分别为1020的话,你只能用new的方式。

3内存释放不够灵活。

在使用new的方式中,有两块独立的堆内存,一块存放资源对象,一块存放控制块,当资源对象的引用计数为0的时候,资源对象会被销毁,它所占用的内存也会被随之销毁。

在使用make函数的方式中,make函数一次性为资源对象和控制块分配了一块内存,当资源对象的引用计数为0是,对象被销毁,但是资源对象占用的内存却不会被销毁,只有当控制块占用的内存被销毁是才会将资源对象所占内存一并释放。那么,控制块内存什么时候被释放呢?这就涉及到控制块中另一个引用计数了,这个引用计数被称为“Weak Count,其作用是用来计数指向该资源的weak_ptr的数量。当这个weak count的值为0时,控制块才会被释放。当资源对象非常庞大时,使用make函数的方式将造成不小的资源浪费。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值