uses_allocator_construction_args : C++23対応 #1063

Author: faithandbrave

reference/memory/uses_allocator_construction_args.md

@@ -5,41 +5,89 @@
 * cpp20[meta cpp]
 
 ```cpp
-template<class T, class Alloc, class... Args>
-  auto uses_allocator_construction_args(const Alloc& alloc, Args&&... args) -> see below;       // (1)
-
-template<class T, class Alloc, class Tuple1, class Tuple2>
-  auto uses_allocator_construction_args(const Alloc& alloc, piecewise_construct_t,
-                                        Tuple1&& x, Tuple2&& y) -> see below;                   // (2)
-
-template<class T, class Alloc>
-  auto uses_allocator_construction_args(const Alloc& alloc) -> see below;                       // (3)
-
-template<class T, class Alloc, class U, class V>
-  auto uses_allocator_construction_args(const Alloc& alloc, U&& u, V&& v) -> see below;         // (4)
-
-template<class T, class Alloc, class U, class V>
-  auto uses_allocator_construction_args(const Alloc& alloc, const pair<U, V>& pr) -> see below; // (5)
-
-template<class T, class Alloc, class U, class V>
-  auto uses_allocator_construction_args(const Alloc& alloc, pair<U, V>&& pr) -> see below;      // (6)
+template <class T, class Alloc, class... Args>
+constexpr auto
+  uses_allocator_construction_args(
+    const Alloc& alloc,
+    Args&&... args) -> see below;       // (1) C++20
+
+template <class T, class Alloc, class Tuple1, class Tuple2>
+constexpr auto
+  uses_allocator_construction_args(
+    const Alloc& alloc,
+    piecewise_construct_t,
+    Tuple1&& x,
+    Tuple2&& y) -> see below;           // (2) C++20
+
+template <class T, class Alloc>
+constexpr auto
+  uses_allocator_construction_args(
+    const Alloc& alloc) -> see below;   // (3) C++20
+
+template <class T, class Alloc, class U, class V>
+constexpr auto
+  uses_allocator_construction_args(
+    const Alloc& alloc,
+    U&& u,
+    V&& v) -> see below;                // (4) C++20
+
+template <class T, class Alloc, class U, class V>
+constexpr auto
+  uses_allocator_construction_args(
+    const Alloc& alloc,
+    pair<U,V>& pr) noexcept;            // (5) C++23
+
+template <class T, class Alloc, class U, class V>
+constexpr auto
+  uses_allocator_construction_args(
+    const Alloc& alloc,
+    const pair<U, V>& pr) -> see below; // (6) C++20
+
+template <class T, class Alloc, class U, class V>
+constexpr auto
+  uses_allocator_construction_args(
+    const Alloc& alloc,
+    pair<U, V>&& pr) -> see below;      // (7) C++20
+
+template <class T, class Alloc, class U, class V>
+constexpr auto
+  uses_allocator_construction_args(
+    const Alloc& alloc,
+    const pair<U,V>&& pr) noexcept;     // (8) C++23
+
+template <class T, class Alloc, pair-like P>
+constexpr auto
+  uses_allocator_construction_args(
+    const Alloc& alloc,
+    P&& p) noexcept;                    // (9) C++23
+
+template <class T, class Alloc, class U>
+constexpr auto
+  uses_allocator_construction_args(
+    const Alloc& alloc,
+    U&& u) noexcept;                    // (10) C++23
 ```
 * see below[italic]
 
 ## 概要
 `Alloc` 型のアロケータオブジェクト `alloc` を使用した `T` 型オブジェクトの uses-allocator 構築のために必要なコンストラクタ引数を、[`tuple`](../tuple/tuple.md) 型にして返す。
+
 また、`T` が [`pair`](../utility/pair.md) だった場合は、それぞれの要素に対して uses-allocator 構築するために必要なコンストラクタ引数を、[`tuple`](../tuple/tuple.md) 型にして返す。
 
 構築対象の型 `T` は関数引数からは推論できないため、明示的に指定する必要がある。
 
 
 ## テンプレートパラメータ制約
 - (1) : `T` が [`pair`](../utility/pair.md) の特殊化**ではない**場合のみオーバーロード解決に参加する
-- (2)-(6) : `T` が [`pair`](../utility/pair.md) の特殊化**である**場合のみオーバーロード解決に参加する
+- (2)-(10) : `T` が [`pair`](../utility/pair.md) の特殊化**である**場合のみオーバーロード解決に参加する
+- (9) : `P`が[`std::ranges::subrange`](/reference/ranges/subrange.md)の特殊化である場合のみオーバーロード解決に参加する
+- (10) : 以下のいずれかを満たす場合のみオーバーロード解決に参加する
+    - `P`が[`std::ranges::subrange`](/reference/ranges/subrange.md)の特殊化であること。もしくは
+    - `U`が`pair-like`の要件を満たさず、関数`template<class A, class B> void FUN (const pair<A, B>&);`に`FUN(u)`した場合に適格ではないこと
 
 
 ## 戻り値
-- (1) : 以下のいずれかと同等
+- (1) : 以下のいずれかと等価
 	- もし [`uses_allocator_v`](uses_allocator.md)`<T, Alloc>` が `false` で、かつ、[`is_constructible_v`](../type_traits/is_constructible.md)`<T, Args...>` が `true` の場合、
 
 		```cpp
@@ -69,7 +117,7 @@ forward_as_tuple(std::forward<Args>(args)..., alloc)
 
 	- 上記以外の場合、不適格となる。
 
-- (2) : `T` を [`pair`](../utility/pair.md)`<T1, T2>` とすると、以下と同等
+- (2) : `T` を [`pair`](../utility/pair.md)`<T1, T2>` とすると、以下と等価
 
 	```cpp
 make_tuple(
@@ -89,7 +137,7 @@ make_tuple(
 * apply[link ../tuple/apply.md]
 * make_tuple[link ../tuple/make_tuple.md]
 
-- (3) : 以下と同等
+- (3) : 以下と等価
 
 	```cpp
 uses_allocator_construction_args<T>(alloc, piecewise_construct,
@@ -99,7 +147,7 @@ uses_allocator_construction_args<T>(alloc, piecewise_construct,
 * tuple[link ../tuple/tuple/op_constructor.md]
 * uses_allocator_construction_args[color ff0000]
 
-- (4) : 以下と同等
+- (4) : 以下と等価
 
 	```cpp
 uses_allocator_construction_args<T>(alloc, piecewise_construct,
@@ -111,7 +159,7 @@ uses_allocator_construction_args<T>(alloc, piecewise_construct,
 * forward[link ../utility/forward.md]
 * uses_allocator_construction_args[color ff0000]
 
-- (5) : 以下と同等
+- (5), (6) : 以下と等価
 
 	```cpp
 uses_allocator_construction_args<T>(alloc, piecewise_construct,
@@ -122,7 +170,7 @@ uses_allocator_construction_args<T>(alloc, piecewise_construct,
 * forward_as_tuple[link ../tuple/forward_as_tuple.md]
 * uses_allocator_construction_args[color ff0000]
 
-- (6) : 以下と同等
+- (7), (8) : 以下と等価
 
 	```cpp
 uses_allocator_construction_args<T>(alloc, piecewise_construct,
@@ -134,6 +182,39 @@ uses_allocator_construction_args<T>(alloc, piecewise_construct,
 * move[link ../utility/move.md]
 * uses_allocator_construction_args[color ff0000]
 
+- (9) : 以下と等価
+
+    ```cpp
+return uses_allocator_construction_args<T>(alloc, piecewise_construct,
+                                           forward_as_tuple(get<0>(std::forward<P>(p))),
+                                           forward_as_tuple(get<1>(std::forward<P>(p))));
+```
+* piecewise_construct[link ../utility/piecewise_construct_t.md]
+* forward_as_tuple[link ../tuple/forward_as_tuple.md]
+
+- (10) : 以下の説明用クラスを定義し、
+    ```cpp
+    class pair-constructor {
+      using pair-type = remove_cv_t<T>;
+      constexpr auto do-construct(const pair-type& p) const {
+        return make_obj_using_allocator<pair-type>(alloc_, p);
+      }
+
+      constexpr auto do-construct(pair-type&& p) const {
+        return make_obj_using_allocator<pair-type>(alloc_, std::move(p));
+      }
+
+       const Alloc& alloc_;
+       U& u_;
+    public:
+      constexpr operator pair-type() const {
+        return do-construct(std::forward<U>(u_));
+      }
+    };
+    ```
+
+    - `u`で`u_`、`alloc`で`alloc_`初期化した`pair-constructor`オブジェクト`pc`を生成し、`make_tuple(pc)`を返す
+
 
 ## 備考
 - 本関数は、uses-allocator 構築をサポートするために C++20 で導入された。  
@@ -248,3 +329,4 @@ tuple(piecewise_construct_t, tuple(allocator_arg_t, MyAlloc, 3, ), tuple(4, MyAl
 
 ## 参照
 - [P0591R4 Utility functions to implement uses-allocator construction](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0591r4.pdf)
+- [P2321R2 zip](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2321r2.html)