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