質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

88.62%

C++のstd::shared_ptr(or std::weak_ptr)とthisでのバグ

解決済

回答 3

投稿

  • 評価
  • クリップ 1
  • VIEW 2,792

Paalon

score 195

親子関係を持つようなクラスを作成したいと思い、次のようなクラスを書きました。

#include <vector>
#include <memory>

class Container {
public:
  std::vector<std::shared_ptr<Container>> children;
  std::weak_ptr<Container> parent;
  Container() {
  }
  ~Container() = default;
  void addChild(std::shared_ptr<Container> child) {
    children.push_back(child);
    child->parent = this; // 怒られる
  }
};


しかし、std::shared_ptr<Container> child の指している Container の std::weak_ptr<Container> parent に addChild を呼び出した std::shared_ptr<Container> を代入するつもりで書いた child->parent = this で怒られてしまいます。this は Container *型だから怒られるのでしょうか?良く分かりません。助言をお願いします!!

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 過去に投稿した質問と同じ内容の質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 3

checkベストアンサー

+2

thisポインタからstd::shared_ptr型(やstd::weak_ptr型)を取り出す場合は、std::enable_shared_from_thisクラステンプレートを利用してください。同クラスからCRTPの形でpublic継承し、shared_from_this()メンバ関数を呼び出します。

#include <cassert>
#include <vector>
#include <memory>

class Container
  : public std::enable_shared_from_this<Container> {
public:
  std::vector<std::shared_ptr<Container>> children;
  std::weak_ptr<Container> parent;
  Container() {}
  ~Container() = default;
  void addChild(std::shared_ptr<Container> child) {
    children.push_back(child);
    child->parent = shared_from_this();
  }
};

int main()
{
  auto p = std::make_shared<Container>();
  auto c1 = std::make_shared<Container>();
  auto c2 = std::make_shared<Container>();
  p->addChild(c1);
  p->addChild(c2);
  assert(p.use_count() == 1);
}

なおshared_ptr<Container>(this);として強引にshared_ptr型を生成するのはNGです。型変換によりコンパイラはごまかせますが、このshared_ptrオブジェクトのスコープが切れたときに意図せずデストラクタ~Container()を呼び出し、thisオブジェクトが破壊されてしまいます。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2016/10/11 12:09 編集

    絶対的な指標ではありませんが、質問にあるような親子関係をもつデータ構造の場合、子から親を指すポインタは生ポインタでもよいかもしれません。というのも、親オブジェクトのライフサイクルが、子オブジェクトが親オブジェクトを指す区間を*必ず*包含すると保証でき、複雑な所有権管理を必要としないためです。(もちろん、"安全"のためにweak_ptrを使う実装がダメという訳ではありません。)

    キャンセル

  • 2016/10/11 12:23

    yohhoyさん。
    なるほど、ちゃんと用意されているのですね。これは知りませんでした。ありがとうございます。

    キャンセル

0

こんにちは。

this は Container *型だから怒られるのでしょうか?

その通りです。std::weak_ptr<Container>型のparentにContainer*型のthisを代入しようとしています。
std::weak_ptr<T>の代入演算子(operator=)にはstd::weak_ptr<T>かstd::shared_ptr<T>を受け取るものしか定義さていません。
従って、「対応する関数無し」になります。

対処方法は意外に難しいと思います。
構造的にツリー構造と思いますので、thisもstd::shared_ptr<>で管理されているのではないでしょうか?
その場合、parentはthisを管理しているstd::shared_ptr<>から作ったstd::weak_ptrを渡す必要が有る筈です。それってthisの親が管理しているので受取りは難しそうです。
どこかにデザイン・パターンとしてありそうな気もしますが、私は見たことはないです。

しかし、parentをContainerへの生のポインタとして定義すれば簡単ですね。
通常のツリー構造であれば、親がdeleteされる時は先にchildの方がdeleteされますので、生ポインタでも問題ないように思いますが、ちょっと自信ありません。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2016/10/11 12:19

    yohhoyさんの回答がついているのを確認せずに投稿してしまいました。ごめん。

    キャンセル

-1

child->parent = std::shared_ptr<Container>(this);


と書けばよいのではないでしょうか。
意味は以下と同じです。

child->parent = std::weak_ptr(std::shared_ptr<Container>(this));

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2016/10/11 14:11

    thisに対してはダメなんですねえ。
    勉強になりました。
    yohhoyさんの方法を使ってください。

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 88.62%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

関連した質問

同じタグがついた質問を見る