atomic_fetch_or_explicit.md

atomic_fetch_or_explicit

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

namespace std {
  template <class T>
  T atomic_fetch_or_explicit(
      volatile atomic<T>* object,
      T operand,
      memory_order order) noexcept;           // (1) C++11

  template <class T>
  T atomic_fetch_or_explicit(
      volatile atomic<T>* object,
      typename atomic<T>::value_type operand,
      memory_order order) noexcept;           // (1) C++17

  template <class T>
  T atomic_fetch_or_explicit(
      atomic<T>* object,
      T operand,
      memory_order order) noexcept;           // (2) C++11

  template <class T>
  T atomic_fetch_or_explicit(
      atomic<T>* object,
      typename atomic<T>::value_type operand,
      memory_order order) noexcept;           // (2) C++17
}

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

概要

アトミックにOR演算を行う

テンプレートパラメータ制約

• (1), (2) :
  • C++17 : 型Tがオブジェクト型であること。型Tがvoid*や関数ポインタであってはならない
• (1) :
  • C++20 : atomic<T>::is_always_lock_freeがtrueであること

効果

orderで指定されたメモリオーダーにしたがって、現在の値にoperandをORした値でアトミックに置き換える

戻り値

変更前の値が返される

例外

投げない

備考

符号付き整数型に対しては、2の補数表現による演算が行われ、未定義動作はない。アドレス型に関しては結果として未定義アドレスになる場合があるが、それ以外の未定義動作はない。

例

#include <iostream>
#include <atomic>
#include <bitset>

int main()
{
  int a = 0x0b;
  int b = 0x0e;

  std::atomic<int> x(a);

  std::atomic_fetch_or_explicit(&x, b, std::memory_order_seq_cst);

  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;
}

• std::atomic_fetch_or_explicit[color ff0000]
• x.load()[link /reference/atomic/atomic/load.md]
• to_string()[link /reference/bitset/bitset/to_string.md]

出力

1011
1110
1111

バージョン

言語

• C++11

処理系

• Clang: ??
• GCC: 4.7.0
• ICC: ??
• Visual C++: 2012, 2013

関連項目

• C++20 ほとんどのvolatileを非推奨化

参照

• P0558R1 Resolving atomic<T> named base class inconsistencies
• P1831R1 Deprecating volatile: library
  • C++20での、volatile版への制約追加