5. atomic_exchange_explicit

    • Class / Function / Type

      std::

    • Header file

      <>

    • Other / All

    crsearch v3.0.23

    最終更新日時(UTC):
    が更新

    履歴 編集

    function template
    <memory>

    std::atomic_exchange_explicit

    namespace std {
  template <class T>
  shared_ptr<T> atomic_exchange_explicit(shared_ptr<T>* p, shared_ptr<T> r,
                                         memory_order order);
}

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

    概要

    メモリオーダーを指定して、shared_ptrオブジェクトを、アトミックに入れ替える。

    要件

    p != nullptrであること。

    効果

    p->swap(r)相当のことを、アトミックに実行する。

    戻り値

    変更前の*pを返す。

    例外

    投げない

    非推奨・削除の詳細

    この関数はフリー関数であるため、この関数によってアトミックにアクセスする対象となる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>

int main()
{
  std::shared_ptr<int> a(new int(1));
  std::shared_ptr<int> b(new int(2));

  std::shared_ptr<int> prev_state = std::atomic_exchange_explicit(
                                      &a, b, std::memory_order_acquire);

  std::cout << *a << std::endl;
  std::cout << *prev_state << std::endl;
}

    出力

    2
1

    バージョン

    言語

    • C++11

    処理系

    参照