std :: shared_ptrスレッドセーフティの説明

私はhttp://gcc.gnu.org/onlinedocs/libstdc++/manual/shared_ptr.htmlを読んでいますが、いくつかのスレッドセーフティの問題はまだわかりません：

1. 標準では、参照カウントがスレッドセーフで処理され、プラットフォームに依存しないことが保証されています。
2. 同様の問題-標準では、1つのスレッド（最後の参照を保持している）のみが共有オブジェクトで削除を呼び出すことが保証されていますよね？
3. shared_ptrは、それに格納されているオブジェクトのスレッドセーフを保証しませんか？

編集：

疑似コード：

// Thread I
shared_ptr<A> a (new A (1));

// Thread II
shared_ptr<A> b (a);

// Thread III
shared_ptr<A> c (a);

// Thread IV
shared_ptr<A> d (a);

d.reset (new A (10));

スレッドIVでreset（）を呼び出すと、最初のスレッドで作成されたAクラスの以前のインスタンスが削除され、新しいインスタンスに置き換えられますか？さらに、IVスレッドでreset（）を呼び出した後、他のスレッドには新しく作成されたオブジェクトのみが表示されますか？

他の人が指摘したように、元の3つの質問に関して正しく理解されています。

しかし、編集の最後の部分

スレッドIVでreset（）を呼び出すと、最初のスレッドで作成されたAクラスの以前のインスタンスが削除され、新しいインスタンスに置き換えられますか？さらに、IVスレッドでreset（）を呼び出した後、他のスレッドには新しく作成されたオブジェクトのみが表示されますか？

間違っています。のみd新規作成]をポイントしますA(10)、とa、bと、c元にポイントしていきますA(1)。これは、次の短い例ではっきりと見ることができます。

#include <memory>
#include <iostream>
using namespace std;

struct A
{
  int a;
  A(int a) : a(a) {}
};

int main(int argc, char **argv)
{
  shared_ptr<A> a(new A(1));
  shared_ptr<A> b(a), c(a), d(a);

  cout << "a: " << a->a << "\tb: " << b->a
     << "\tc: " << c->a << "\td: " << d->a << endl;

  d.reset(new A(10));

  cout << "a: " << a->a << "\tb: " << b->a
     << "\tc: " << c->a << "\td: " << d->a << endl;
                                                                                                                 
  return 0;                                                                                                          
}

（明らかに、私はスレッドを気にしませんでした：それは shared_ptr::reset()動作に。）

このコードの出力は

a：1 b：1 c：1 d：1

a：1 b：1 c：1 d：10

1. 正解ですshared_ptr。sは、参照カウント値のアトミックな増分/減分を使用します。

2. 標準では、1つのスレッドのみが共有オブジェクトの削除演算子を呼び出すことが保証されています。共有ポインターのコピーを削除する最後のスレッドが、deleteを呼び出すスレッドになることを具体的に指定しているかどうかはわかりません（実際にはそうなります）。

3. いいえ、そうではありません。それに格納されているオブジェクトは、複数のスレッドで同時に編集できます。

編集：わずかなフォローアップですが、共有ポインタの一般的な仕組みについて知りたい場合は、boost::shared_ptrソースを確認することをお勧めします。 http //www.boost.org/doc/libs/1_37_0/boost/shared_ptr.hpp。

std::shared_ptr スレッドセーフではありません。

共有ポインターは、オブジェクトへのポインターと制御ブロックへのポインターの2つのポインターのペアです（参照カウンターを保持し、弱いポインターにリンクします...）。

複数のstd :: shared_ptrが存在する可能性があり、参照カウンターを変更するために制御ブロックにアクセスする場合は常にスレッドセーフですが、 std::shared_ptrそれ自体はスレッドセーフでもアトミックでもありません。

std::shared_ptr別のスレッドが新しいオブジェクトを使用している間に新しいオブジェクトを割り当てると、新しいオブジェクトポインターが表示される可能性がありますが、古いオブジェクトの制御ブロックへのポインターが引き続き使用されます=> CRASH。