execution: get_allocator (#1384)

Author: yohhoy

reference/execution/execution.md

@@ -36,7 +36,7 @@ namespace std::execution {
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|
 | [`forwarding_query`](forwarding_query.md.nolink) | クエリオブジェクトに転送問い合わせ可能か否かを返す (customization point object) | C++26 |
-| [`get_allocator`](get_allocator.md.nolink) | アロケータ取得のクエリオブジェクト (customization point object) | C++26 |
+| [`get_allocator`](get_allocator.md) | アロケータ取得のクエリオブジェクト (customization point object) | C++26 |
 | [`get_stop_token`](get_stop_token.md) | 停止トークン取得のクエリオブジェクト (customization point object) | C++26 |
 | [`stop_token_of_t`](stop_token_of_t.md) | 指定型から停止トークン型を取得 (alias template) | C++26 |
 | [`execution::get_domain`](execution/get_domain.md.nolink) | 実行ドメイン取得のクエリオブジェクト (customization point object) | C++26 |

reference/execution/execution/env.md

@@ -61,7 +61,7 @@ int main()
 ```
 * ex::env[color ff0000]
 * ex::prop[link prop.md]
-* std::get_allocator[link get_allocator.md.nolink]
+* std::get_allocator[link ../get_allocator.md]
 * std::get_stop_token[link ../get_stop_token.md]
 * std::never_stop_token[link /reference/stop_token/never_stop_token.md]
 

reference/execution/execution/env/query.md

@@ -12,7 +12,7 @@ constexpr decltype(auto) query(QueryTag q) const noexcept(see below);
 * see below[italic]
 
 ## 概要
-クエリオブジェクト`q`をキーとして、対応する値を問い合わせる。
+[クエリオブジェクト](../../queryable.md)`q`をキーとして、対応する値を問い合わせる。
 
 
 ## テンプレートパラメータ制約
@@ -69,7 +69,7 @@ int main()
 * query[color ff0000]
 * ex::env[link ../env.md]
 * ex::prop[link ../prop.md]
-* std::get_allocator[link get_allocator.md.nolink]
+* std::get_allocator[link ../../get_allocator.md]
 * std::get_stop_token[link ../../get_stop_token.md]
 * std::never_stop_token[link /reference/stop_token/never_stop_token.md]
 * std::stop_token[link /reference/stop_token/stop_token.md]

reference/execution/execution/get_env.md

@@ -22,7 +22,7 @@ namespace std::execution {
 ## 効果
 式`get_env(o)`は下記と等価であり、[`queryable`](../queryable.md)を満たす型の値となる。
 
-- 引数`o`がconst修飾された`co`を用いて、式`co.get_env()`が有効であればその値。
+- 引数`o`がconst修飾された`co`を用いて、式`co.get_env()`が適格であればその値。
 - そうでなければ、空のクエリ可能オブジェクト[`env<>{}`](env.md)
 
 

reference/execution/execution/prop.md

@@ -23,7 +23,7 @@ namespace std::execution {
 * unwrap_reference_t[link /reference/type_traits/unwrap_reference.md]
 
 ## 概要
-`QueryTag`型クエリオブジェクトのキーと`ValueType`型の値から、[クエリ可能オブジェクト](../queryable.md)を構築する。
+`QueryTag`型[クエリオブジェクト](../queryable.md)のキーと`ValueType`型の値から、[クエリ可能オブジェクト](../queryable.md)を構築する。
 
 
 ## 適格要件

reference/execution/get_allocator.md

@@ -0,0 +1,82 @@
+# get_allocator
+* execution[meta header]
+* cpo[meta id-type]
+* std[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std {
+  struct get_allocator_t { unspecified };
+  constexpr get_allocator_t get_allocator{};
+}
+```
+* unspecified[italic]
+
+## 概要
+`get_allocator`は、[クエリ可能オブジェクト](queryable.md)からアロケータを取得する[クエリオブジェクト](queryable.md)である。
+
+コア定数式[`forwarding_query`](forwarding_query.md.nolink)`(get_allocator)`は`true`値を返す。
+
+
+## 効果
+式`get_allocator(env)`は下記と等価であり、説明専用コンセプト`simple-allocator`を満たす型の値となる。
+
+- 引数`env`がconst修飾された`cenv`を用いて、式`cenv.query(get_allocator)`が適格であること。
+
+```cpp
+template<class Alloc>
+concept simple-allocator =
+  requires(Alloc alloc, size_t n) {
+    { *alloc.allocate(n) } -> same_as<typename Alloc::value_type&>;
+    { alloc.deallocate(alloc.allocate(n), n) };
+  } &&
+  copy_constructible<Alloc> &&
+  equality_comparable<Alloc>;
+```
+
+
+## 例外
+投げない
+
+
+## カスタマイゼーションポイント
+const修飾[クエリ可能オブジェクト](queryable.md)`env`に対して式`env.query(get_allocator)`が呼び出される。
+このとき、`noexcept(cenv.query(get_allocator)) == true`であること。
+
+
+## 例
+```cpp
+#include <concepts>
+#include <memory>
+#include <execution>
+namespace ex = std::execution;
+
+int main()
+{
+  auto env = ex::prop(std::get_allocator, std::allocator<int>{});
+
+  auto alloc = std::get_allocator(env);
+  static_assert(std::same_as<decltype(alloc), std::allocator<int>>);
+}
+```
+* std::get_allocator[color ff0000]
+* ex::prop[link execution/prop.md]
+
+### 出力
+```
+```
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 参照
+- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)

reference/execution/get_stop_token.md

@@ -21,7 +21,7 @@ namespace std {
 ## 効果
 式`get_stop_token(env)`は下記と等価であり、[`stoppable_token`](/reference/stop_token/stoppable_token.md)を満たす型の値となる。
 
-- 引数`env`がconst修飾された`cenv`を用いて、式`cenv.query(get_stop_token)`が有効であればその値。
+- 引数`env`がconst修飾された`cenv`を用いて、式`cenv.query(get_stop_token)`が適格であればその値。
 - そうでなければ、[`never_stop_token{}`](/reference/stop_token/never_stop_token.md)