namespace std {
template<class T>
void atomic_store_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
であること。
order
が以下のメモリオーダーではないこと:
効果
p->swap(r)
相当のことを、アトミックに実行する。
戻り値
なし
例外
投げない
非推奨・削除の詳細
この関数はフリー関数であるため、この関数によってアトミックにアクセスする対象となる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> p;
// pにxをアトミックに書き込む
std::shared_ptr<int> x(new int(3));
std::atomic_store_explicit(&p, x, std::memory_order_release);
// pが指すshared_ptrオブジェクトを、アトミックに読み込む
std::shared_ptr<int> result = std::atomic_load_explicit(
&p, std::memory_order_acquire);
std::cout << *result << std::endl;
}
出力
3
バージョン
言語
- C++11
処理系
- Clang: 3.3 ✅
- GCC: 5.0 ✅
- ICC: ??
- Visual C++: 2012 ✅, 2013 ✅