C++26対応としてatomic(_ref)にfetch_max/minを追加 (close #1188)

Author: faithandbrave

lang/cpp26.md

@@ -224,7 +224,7 @@ C++26とは、2026年中に改訂される予定の、C++バージョンの通
 
 ### 並行・並列・非同期処理
 - [`<execution>`](/reference/execution.md)に汎用的な非同期実行を管理するフレームワークを追加
-- [`std::atomic`](/reference/atomic/atomic.md)オブジェクトに対する2つの値の最大値・最小値を取得する関数として、メンバ関数[`fetch_max()`](/reference/atomic/atomic/fetch_max.md.nolink)と[`fetch_min()`](/reference/atomic/atomic/fetch_min.md.nolink)、非メンバ関数として[`std::atomic_fetch_max`](/reference/atomic/atomic_fetch_max.md.nolink)、[`std::atomic_fetch_max_explicit`](/reference/atomic/atomic_fetch_max_explicit.md.nolink)、[`std::atomic_fetch_min`](/reference/atomic/atomic_fetch_min.md.nolink)、[`std::atomic_fetch_min_explicit`](/reference/atomic/atomic_fetch_min_explicit.md.nolink)を追加
+- [`std::atomic`](/reference/atomic/atomic.md)オブジェクトに対する2つの値の最大値・最小値を取得する関数として、メンバ関数[`fetch_max()`](/reference/atomic/atomic/fetch_max.md)と[`fetch_min()`](/reference/atomic/atomic/fetch_min.md)、非メンバ関数として[`std::atomic_fetch_max`](/reference/atomic/atomic_fetch_max.md)、[`std::atomic_fetch_max_explicit`](/reference/atomic/atomic_fetch_max_explicit.md)、[`std::atomic_fetch_min`](/reference/atomic/atomic_fetch_min.md)、[`std::atomic_fetch_min_explicit`](/reference/atomic/atomic_fetch_min_explicit.md)を追加
 - [`std::atomic_ref`](/reference/atomic/atomic_ref.md)クラスに、参照するオブジェクトのアドレスを取得する[`address()`](/reference/atomic/atomic_ref/address.md.nolink)メンバ関数を追加
 - [`std::atomic`](/reference/atomic/atomic.md)クラスのテンプレートパラメータとしてCV修飾された型を禁止
 - [`std::atomic_ref`](/reference/atomic/atomic_ref.md)クラスのテンプレートパラメータとして、CV修飾された型を受け取れるようにした (内部でCV修飾が外される)

reference/atomic.md

@@ -75,6 +75,10 @@
 | [`atomic_fetch_or_explicit`](atomic/atomic_fetch_or_explicit.md) | メモリオーダーを指定してOR演算(function template) | C++11 |
 | [`atomic_fetch_xor`](atomic/atomic_fetch_xor.md) | XOR演算(function template) | C++11 |
 | [`atomic_fetch_xor_explicit`](atomic/atomic_fetch_xor_explicit.md) | メモリオーダーを指定してXOR演算(function template) | C++11 |
+| [`atomic_fetch_max`](atomic/atomic_fetch_max.md) | 最大値取得(function template) | C++26 |
+| [`atomic_fetch_max_explicit`](atomic/atomic_fetch_max_explicit.md) | メモリオーダーを指定して最大値取得(function template) | C++26 |
+| [`atomic_fetch_min`](atomic/atomic_fetch_min.md) | 最小値取得(function template) | C++26 |
+| [`atomic_fetch_min_explicit`](atomic/atomic_fetch_min_explicit.md) | メモリオーダーを指定して最小値取得(function template) | C++26 |
 
 
 ## アトミック型に対するブロッキング同期操作

reference/atomic/atomic.md

@@ -162,6 +162,8 @@ namespace std {
 | [`fetch_and`](atomic/fetch_and.md)        | AND演算        | C++11 |
 | [`fetch_or`](atomic/fetch_or.md)          | OR演算         | C++11 |
 | [`fetch_xor`](atomic/fetch_xor.md)        | XOR演算        | C++11 |
+| [`fetch_max`](atomic/fetch_max.md)        | 最大値取得     | C++26 |
+| [`fetch_min`](atomic/fetch_min.md)        | 最小値取得     | C++26 |
 | [`operator++`](atomic/op_increment.md)    | インクリメント | C++11 |
 | [`operator--`](atomic/op_decrement.md)    | デクリメント   | C++11 |
 | [`operator+=`](atomic/op_plus_assign.md)  | 加算           | C++11 |
@@ -201,6 +203,8 @@ namespace std {
 |------|------|----------------|
 | [`fetch_add`](atomic/fetch_add.md)        | 加算 | C++11 |
 | [`fetch_sub`](atomic/fetch_sub.md)        | 減算 | C++11 |
+| [`fetch_max`](atomic/fetch_max.md)        | 最大値取得     | C++26 |
+| [`fetch_min`](atomic/fetch_min.md)        | 最小値取得     | C++26 |
 | [`operator++`](atomic/op_increment.md)    | インクリメント | C++11 |
 | [`operator--`](atomic/op_decrement.md)    | デクリメント | C++11 |
 | [`operator+=`](atomic/op_plus_assign.md)  | 加算 | C++11 |

reference/atomic/atomic/fetch_max.md

@@ -0,0 +1,72 @@
+# fetch_max
+* atomic[meta header]
+* std[meta namespace]
+* atomic[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+T fetch_max(difference_type operand,
+            memory_order order = memory_order_seq_cst
+            ) const noexcept;                         // (1) C++26
+```
+* memory_order[link /reference/atomic/memory_order.md]
+* memory_order_seq_cst[link /reference/atomic/memory_order.md]
+
+## 概要
+最大値を取得する。
+
+この関数は、`*this`が保持する値と`operand`の大きい方を返す。
+
+
+## テンプレートパラメータ制約
+- (1) : `std::atomic<T*>`の場合、型`T`がオブジェクト型であること。型`T`が`void*`や関数ポインタであってはならない
+
+
+## 効果
+`order`で指定されたメモリオーダーにしたがって、[`std::max()`](/reference/algorithm/max.md)アルゴリズムのように`*this`が保持する値と`operand`の最大値を求めて返す
+
+
+## 例外
+投げない
+
+
+## 備考
+- この関数は、`atomic`クラスの整数型、ポインタに対する特殊化で定義される (浮動小数点数型に対しては定義されない)
+- ポインタ型
+    - ポインタが異なる完全型オブジェクトを指している場合、`<`演算子による比較は狭義の弱順序を確立しない
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <atomic>
+
+int main()
+{
+  std::atomic<int> x(3);
+
+  int ret = x.fetch_max(2);
+
+  std::cout << ret << std::endl;
+}
+```
+* fetch_max[color ff0000]
+
+
+### 出力
+```
+3
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): 19 [mark noimpl]
+- [GCC](/implementation.md#gcc): 14 [mark noimpl]
+
+
+## 参照
+- [P0493R5 Atomic minimum/maximum](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p0493r5.pdf)

reference/atomic/atomic/fetch_min.md

@@ -0,0 +1,72 @@
+# fetch_min
+* atomic[meta header]
+* std[meta namespace]
+* atomic[meta class]
+* function[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+T fetch_min(difference_type operand,
+            memory_order order = memory_order_seq_cst
+            ) const noexcept;                         // (1) C++26
+```
+* memory_order[link /reference/atomic/memory_order.md]
+* memory_order_seq_cst[link /reference/atomic/memory_order.md]
+
+## 概要
+最小値を取得する。
+
+この関数は、`*this`が保持する値と`operand`の大きい方を返す。
+
+
+## テンプレートパラメータ制約
+- (1) : `std::atomic<T*>`の場合、型`T`がオブジェクト型であること。型`T`が`void*`や関数ポインタであってはならない
+
+
+## 効果
+`order`で指定されたメモリオーダーにしたがって、[`std::min()`](/reference/algorithm/min.md)アルゴリズムのように`*this`が保持する値と`operand`の最小値を求めて返す
+
+
+## 例外
+投げない
+
+
+## 備考
+- この関数は、`atomic`クラスの整数型、ポインタに対する特殊化で定義される (浮動小数点数型に対しては定義されない)
+- ポインタ型
+    - ポインタが異なる完全型オブジェクトを指している場合、`<`演算子による比較は狭義の弱順序を確立しない
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <atomic>
+
+int main()
+{
+  std::atomic<int> x(3);
+
+  int ret = x.fetch_min(2);
+
+  std::cout << ret << std::endl;
+}
+```
+* fetch_min[color ff0000]
+
+
+### 出力
+```
+2
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): 19 [mark noimpl]
+- [GCC](/implementation.md#gcc): 14 [mark noimpl]
+
+
+## 参照
+- [P0493R5 Atomic minimum/maximum](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p0493r5.pdf)

reference/atomic/atomic_fetch_max.md

@@ -0,0 +1,71 @@
+# atomic_fetch_max
+* atomic[meta header]
+* std[meta namespace]
+* function template[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std {
+  template <classT>
+  T atomic_fetch_max(volatile atomic<T>* object,
+                     typename atomic<T>::value_type operand) noexcept; // (1) C++26
+
+  template <classT>
+  T atomic_fetch_max(atomic<T>* object,
+                     typename atomic<T>::value_type operand) noexcept; // (2) C++26
+}
+```
+* atomic[link /reference/atomic/atomic.md]
+
+
+## 概要
+アトミックに最大値を取得する
+
+
+## テンプレートパラメータ制約
+- (1), (2) : 型`T`がオブジェクト型であること。型`T`が`void*`や関数ポインタであってはならない
+- (1) : `atomic<T>::is_always_lock_free`が`true`であること
+
+
+## 効果
+[`memory_order_seq_cst`](memory_order.md)のメモリオーダーにしたがって、[`std::max()`](/reference/algorithm/max.md)アルゴリズムのように`*object`が保持する値と`operand`の最大値を求めて返す
+
+
+## 例外
+投げない
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <atomic>
+
+int main()
+{
+  std::atomic<int> x(3);
+
+  int ret = std::atomic_fetch_max(&x, 2);
+
+  std::cout << ret << std::endl;
+}
+```
+* std::atomic_fetch_max[color ff0000]
+
+### 出力
+```
+3
+```
+
+
+## バージョン
+### 言語
+- C++26
+
+
+### 処理系
+- [Clang](/implementation.md#clang): 19 [mark noimpl]
+- [GCC](/implementation.md#gcc): 14 [mark noimpl]
+
+
+## 参照
+- [P0493R5 Atomic minimum/maximum](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p0493r5.pdf)

reference/atomic/atomic_fetch_max_explicit.md

@@ -0,0 +1,73 @@
+# atomic_fetch_max_explicit
+* atomic[meta header]
+* std[meta namespace]
+* function template[meta id-type]
+* cpp26[meta cpp]
+
+```cpp
+namespace std {
+  template <class T>
+  T atomic_fetch_max_explicit(
+      volatile atomic<T>* object,
+      typename atomic<T>::value_type operand,
+      memory_order order) noexcept;                // (1) C++26
+
+  template <class T>
+  T atomic_fetch_max_explicit(
+      atomic<T>* object,
+      typename atomic<T>::value_type operand,
+      memory_order order) noexcept;                // (2) C++26
+}
+```
+* atomic[link atomic.md]
+* memory_order[link memory_order.md]
+
+## 概要
+アトミックに最大値を取得する
+
+
+## テンプレートパラメータ制約
+- (1), (2) : 型`T`がオブジェクト型であること。型`T`が`void*`や関数ポインタであってはならない
+- (1) : `atomic<T>::is_always_lock_free`が`true`であること
+
+
+## 効果
+`order`で指定されたメモリオーダーにしたがって、[`std::max()`](/reference/algorithm/max.md)アルゴリズムのように`*object`が保持する値と`operand`の最大値を求めて返す
+
+
+## 例外
+投げない
+
+
+## 例
+```cpp example
+#include <iostream>
+#include <atomic>
+
+int main()
+{
+  std::atomic<int> x(3);
+
+  int ret = std::atomic_fetch_max_explicit(&x, 2, std::memory_order_seq_cst);
+  std::cout << ret << std::endl;
+}
+```
+* std::atomic_fetch_add_maxlicit[color ff0000]
+
+
+### 出力
+```
+3
+```
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): 19 [mark noimpl]
+- [GCC](/implementation.md#gcc): 14 [mark noimpl]
+
+
+## 参照
+- [P0493R5 Atomic minimum/maximum](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p0493r5.pdf)