shared_ptr從成員函數返回上演版本的問題

Question

我最近一直在嘗試shared_ptr，並且我碰到了一些奇怪的情況。我想要的是一個模板成員函數，它能夠返回其派生類型的shared_ptr。我正在運行visual studio 2010，它可以訪問一些新的C++ 0x標準，但我認爲boost boost_ptr的行爲類似。

這與裸指針正常工作。我剛剛返回了一個dynamic_cast < DerivedClass * >（this）。然而，我有點難過，因爲即使使用enable_shared_from_this，對象也會在函數調用後嘗試刪除自身（這很糟糕）。我可能會接近這個錯誤，但我想研究如何模擬以下（這是我遇到的代碼）的裸指針等效（這是工作）。

//assume we have a virtual function as well. 
class BaseClass : public std::enable_shared_from_this<BaseClass> 
{ 
    .... 
    template<typename DerivedClass> 
    std::shared_ptr<DerivedClass> BaseClass::getThis(){ 
    //I had some assert code here to ensure typeid matched 
    return std::dynamic_pointer_cast<DerivedClass>(shared_from_this()); 
    } 
} 

編輯：看來功能正常工作，該問題是與我是如何使用它。它是壞的，例如執行以下操作：

std::shared_ptr<DerivedClass> p = std::make_shared<DerivedClass>(); 
p->getType<DerivedClass>->someOtherFunctionOnlyInTheDerivedClass(); 

這不是一個問題：

std::shared_ptr<BaseClass> p = std::make_shared<DerivedClass>(); 
p->getType<DerivedClass>->someOtherFunctionOnlyInTheDerivedClass(); 

我不能完全肯定，如果它與轉換爲同一類型的問題，或參考計數問題。在任何情況下，我都在做一些愚蠢的事情，並且破壞了，避免了不必要的getType調用，在那個時候，我似乎在使用它的其他任何情況下都能正常工作。也許有人可以準確解釋導致第一個例子與第二個例子一起工作的原因。我會爲該答案分配點數。

Answer 1

爲了擴展斯圖爾特的答案並（可能）解釋你爲什麼崩潰，我最好的猜測是你在stack-alloc'd實例上調用getType。這是使用enable_shared_from_this的主要缺陷。

#include <memory> 

class Base : public std::enable_shared_from_this<Base> 
{ 
public: 
    virtual ~Base() {} 

    template <typename D> 
    std::shared_ptr<D> getType() 
    { 
     return std::dynamic_pointer_cast<D>(shared_from_this()); 
    } 
}; 

class Derived : public Base 
{ 
public: 
    void f() {} 
}; 

int main() 
{ 
    std::shared_ptr<Derived> d = std::make_shared<Derived>(); 
    d->getType<Derived>()->f(); // fine 

    Derived d2; 
    Base* p = &d2; 
    p->getType<Derived()>->f(); // will attempt to delete d2 after f() returns. 

    return 0; 
} 

發生這種情況的原因是因爲d2的引用計數爲零時，它的堆棧。調用shared_from_this會返回一個shared_ptr，將參考計數遞增爲1。一旦這個指針超出了作用域，它就會將其計數遞減到零，然後嘗試刪除實例，當然這個實例在堆棧中。

我能想到的保護自己的唯一方法就是讓所有的構造函數保護或私有，並提供動態分配任何實例的靜態函數，當然返回shared_ptr。

Answer 2

對於它的價值，我不會遇到你與以下最低可編譯例子描述（它看起來像你的代碼上面的描述）問題：

#include <memory> 

class Base : public std::enable_shared_from_this<Base> 
{ 
public: 
    virtual ~Base() {} 

    template <typename D> 
    std::shared_ptr<D> getType() 
    { 
     return std::dynamic_pointer_cast<D>(shared_from_this()); 
    } 
}; 

class Derived : public Base 
{ 
public: 
    void f() {} 
}; 

int main() 
{ 
    std::shared_ptr<Derived> d = std::make_shared<Derived>(); 
    d->getType<Derived>()->f(); 
    return 0; 
} 

這是否崩潰了嗎？