◐ Shell
clean mode source ↗

std::atomic(std::shared_ptr) - cppreference.com

提供: cppreference.com

<tbody> </tbody>

template <class T> struct std::atomic<std::shared_ptr<T>>;

 (C++20以上)

std::shared_ptr<T> に対する std::atomic のテンプレート部分特殊化は、 shared_ptr オブジェクトをアトミックに操作することを可能とします。

複数の実行のスレッドが同期せずに同じ std::shared_ptr オブジェクトにアクセスし、それらのアクセスのいずれかが shared_ptr の非 const メンバ関数を使用する場合、それらのアクセスがすべて std::atomic<std::shared_ptr<T>> のインスタンスを通して (または C++20 で非推奨になった std::shared_ptr へのアトミックアクセスのためのスタンドアロン関数を通して) 行われたのでなければ、データ競合が発生します。

関連する use_count のインクリメントは、アトミック操作の一部であることが保証されます。 関連する use_count のデクリメントは、アトミック操作に対して後続配列されますが、その一部ではありません。 ただし CAS の失敗で expected が上書きされるときの use_count は除きます。 関連するあらゆる削除および解放は、アトミック更新処理に対して後続配列され、アトミック操作の一部ではありません。

shared_ptr の制御ブロックはスレッドセーフであることに注意してください。 異なる非アトミックな std::shared_ptr オブジェクトは、これらのインスタンスがコピーされ内部的に同じ制御ブロックを共有しているときでも、 operator= や reset といった変更操作を使用して複数のスレッドから同時にアクセスできます。

型 T は不完全型でも構いません。

メンバ型

メンバ型 定義
value_type std::shared_ptr<T>

メンバ関数

std::atomic の特殊化されていないすべての関数は、この特殊化でも提供されます。 追加のメンバ関数はありません。

atomic<shared_ptr<T>>::atomic

<tbody> </tbody>

constexpr atomic() noexcept = default;

 (1)

atomic(std::shared_ptr<T> desired) noexcept;

 (2)

atomic(const atomic&) = delete;

 (3)

1) ベースとなる shared_ptr<T> をデフォルト構築された値に初期化します。

2) ベースとなる shared_ptr<T> を desired のコピーに初期化します。 あらゆる std::atomic 型同様、初期化はアトミック操作ではありません。

3) アトミック型はコピー構築可能でもムーブ構築可能でもありません。

atomic<shared_ptr<T>>::operator=

<tbody> </tbody>

void operator=(const atomic&) = delete;

 (1)

void operator=(std::shared_ptr<T> desired) noexcept;

 (2)

1) アトミック型はコピー代入可能でもムーブ代入可能でもありません。

2) 値の代入。 store(desired) と同等です。

atomic<shared_ptr<T>>::is_lock_free

<tbody> </tbody>

bool is_lock_free() const noexcept;

この型のすべてのオブジェクトに対するアトミック操作がロックリーであれば true、そうでなければ false を返します。

atomic<shared_ptr<T>>::store

<tbody> </tbody>

void store(std::shared_ptr<T> desired, std::memory_order order = std::memory_order_seq_cst) noexcept;

*this の値を desired の値とアトミックに置き換えます。 置き換えは p.swap(desired) によって行われたかのように行われます。 ただし p はベースとなる std::shared_ptr<T> です。 メモリは order に従って順序付けされます。 order が std::memory_order_consume、 std::memory_order_acquire、 または std::memory_order_acq_rel の場合、動作は未定義です。

atomic<shared_ptr<T>>::load

<tbody> </tbody>

std::shared_ptr<T> load(std::memory_order order = std::memory_order_seq_cst) const noexcept;

ベースとなる shared_ptr のコピーをアトミックに返します。 メモリは order に従って順序付けされます。 order が std::memory_order_release または std::memory_order_acq_rel の場合、動作は未定義です。

atomic<shared_ptr<T>>::operator std::shared_ptr<T>

<tbody> </tbody>

operator std::shared_ptr<T>() const noexcept;

return load(); と同等です。

atomic<shared_ptr<T>>::exchange

<tbody> </tbody>

std::shared_ptr<T> exchange(std::shared_ptr<T> desired, std::memory_order order = std::memory_order_seq_cst) noexcept;

ベースとなる std::shared_ptr<T> を desired でアトミックに置き換え、 p がその置き換えの直前に持っていた値のコピーを返します。 置き換えは p.swap(desired) によって行われたかのように行われます。 ただし p はベースとなる std::shared_ptr<T> です。 メモリは order に従って順序付けされます。 これはアトミック読み込み-変更-書き込み操作です。

atomic<shared_ptr<T>>::compare_exchange_weak, compare_exchange_strong

<tbody> </tbody>

bool compare_exchange_strong(std::shared_ptr<T>& expected, std::shared_ptr<T> desired, std::memory_order success, std::memory_order failure) noexcept;

 (1)

bool compare_exchange_weak(std::shared_ptr<T>& expected, std::shared_ptr<T> desired, std::memory_order success, std::memory_order failure) noexcept;

 (2)

bool compare_exchange_strong(std::shared_ptr<T>& expected, std::shared_ptr<T> desired, std::memory_order order = std::memory_order_seq_cst) noexcept;

 (3)

bool compare_exchange_weak(std::shared_ptr<T>& expected, std::shared_ptr<T> desired, std::memory_order order = std::memory_order_seq_cst) noexcept;

 (4)

1) ベースとなる std::shared_ptr<T> が expected と同じ T* を格納していて、それと所有権を共有している場合、または、ベースと expected がどちらも空の場合、 desired からベースとなる std::shared_ptr<T> に代入を行い、 true を返し、 success に従ってメモリを順序付けします。 そうでなければ、ベースとなる std::shared_ptr<T> から expected に代入を行い、 false を返し、 failure に従ってメモリを順序付けします。 failure が std::memory_order_release または std::memory_order_acq_rel であれば、動作は未定義です。 成功した場合、この操作は *this に対するアトミック読み込み-変更-書き込み操作であり、アトミック更新後 expected はアクセスされません。 失敗した場合、この操作は *this に対するアトミックロード操作であり、 expected はそのアトミックオブジェクトから読み込んだ既存の値で更新されます。 expected の use_count に対する更新はこのアトミック操作の一部ですが、書き込み自体 (および後続の解放/削除) はそうであるとは限りません。

2) (1) と同じですが、スプリアスに失敗する可能性があります。

3) return compare_exchange_strong(expected, desired, order, fail_order); と同等です。 ただし fail_order は order と同じですが、 std::memory_order_acq_rel は std::memory_order_acquire に置き換えられ、 std::memory_order_release は std::memory_order_relaxed に置き換えられます。

4) return compare_exchange_weak(expected, desired, order, fail_order); と同等です。 ただし fail_order は order と同じですが、 std::memory_order_acq_rel は std::memory_order_acquire に置き換えられ、 std::memory_order_release は std::memory_order_relaxed に置き換えられます。

メンバ定数

唯一の標準の std::atomic のメンバ定数 is_always_lock_free は、この特殊化によっても提供されます。

atomic<shared_ptr<T>>::is_always_lock_free

<tbody> </tbody>

static constexpr bool is_always_lock_free = /*implementation-defined*/;

例

関連項目

atomic クラステンプレートと bool 型、整数型、ポインタ型に対する特殊化
(クラステンプレート) [edit]