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);
}
概要
メモリオーダーを指定して、強い比較で、アトミックに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;
}
出力
3
バージョン
言語
- C++11
処理系
- Clang: 3.3
- GCC: 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_*
acceptv == nullptr
arguments?