存在するかどうか：1つのオブジェクトが所有するスマートポインタがアクセスを許可する

Question

誰かがこのニーズを満たすようなものを実行しているのだろうかと思います。

オブジェクトAにはオブジェクトBが含まれています。ポインタを使用してそのBへのアクセスをクライアントに提供したい場合があります（0かもしれない、またはクライアントがコピー可能である必要があり、 ）。クライアントは、オブジェクトCと呼ぶことができます。通常、完全な開発者であれば、Bのポインターの生涯セマンティクスに違反しないように注意深く書かれていますが、実際には完璧ではありません。半分の時間はかなりかわいそうだ。

私たちが望むのは、オブジェクトCが "共有"所有権ではなく、オブジェクトAが有効でない状況を認識するのに十分スマートなオブジェクトBへのポインタを持つことです。破壊されたり、オブジェクトBが破壊されたりします。このポインタがもはや有効でないときにアクセスすると、アサーション/例外/何でも発生します。

つまり、私は安全かつ明確な方法でデータへのアクセスを共有したいが、元の所有権セマンティクスは保持したい。現在、オブジェクトの1つが所有している共有ポインタを見つけることができなかったので、私はshared_ptrをそのようなことの代わりに使用していました。しかし、私は明確なオーナーシップと共有/弱いポインタが本当にそれを提供しないことを望む。

このスマートポインタを動的に割り当てられたメモリ領域へのポインタを保持するのではなく、メンバ変数にアタッチすることができればさらに便利です。

もし存在しなければ、私はそれを作るつもりです。だから、誰かがすでにそこに何かをリリースしているかどうかを最初に知りたいのです。

そして、私は参考文献やポインタのようなものがこの種のものを提供していることを認識しています...もっとスマートなものを探しています。

Answer 1

boost::weak_ptrはあなたが探しているものです。たぶん、いくつかの小さな微調整で、それからのshared_ptrの作成を禁止するように。また、これは、動的に割り当てられていないメモリへのポインタを含む何かを保持することができます。

Answer 2

あなたが望むセマンティクスは、QtのQPointerに似ています。対応するQObjectが削除されている場合（通常は、例えばoperator delete）、これはQObjectを保持できるポインタであり、NULL自体です。

しかし、同様のアプローチには固有の問題があります。つまり、クライアントは、ぶら下がりポインタを使用していないことを確認できません。例えば。

QPointer<T> smart_ptr = original_obj; 
T* tmp = smart_ptr; // this might be a function argument etc. 

... // later 
delete original_obj; 

... // even later 
tmp->do_something(); // CRASH 

これはやるまさにshared_ptr/weak_ptrあるオブジェクトの削除を許可していないいくつかの「ハード」の参照を使用して回避することができます。

BTW、AFAIK、shared_ptrはメンバ変数を指すことができますが、メンバ変数を管理することはできません。つまり、何もしないカスタムのDeleterを提供する必要があります。