Crash avec shared_ptr

Question

Quelqu'un peut-il m'expliquer pourquoi l'accident ici?

#include <memory> 
#include <functional> 

struct Teacher : std::enable_shared_from_this<Teacher> { 
    struct Timetable; 
    std::shared_ptr<Timetable> timetable; 
    Teacher (int n) : timetable(std::make_shared<Timetable>(*this, n)) {} 
}; 

struct Period { 
    std::shared_ptr<Teacher> teacher; 
    Period (const std::shared_ptr<Teacher>& t) : teacher(t) {} 
}; 

struct Teacher::Timetable { 
    Teacher& teacher; 
    std::shared_ptr<Period> homeForm; 
    Timetable (Teacher& t, int n) : teacher(t), // Assume something is done with n. 
     homeForm(std::make_shared<Period>(teacher.shared_from_this())) {} // Crashes. 
//  homeForm(std::make_shared<Period>(std::shared_ptr<Teacher>(&teacher))) {} // Also crashes. 
}; 

int main() { 
    std::shared_ptr<Teacher> teacher = std::make_shared<Teacher>(3); 
} 

est-ce pas ici depuis teacher.shared_from_this() admis std::shared_ptr<Teacher> teacher est un shared_ptr déjà? Si non, comment initialiser homeForm correctement?

Answer 1

Le problème est que votre code appelle shared_from_this avant que le std::shared_ptr<Teacher> soit entièrement construit. Il est en quelque sorte logique que le sous-objet Teacher doive être construit avant que le pointeur intelligent soit entièrement construit.

Si vous modifiez le code comme celui-ci,

struct Teacher : std::enable_shared_from_this<Teacher> { 
    struct Timetable; 
    std::shared_ptr<Timetable> timetable; 
    Teacher() {} 
    void init(int n) { this->timetable = std::make_shared<Timetable>(*this, n); } 
}; 

// Everything else unchanged 

int main() { 
    std::shared_ptr<Teacher> teacher = std::make_shared<Teacher>(); 
    teacher->init(3); 
} 

il fonctionnera bien.

Notez que je ne recommande pas cela comme un refactoring. Les constructeurs doivent entièrement initialiser les objets autant que possible. En regardant votre code, il me semble que vous pourriez envisager de le restructurer un peu plus radicalement. Avez-vous vraiment besoin de tous ces pointeurs partagés de références croisées?