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

https://www.cnblogs.com/jily/p/6424231.html

 

在使用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。