模板函数make_shared

最新推荐文章于 2023-12-01 15:56:37 发布

始作俑者2

最新推荐文章于 2023-12-01 15:56:37 发布

阅读量191

点赞数 1

文章标签： c++ 开发语言

本文链接：https://blog.csdn.net/fay_dream/article/details/128958964

版权

https://juejin.cn/post/7102838307062546445
https://www.cnblogs.com/zzm1/p/14077662.html

1. 什么是make_shared

模板函数 std::make_shared 可以返回一个指定类型的 std::shared_ptr。

2. make_shared使用

shared_ptr<classname> p1 = make_shared<classname>(val1);
shared_ptr<classname> p2 = make_shared<classname>(val1,val2);
shared_ptr<classname> p2 = make_shared<classname>();

3. 与 std::shared_ptr 的构造函数相比make_shared的优点

(1) make_shared节省内存分配的时间，提高性能

std::shared_ptr<Widget> spw(new Widget);
很明显这段代码需要分配内存，但是它实际上要分配两次。每个std::shared_ptr都指向一个控制块，控制块包含被指向对象的引用计数以及其他东西。这个控制块的内存是在std::shared_ptr的构造函数中分配的。因此直接使用new，需要一块内存分配给Widget，还要一块内存分配给控制块。
auto spw = std::make_shared<Widget>();
一次分配就足够了。这是因为std::make_shared申请一个单独的内存块来同时存放Widget对象和控制块。这个优化减少了程序的静态大小，因为代码只包含一次内存分配的调用，并且这会加快代码的执行速度，因为内存只分配了一次。另外，使用std::make_shared消除了一些控制块需要记录的信息，这样潜在地减少了程序的总内存占用。

(2) make_shared能够保证异常安全

processWidget(std::shared_ptr<Widget>(new Widget),computePriority()); //潜在的资源泄露

上面的代码会导致new创造出来的Widget发生泄露。编译器把源代码翻译到目标代码，在运行期，函数的参数必须在函数被调用前被估值，所以在调用processWidget时，下面的事情肯定发生在processWidget能开始执行之前：
① 表达式“new Widget”必须被估值，也就是，一个Widget必须被创建在堆上。
②std::shared_ptr（负责管理由new创建的指针）的构造函数必须被执行。
③computePriority必须跑完。
编译器不需要必须产生这样顺序的代码。但“new Widget”必须在std::shared_ptr的构造函数被调用前执行，因为new的结构被用为构造函数的参数，但是computePriority可能在这两个调用前（后，或很奇怪地，中间）被执行。也就是，编译器可能产生出这样顺序的代码：
①执行“new Widget”。
②执行computePriority。
③执行std::shared_ptr的构造函数。
如果这样的代码被产生出来，并且在运行期，computePriority产生了一个异常，则在第一步动态分配的Widget就会泄露了，因为它永远不会被存放到在第三步才开始管理它的std::shared_ptr中。

processWidget(std::make_shared<Widget>(),computePriority()); //没有资源泄露

在运行期，不管std::make_shared或computePriority哪一个先被调用。如果std::make_shared先被调用，则在computePriority调用前，指向动态分配出来的Widget的原始指针能安全地被存放到被返回的std::shared_ptr中。如果computePriority之后产生一个异常，std::shared_ptr的析构函数将发现它持有的Widget需要被销毁。并且如果computePriority先被调用并产生一个异常，std::make_shared就不会被调用，因此这里就不需要考虑动态分配的Widget了。

如果使用std::unique_ptr和std::make_unique来替换std::shared_ptr和std::make_shared，事实上，会用到同样的理由。因此，使用std::make_unique代替new就和“使用std::make_shared来写出异常安全的代码”一样重要。