T fetch_xor(T operand,
memory_order order = memory_order_seq_cst
) volatile noexcept; // (1) C++11
T fetch_xor(T operand,
memory_order order = memory_order_seq_cst
) noexcept; // (2) C++11
概要
XOR演算を行う
要件
- (1), (2) :
- C++17 :
std::atomic<T*>
の場合、型T
がオブジェクト型であること。型T
がvoid*
や関数ポインタであってはならない
- C++17 :
- (1) :
- C++20 :
atomic<T>::is_always_lock_free
がtrue
であること
- C++20 :
効果
order
で指定されたメモリオーダーにしたがって、現在の値にoperand
をXORした値でアトミックに置き換える
戻り値
変更前の値が返される
例外
投げない
備考
- この関数は、
atomic
クラスの整数型に対する特殊化で定義される。 - 符号付き整数型に対しては、符号なし整数型に変換されたかのようにしたあと演算が行われ、結果は符号付き整数型になる。未定義動作はない
例
基本的な使い方
#include <iostream>
#include <atomic>
#include <bitset>
int main()
{
int a = 0x0b;
int b = 0x0e;
std::atomic<int> x(a);
x.fetch_xor(b);
std::cout << std::bitset<4>(a).to_string() << std::endl;
std::cout << std::bitset<4>(b).to_string() << std::endl;
std::cout << std::bitset<4>(x.load()).to_string() << std::endl;
}
出力
1011
1110
0101
複数スレッドからビット複合演算を行う例 (C++14)
#include <iostream>
#include <atomic>
#include <thread>
int main()
{
int ar[] = {1, 2, 3, 4, 5};
std::atomic<int> hash{ar[0]};
// XORで配列のハッシュ値を並列に計算する。
// 複数スレッドでビット複合演算を呼んでも、
// 最終的に全てのスレッドでのビット複合演算が処理された値になる
std::thread t1 {[&hash, ar] {
hash.fetch_xor(ar[1]);
hash.fetch_xor(ar[2]);
}};
std::thread t2 {[&hash, ar] {
hash.fetch_xor(ar[3]);
hash.fetch_xor(ar[4]);
}};
t1.join();
t2.join();
int value = hash.load();
std::cout << std::hex << value << std::endl;
}
出力
1
バージョン
言語
- C++11
処理系
- Clang: 3.2 ✅
- GCC: 4.7.0 ✅
- Visual C++: 2012 ✅, 2013 ✅
関連項目
参照
- P0558R1 Resolving
atomic<T>
named base class inconsistencies- C++17での、オブジェクト型であることの制約追加
- P1831R1 Deprecating
volatile
: library- C++20での、
volatile
版への制約追加
- C++20での、