為什么使用enable_shared_from_this——shared_ptr兩類錯誤

在使用C++實現弱回調時，訂閱者應當維護一系列發布者的weak_ptr，而發布者注冊回調時要傳出this的shared_ptr指針，流行的實現方法是使用std::enable_shared_from_this。

初次學習這個模板類時疑問了一下為什么不能依賴this直接產生一個shared_ptr？實驗發現shared_ptr的固有特性使這樣做不是很方便。

借用MSDN的example：

// std_memory_shared_from_this.cpp   
// compile with: /EHsc   
#include <memory>  
#include <iostream>  
  
using namespace std;  
  
struct base : public std::enable_shared_from_this<base>  
{  
    int val;  
  
    shared_ptr<base> share_more()  
    {  
        return shared_from_this();  
        //return make_shared<base>(*this);   　　//err1 
        //return shared_ptr<base>(this);        //err2
    }  
};  
  
int main()  
{  
    auto sp1 = make_shared<base>();  
    auto sp2 = sp1->share_more();  
  
    sp1->val = 3;  
    cout << "sp2->val == " << sp2->val << endl;  
  
    return 0;  
}   

嘗試了兩種寫法都出現了錯誤的行為，分別解釋。

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。