shared_from_thisは、std :: shared_ptrの所有権の後でも空の_M_weak_thisです。

Question

std::vectorには、C++スマートポインタを使用してクラスを格納しています（Aとしましょう）（ベクトルの相違はstd::vector<std::shared_ptr<A>>です）。何らかの理由で

#include <iostream> 
#include <memory> 
#include <vector> 

class A : std::enable_shared_from_this<A> { 
public: 
    void doWork(); 
    std::shared_ptr<A> getSharedRef(); 
}; 

void A::doWork() { std::cout << "Working..." << std::endl; } 

std::shared_ptr<A> A::getSharedRef() { return shared_from_this(); } 

class AManager { 
    static std::vector<std::shared_ptr<A>> aList; 

public: 
    static void init(); // safety because statics 
    static void doLotsOfWork(); 
    static std::shared_ptr<A> createA(); 
}; 

std::vector<std::shared_ptr<A>> AManager::aList; 

void AManager::init() { aList = std::vector<std::shared_ptr<A>>{}; } 

void AManager::doLotsOfWork() { 
    for (auto a : aList) { 
    a->doWork(); 
    } 
} 

std::shared_ptr<A> AManager::createA() { 
    std::shared_ptr<A> a = std::make_shared<A>(); 

    aList.push_back(a); 
    return a->getSharedRef(); // <----- EXCEPTION 
} 

int main() { 
    AManager::init(); 
    AManager::createA(); 
    return 0; 
} 

、これはstd::bad_weak_ptrをスローし、検査時に、私はそのaに気づく、何らかの理由で、0x0、またはNULLに等しい_M_weak_thisを持っています。オブジェクトを参照している有効なstd::shared_ptrをすでに作成しているので、空であってはなりません。

さらに、A（変数付き）は完全にそのアドレスにそのまま残っているため、メモリの破損は起こっていません。

私は間違っていますか？

Answer 1

問題は、あなたがenable_shared_from_this

shared_from_thisから個人的に継承しているためであると思わ「enable_shared_from_this<T>はTのアクセス可能基底クラスでなければならない。」が必要です（[util.smartptr.enab]による）

個人的に継承することで、基本クラスにアクセスできなくなり、前提条件に違反します。私はこれが未定義の動作を意味すると推定します。 ClangとGCCの両方が例外をスローします。

解決方法は一般に継承されます。

class A : public std::enable_shared_from_this<A> { 
    //... 
}; 

---

* C++ 17で表現する[util.smartptr.shared.const]に移動しているように見えるが、要件は、基本的に同じです。