std :: shared_ptr цього

Зараз я намагаюся навчитися користуватися розумними вказівниками. Однак, проводячи деякі експерименти, я виявив наступну ситуацію, для якої не міг знайти насичуючого рішення:

Уявіть, у вас є об'єкт класу A, який є батьком об'єкта класу B (дочірній), але обидва повинні знати один одного:

class A;
class B;

class A
{
public:
    void addChild(std::shared_ptr<B> child)
    {
        children->push_back(child);

        // How to do pass the pointer correctly?
        // child->setParent(this);  // wrong
        //                  ^^^^
    }

private:        
    std::list<std::shared_ptr<B>> children;
};

class B
{
public:
    setParent(std::shared_ptr<A> parent)
    {
        this->parent = parent;
    };

private:
    std::shared_ptr<A> parent;
};

Питання в тому, як об’єкт класу A може передати std::shared_ptraself ( this) своїй дочірній організації?

Є рішення для Boost спільних покажчиків ( Отримання boost::shared_ptrforthis ), але як з цим впоратися за допомогою std::розумних покажчиків?

Є std::enable_shared_from_thisсаме для цього. Ви успадковуєте від нього і можете дзвонити .shared_from_this()зсередини класу. Крім того, ви створюєте тут кругові залежності, які можуть призвести до витоків ресурсів. Це можна вирішити за допомогою std::weak_ptr. Тож ваш код може виглядати приблизно так (припускаючи, що діти покладаються на існування батьківського, а не навпаки):

class A;
class B;

class A
    : public std::enable_shared_from_this<A>
{
public:
    void addChild(std::shared_ptr<B> child)
    {
        children.push_back(child);

        // like this
        child->setParent(shared_from_this());  // ok
        //               ^^^^^^^^^^^^^^^^^^
    }

private:     
    // note weak_ptr   
    std::list<std::weak_ptr<B>> children;
    //             ^^^^^^^^
};

class B
{
public:
    void setParent(std::shared_ptr<A> parent)
    {
        this->parent = parent;
    }

private:
    std::shared_ptr<A> parent;
};

Однак зверніть увагу, що для здійснення дзвінків .shared_from_this()потрібно мати право thisвласності std::shared_ptrна момент дзвінка. Це означає, що ви більше не можете створювати такий об’єкт у стеці і, як правило, не можете викликати .shared_from_this()всередині конструктора чи деструктора.

У вас є кілька проблем у дизайні, які, здається, походять від вашого нерозуміння розумних покажчиків.

Розумні вказівники використовуються для декларування права власності. Ви порушуєте це, заявляючи, що обидва батьки володіють усіма дітьми, а також що кожна дитина має своїх батьків. І те, і інше не може бути правдою.

Крім того, ви повертаєте слабкий вказівник в getChild(). Цим ви заявляєте, що абонент не повинен дбати про право власності. Зараз це може бути дуже обмежуючим, але, роблячи це, ви повинні переконатися, що дитина, про яку йдеться, не буде знищена, поки будуть утримуватися будь-які слабкі покажчики; якщо ви використовуєте розумний вказівник, він буде розібраний сам по собі .

І остання річ. Зазвичай, приймаючи нові сутності, зазвичай слід приймати необроблені вказівники. Розумний вказівник може мати своє власне значення для обміну дітьми між батьками, але для загального користування слід приймати необроблені вказівники.