最終更新日時: 2026年07月22日 11時09分53秒 (JST)
rotarymars が更新

履歴 編集

function template
<memory>

# std::atomic_compare_exchange_strong_explicit(C++11)(C++20で非推奨)(C++26で削除)

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

この関数は、C++20から非推奨となり、C++26で削除された。アトミックアクセスの対象としている`shared_ptr`を`shared_ptr`に対する`atomic`特殊化で置き換えることで同等の機能を使用できる。

## 概要

メモリオーダーを指定して、強い比較で、アトミックに`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`となる。

## 非推奨・削除の詳細

この関数はフリー関数であるため、この関数によってアトミックにアクセスする対象となる`shared_ptr`オブジェクトそのものはどこかに配置されている非アトミックオブジェクトである。そのため、アトミックアクセスしたい文脈の外側から通常のアクセスが可能であり、もし別のスレッドからそのようなアクセスが行われているとこの関数を用いていてもデータ競合を引き起こし未定義動作を引き起こす。

すなわち、アトミックにアクセスしたい`shared_ptr`オブジェクトに対する全てのアクセスをプログラマがきちんと管理しなければこの関数の使用は安全ではなく、それはかなり困難であったためこの関数は危険な利用がデフォルトとなっていた。

そのため、この関数（とそのファミリ）は非推奨とされ、代わりに`shared_ptr`に対する`atomic`特殊化が追加された。`shared_ptr`に対する`atomic`特殊化を利用すれば、アトミックにアクセスする対象となる`shared_ptr`オブジェクトそのものをアトミックオブジェクトとすることができるため、どこからアクセスしたとしても全てのアクセスは自動的にアトミックアクセスとなり、前述の問題は回避できる。

この関数から`shared_ptr`に対する`atomic`特殊化に移行する場合は、元のコードでアトミックアクセス対象となっていた`shared_ptr`オブジェクトの型を`std::atomic<std::shared_ptr>`に変更することで移行でき、その場合は`atomic`のために用意されているフリー関数が代わりに使用される（宣言されているヘッダが異なるため、`<atomic>`ヘッダのインクルードが必要となるかもしれない）。

## 例

    #include <iostream>
    #include <memory>
    #include <utility>

    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>`
- 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?
- P0718R2 Revising `atomic_shared_ptr` for C++20
- P2869R4 Remove Deprecated `shared_ptr` Atomic Access APIs from C++26