共有ポインタを引数として渡す

共有ポインタでラップされたオブジェクトを宣言すると、次のようになります。

std::shared_ptr<myClass> myClassObject(new myClass());

それから私はそれをメソッドへの引数として渡したいと思いました：

DoSomething(myClassObject);

//the called method
void DoSomething(std::shared_ptr<myClass> arg1)
{
   arg1->someField = 4;
}

上記は単にshared_ptの参照カウントをインクリメントするだけで、すべてがクールですか？それとも、ダングリングポインタを残しますか？

あなたはまだこれをすることになっていますか？：

DoSomething(myClassObject.Get());

void DoSomething(std::shared_ptr<myClass>* arg1)
{
   (*arg1)->someField = 4;
}

（スマートポインタ全体ではなく）1つのアドレスをコピーするだけでよいため、2番目の方法の方が効率的かもしれないと思いますが、1番目の方法の方が読みやすく、パフォーマンスの制限を押し上げることはないと思います。危険なものがないことを確認したいだけです。

ありがとうございました。

関数への共有ポインタを渡したい。それを手伝ってくれませんか。

確かに、私はあなたを助けることができます。C ++の所有権のセマンティクスについてある程度理解していると思います。本当？

ええ、私はその主題にかなり満足しています。

良い。

わかりました、私はshared_ptr議論をする2つの理由しか考えることができません：

1. 関数はオブジェクトの所有権を共有したいと考えています。
2. この関数は、特に機能するいくつかの操作を実行します shared_ptrsでます。

どちらに興味がありますか？

私は一般的な答えを探しているので、実際には両方に興味があります。ただし、ケース2の場合の意味については興味があります。

このような関数の例には、次のものがあります。 std::static_pointer_cast、カスタムコンパレータ、または述語が含まれます。たとえば、ベクトルからすべての一意のshared_ptrを検索する必要がある場合は、そのような述語が必要です。

ああ、関数が実際にスマートポインタ自体を操作する必要があるとき。

丁度。

その場合は参考にすればいいと思います。

はい。また、ポインタが変更されない場合は、const参照を渡します。所有権を共有する必要がないため、コピーする必要はありません。それは別のシナリオです。

はい、わかった。他のシナリオについて話しましょう。

あなたが所有権を共有するもの？OK。所有権をどのように共有しますかshared_ptrますか？

それをコピーすることによって。

次に、関数はのコピーを作成する必要がありますshared_ptr、正しいですか？

明らかに。だから私はそれをconstへの参照で渡し、ローカル変数にコピーしますか？

いいえ、それは悲観的です。参照によって渡された場合、関数は手動でコピーを作成する以外に選択肢はありません。値が渡された場合、コンパイラーはコピーと移動のどちらかを選択して自動的に実行します。したがって、値を渡します。

いい視点ね。「スピードが欲しい？価値を渡す」という記事をもっと頻繁に覚えておく必要があります。

shared_ptrたとえば、関数がをメンバー変数に格納するとどうなるでしょうか。それは冗長なコピーを作成しませんか？

この関数は、shared_ptr引数をストレージに移動するだけです。引っ越しshared_ptrと、参照カウントが変更されないため安価です。

ああ、いい考えだ。

しかし、私は3番目のシナリオを考えています。操作したくない場合shared_ptrや所有権を共有したくない場合はどうなりますか？

その場合、shared_ptrは機能とはまったく関係ありません。ポインティを操作する場合は、ポインティを取得し、呼び出し元に必要な所有権セマンティクスを選択させます。

そして、私はポインティを参照または値でとるべきですか？

通常のルールが適用されます。スマートポインタは何も変更しません。

コピーする場合は値で渡し、コピーを避けたい場合は参照で渡します。

正しい。

うーん。さらに別のシナリオを忘れたと思います。所有権を共有したいが、特定の条件にのみ依存する場合はどうなりますか？

ああ、興味深いエッジケース。私はそれが頻繁に起こるとは思わない。ただし、それが発生した場合は、値を渡して必要がない場合はコピーを無視するか、参照を渡して必要に応じてコピーを作成することができます。

私は最初のオプションで1つの冗長なコピーを危険にさらし、2番目のオプションで潜在的な動きを失います。ケーキを食べて食べられないの？

それが本当に重要な状況にある場合は、2つのオーバーロードを提供できます。1つはconst左辺値参照を取り、もう1つは右辺値参照を取ります。1つはコピーし、もう1つは移動します。完全転送関数テンプレートは別のオプションです。

私はそれがすべての可能なシナリオをカバーしていると思います。どうもありがとうございました。

生のポインタを関数のパラメータとして使うことを不必要に恐れていると思います。関数がポインターを格納しない場合、またはその存続期間に影響を与えない場合、生のポインターも同様に機能し、最小公分母を表します。たとえば、値またはconst参照のいずれかによって、をパラメーターとしてunique_ptr受け取る関数にaを渡す方法を考えてみてshared_ptrください。

void DoSomething(myClass * p);

DoSomething(myClass_shared_ptr.get());
DoSomething(myClass_unique_ptr.get());

関数パラメーターとしての生のポインターは、それが本当に重要である呼び出しコードでスマートポインターを使用することを妨げません。

はい、shared_ptr <>に関する全体的な考え方は、複数のインスタンスが同じrawポインターを保持でき、shared_ptr <>の最後のインスタンスが破棄された場合にのみ基になるメモリが解放されるということです。

shared_ptr <>へのポインターは避けます。これは、raw_pointersを再度処理しているため、目的が損なわれるためです。

最初の例の値渡しは安全ですが、より良いイディオムがあります。可能な場合はconst参照を渡します-スマートポインターを扱う場合でも「はい」と言います。2番目の例は正確には壊れていませんが、非常に壊れてい!???ます。愚かな、何も達成せず、スマートポインターのポイントの一部を打ち負かし、物事を逆参照して変更しようとすると、バグのある苦痛の世界にあなたを置き去りにします。

関数 DoSomething では、クラスのインスタンスのデータメンバーを変更しているmyClass ため、変更するのは（shared_ptr）オブジェクトではなく、管理対象（rawポインター）オブジェクトです。つまり、この関数の戻り点で、マネージ生ポインターへのすべての共有ポインターは、それらのデータメンバーを参照しmyClass::someFieldます。異なる値に変更されます。

この場合、オブジェクトを変更しないことが保証された関数にオブジェクトを渡します（所有オブジェクトではなくshared_ptrについて話します）。

これを表現するイディオムは次のとおりです。constref、like so

void DoSomething(const std::shared_ptr<myClass>& arg)

同様に、関数のユーザーに、生のポインターの所有者のリストに別の所有者を追加しないことを保証しています。ただし、生のポインタが指す基になるオブジェクトを変更する可能性を維持しました。

警告：つまり、shared_ptr::reset関数を呼び出す前に誰かが呼び出し、その時点でそれがraw_ptrを所有する最後のshared_ptrである場合、オブジェクトは破棄され、関数はダングリングポインターを操作してオブジェクトを破棄します。とても危ない！！！