最終更新日時: 2025年10月10日 13時00分13秒 (JST)
Akira Takahashi が更新

履歴 編集

function template
<atomic>

# std::atomic_store_and_explicit(C++26)

    namespace std {
      template <class T>
      void
        atomic_store_and_explicit(
          volatile atomic<T>* object,
          typename atomic<T>::difference_type operand,
          memory_order order) noexcept;                // (1) C++26

      template <class T>
      constexpr void
        atomic_store_and_explicit(
          atomic<T>* object,
          typename atomic<T>::difference_type operand,
          memory_order order) noexcept;                // (2) C++26
    }

## 概要

値を読み込まずにアトミックにANDを行う。

この関数は、`atomic_fetch_and_explicit()`と異なり、現在の (古い) 値を読み込むことなく現在の値に演算を行うため、高速に動作する。ただし変更前の古い値は戻り値として取得できない。

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

- 型`T`が整数型であること
- (1) :
  - `atomic<T>::is_always_lock_free`が`true`であること

## 事前条件

- `order`は、以下のいずれかであること
  - `memory_order_relaxed`
  - `memory_order_release`
  - `memory_order_seq_cst`

## 効果

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

## 戻り値

なし

## 例外

投げない

## 備考

- 符号付き整数型に対しては、符号なし整数型に変換されたかのようにしたあと演算が行われ、結果は符号付き整数型になる。未定義動作はない

## 例

    #include <print>
    #include <atomic>

    int main()
    {
      std::atomic<int> x(0b1001);

      std::atomic_store_and_explicit(&x, 0b0101, std::memory_order_seq_cst);

      std::println("0b{:04b}", x.load());
    }

### 出力

    0b0001

## バージョン

### 言語

- C++26

### 処理系

- Clang: 21 ❌
- GCC: 15 ❌
- Visual C++: 2022 Update 13 ❌

## 参照

- P3111R8 Atomic Reduction Operations