atomic_compare_exchange_strong_explicit.md

atomic_compare_exchange_strong_explicit

• memory[meta header]
• std[meta namespace]
• function template[meta id-type]
• cpp11[meta cpp]

namespace std {
  template<class T>
  bool atomic_compare_exchange_strong_explicit(
         shared_ptr<T>* p, shared_ptr<T>* expected, shared_ptr<T> desired,
         memory_order success, memory_order failure);
}

• memory_order[link /reference/atomic/memory_order.md]

概要

メモリオーダーを指定して、強い比較で、アトミックにshared_ptrオブジェクトを入れ替える。

要件

• p != nullptrであること。
• expected != nullptrであること。
• failureがmemory_order_release, memory_order_acq_relではないこと。
• failureがsuccessよりも強くないこと。

効果

現在の値pとexpectedが等しければ、*pをdesiredで置き換え、そうでなければ*pを*expectedで置き換える。

等しい場合はsuccessメモリオーダー、そうでなければfailureメモリオーダーに従って、アトミックに値の置き換えが行われる。

戻り値

*pと*expectedが等しければtrue、そうでなければfalseを返す。

例外

投げない

備考

等値比較は、2つのshared_ptrオブジェクトが同じポインタを保持し、リソースを共有していればtrueとなる。

例

#include <iostream>
#include <memory>

int main()
{
  std::shared_ptr<int> p(new int(1));

  std::shared_ptr<int> ps = p;
  std::shared_ptr<int> q(new int(3));
  std::atomic_compare_exchange_strong_explicit(
    &p, &ps, std::move(q),
    std::memory_order_acquire,
    std::memory_order_acquire);

  std::shared_ptr<int> result = std::atomic_load(&p);
  std::cout << *result << std::endl;
}

• std::atomic_compare_exchange_strong_explicit[color ff0000]
• std::move[link /reference/utility/move.md]
• std::atomic_load[link atomic_load.md]

出力

3

バージョン

言語

• C++11

処理系

• Clang, C++11 mode: 3.3
• GCC, C++11 mode: 5.0
• ICC: ??
• Visual C++: 2012, 2013

参照

• atomic_compare_exchange_strong() - shared_ptr
• atomic_compare_exchange_strong_explicit() - <atomic>
• atomic_compare_exchange_strong_explicit() - <atomic>
• N2674 Shared_ptr atomic access, revision 1
• C++0x Shared_ptr atomic access - Faith and Brave - C++で遊ぼう
• LWG Issue 2172. Does atomic_compare_exchange_* accept v == nullptr arguments?