これの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_ptrがそれ自体の（this）をその子にどのように渡すことができるかです。

Boost共有ポインターのソリューション（Getting boost::shared_ptrfor forthis）はありますが、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()。そうすることで、呼び出し側が所有権を気にする必要がないことを宣言しています。これは非常に制限される可能性がありますが、そうすることによって、弱いポインタがまだ保持されている間、問題の子が破棄されないことを確認する必要があります。スマートポインタを使用する場合は、それ自体でソートされます。 。

そして最後に。通常、新しいエンティティを受け入れるときは、通常、生のポインタを受け入れる必要があります。スマートポインターは、親間で子を交換するための独自の意味を持つことができますが、一般的な使用法では、生のポインターを受け入れる必要があります。