为什么使用enable_shared_from_this——shared_ptr两类错误

在使用C++实现弱回调时,订阅者应当维护一系列发布者的weak_ptr,而发布者注册回调时要传出this的shared_ptr指针,流行的实现方法是使用std::enable_shared_from_this。

初次学习这个模板类时疑问了一下为什么不能依赖this直接产生一个shared_ptr?实验发现shared_ptr的固有特性使这样做不是很方便。

借用MSDN的example:

 1 // std_memory_shared_from_this.cpp   
 2 // compile with: /EHsc   
 3 #include <memory>  
 4 #include <iostream>  
 5   
 6 using namespace std;  
 7   
 8 struct base : public std::enable_shared_from_this<base>  
 9 {  
10     int val;  
11   
12     shared_ptr<base> share_more()  
13     {  
14         return shared_from_this();  
15         //return make_shared<base>(*this);     //err1 
16         //return shared_ptr<base>(this);        //err2
17     }  
18 };  
19   
20 int main()  
21 {  
22     auto sp1 = make_shared<base>();  
23     auto sp2 = sp1->share_more();  
24   
25     sp1->val = 3;  
26     cout << "sp2->val == " << sp2->val << endl;  
27   
28     return 0;  
29 }   

尝试了两种写法都出现了错误的行为,分别解释。

err1中,输出结果为0,make_shared实际可以看作为了完全封装new而给shared_ptr的一个factory,作用是产生新对象,那么参数*this作为复制构造的参数,实际已经和this没有关系了。

err2中,输出为3,但程序结束时触发了断点,这也是使用智能指针应当注意的——复制行为不要依赖裸指针

通过代码

cout << "sp2's ref count == " << sp2.use_count() << endl;

可以发现,sp2引用计数为1,因为产生它时参数为裸指针this,,它是一个新的智能指针,这就产生了问题,sp1,sp2两个智能指针同时指向一个堆对象——析构行为时会delete两次!

所以依赖shared_ptr我们很难从对象内部传出指向自己的指针指针,use std::enable_shared_from_this。

原文地址:https://www.cnblogs.com/jily/p/6424231.html