functional: C++26 P2714R1 (#1200)

- bind_{back,front}: 事前条件,適格要件を仕様通りに書換
- not_fn: C++20以降の戻り値定義を追記(C++17定義も維持)

Author: yohhoy

reference/functional/bind_back.md

@@ -7,7 +7,10 @@
 ```cpp
 namespace std {
   template <class F, class... Args>
-  constexpr unspecified bind_back(F&&, Args&&...);
+  constexpr unspecified bind_back(F&& f, Args&&... args);  // (1) C++23
+
+  template <auto f, class... Args>
+  constexpr unspecified bind_back(Args&&... args);         // (2) C++26
 }
 ```
 * unspecified[italic]
@@ -17,16 +20,24 @@ namespace std {
 
 先頭から適用する場合は[`bind_front`](bind_front.md)を用いる。
 
-## テンプレートパラメータ制約
-[`decay_t`](/reference/type_traits/decay.md)`<F>`を適用した型を`FD`、
-[`std::decay_t`](/reference/type_traits/decay.md)`<Args>...`を適用した型パラメータパックを`BoundArgs`であるとして、
 
-- `FD`が[`std::move_constructible`](/reference/concepts/move_constructible.md)要件を満たすこと
-- `BoundArgs`のそれぞれの型`Ti`が[オブジェクト型](/reference/type_traits/is_object.md)である場合、[`std::move_constructible`](/reference/concepts/move_constructible.md)要件を満たすこと
+## 事前条件
+[`decay_t`](/reference/type_traits/decay.md)`<F>`を適用した型を`FD`、[`decay_t`](/reference/type_traits/decay.md)`<Args>...`を適用した型パラメータパックを`BoundArgs`として
+
+- (1) : 
+    - `FD`がCpp17MoveConstructible要件を満たすこと
+    - `BoundArgs`のそれぞれの型`Ti`が[オブジェクト型](/reference/type_traits/is_object.md)である場合、Cpp17MoveConstructible要件を満たすこと
+- (2) :
+    - `BoundArgs`のそれぞれの型`Ti`がCpp17MoveConstructible要件を満たすこと
 
 
 ## 適格要件
-- [`conjunction_v`](/reference/type_traits/conjunction.md)`<`[`is_constructible`](/reference/type_traits/is_constructible.md)`<FD, F>,` [`is_move_constructible`](/reference/type_traits/is_move_constructible.md)`<FD>,` [`is_constructible`](/reference/type_traits/is_constructible.md)`<BoundArgs, Args>...,` [`is_move_constructible`](/reference/type_traits/is_move_constructible.md)`<BoundArgs>...>`が`true`であること
+- (1) :
+    - [`is_constructible_v`](/reference/type_traits/is_constructible.md)`<FD, F> &&` [`is_move_constructible_v`](/reference/type_traits/is_move_constructible.md)`<FD> &&` `(`[`is_constructible_v`](/reference/type_traits/is_constructible.md)`<BoundArgs, Args> && ...) &&` `(`[`is_move_constructible_v`](/reference/type_traits/is_move_constructible.md)`<BoundArgs> && ...)`が`true`であること
+- (2) : `F`を`f`の型として
+    - `(`[`is_constructible_v`](/reference/type_traits/is_constructible.md)`<BoundArgs, Args> && ...)`が`true`、かつ
+    - `(`[`is_move_constructible_v`](/reference/type_traits/is_move_constructible.md)`<BoundArgs> && ...)`が`true`、かつ
+    - もし[`is_poinetr_v`](/reference/type_traits/is_pointer.md)`<F> ||` [`is_member_poinetr_v`](/reference/type_traits/is_member_pointer.md)`<F>`が`true`ならば、`f != nullptr`であること
 
 
 ## 戻り値
@@ -35,8 +46,11 @@ namespace std {
 
 返される関数オブジェクトは渡された引数（`f, args...`）を参照として保持せず、適切にコピー/ムーブして保持する。
 
+
 ## 例外
-- 関数オブジェクト`f`のムーブによって任意の例外が送出される可能性がある
+- (1) : 関数オブジェクト`f`のムーブによって任意の例外が送出される可能性がある
+- (2) : `bound_args`の初期化による任意の例外が送出される可能性がある
+
 
 ## この機能が必要になった背景・経緯
 
@@ -132,6 +146,9 @@ int main() {
 - [ICC](/implementation.md#icc): ??
 - [Visual C++](/implementation.md#visual_cpp): ??
 
+
 ## 参照
 - [P2387R3 Pipe support for user-defined range adaptors](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2387r3.html#nanorange)
 - [rangesのパイプにアダプトするには](https://onihusube.hatenablog.com/entry/2022/04/24/010041)
+- [P2714R1 Bind front and back to NTTP callables](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2714r1.html)
+    - C++26でオーバーロード(2)を追加

reference/functional/bind_front.md

@@ -7,7 +7,10 @@
 ```cpp
 namespace std {
   template <class F, class... Args>
-  constexpr unspecified bind_front(F&&, Args&&...);
+  constexpr unspecified bind_front(F&& f, Args&&... args);  // (1) C++20
+
+  template <auto f, class... Args>
+  constexpr unspecified bind_front(Args&&... args);         // (2) C++26
 }
 ```
 * unspecified[italic]
@@ -49,16 +52,23 @@ auto f3 = bind_front(&Strategy::process, Strategy{});
 ただし、この関数はメンバ関数とレシーバーを受け取る専用にはなっておらず、「引数を先頭から順に束縛する」という汎用的な機能になっているため、「メンバ関数ポインタのみを束縛」「関数と引数の一部を束縛」といった利用もできる。
 
 
-## テンプレートパラメータ制約
-[`decay_t`](/reference/type_traits/decay.md)`<F>`を適用した型を`FD`、
-[`std::decay_t`](/reference/type_traits/decay.md)`<Args>...`を適用した型パラメータパックを`BoundArgs`であるとして、
+## 事前条件
+[`decay_t`](/reference/type_traits/decay.md)`<F>`を適用した型を`FD`、[`decay_t`](/reference/type_traits/decay.md)`<Args>...`を適用した型パラメータパックを`BoundArgs`として
 
-- `FD`が[`std::move_constructible`](/reference/concepts/move_constructible.md)要件を満たすこと
-- `BoundArgs`のそれぞれの型`Ti`が[オブジェクト型](/reference/type_traits/is_object.md)である場合、[`std::move_constructible`](/reference/concepts/move_constructible.md)要件を満たすこと
+- (1) : 
+    - `FD`がCpp17MoveConstructible要件を満たすこと
+    - `BoundArgs`のそれぞれの型`Ti`が[オブジェクト型](/reference/type_traits/is_object.md)である場合、Cpp17MoveConstructible要件を満たすこと
+- (2) :
+    - `BoundArgs`のそれぞれの型`Ti`がCpp17MoveConstructible要件を満たすこと
 
 
 ## 適格要件
-- [`conjunction_v`](/reference/type_traits/conjunction.md)`<`[`is_constructible`](/reference/type_traits/is_constructible.md)`<FD, F>,` [`is_move_constructible`](/reference/type_traits/is_move_constructible.md)`<FD>,` [`is_constructible`](/reference/type_traits/is_constructible.md)`<BoundArgs, Args>...,` [`is_move_constructible`](/reference/type_traits/is_move_constructible.md)`<BoundArgs>...>`が`true`であること
+- (1) :
+    - [`is_constructible_v`](/reference/type_traits/is_constructible.md)`<FD, F> &&` [`is_move_constructible_v`](/reference/type_traits/is_move_constructible.md)`<FD> &&` `(`[`is_constructible_v`](/reference/type_traits/is_constructible.md)`<BoundArgs, Args> && ...) &&` `(`[`is_move_constructible_v`](/reference/type_traits/is_move_constructible.md)`<BoundArgs> && ...)`が`true`であること
+- (2) : `F`を`f`の型として
+    - `(`[`is_constructible_v`](/reference/type_traits/is_constructible.md)`<BoundArgs, Args> && ...)`が`true`、かつ
+    - `(`[`is_move_constructible_v`](/reference/type_traits/is_move_constructible.md)`<BoundArgs> && ...)`が`true`、かつ
+    - もし[`is_poinetr_v`](/reference/type_traits/is_pointer.md)`<F> ||` [`is_member_poinetr_v`](/reference/type_traits/is_member_pointer.md)`<F>`が`true`ならば、`f != nullptr`であること
 
 
 ## 戻り値
@@ -67,8 +77,10 @@ auto f3 = bind_front(&Strategy::process, Strategy{});
 
 返される関数オブジェクトは渡された引数（`f, args...`）を参照として保持せず、適切にコピー/ムーブして保持する。
 
+
 ## 例外
-- 関数オブジェクト`f`のムーブによって任意の例外が送出される可能性がある
+- (1) : 関数オブジェクト`f`のムーブによって任意の例外が送出される可能性がある
+- (2) : `bound_args`の初期化による任意の例外が送出される可能性がある
 
 
 ## 例
@@ -132,3 +144,5 @@ int main() {
 ## 参照
 - [P0356R5 Simplified partial function application](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0356r5.html)
 - [P1651R0 `bind_front` should not unwrap `reference_wrapper`](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1651r0.html)
+- [P2714R1 Bind front and back to NTTP callables](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2714r1.html)
+    - C++26でオーバーロード(2)を追加

reference/functional/not_fn.md

@@ -7,10 +7,12 @@
 ```cpp
 namespace std {
   template <class F>
-  unspecified not_fn(F&& f);            //C++17
-
+  unspecified not_fn(F&& f);            // (1) C++17
   template <class F>
-  constexpr unspecified not_fn(F&& f);  //C++20
+  constexpr unspecified not_fn(F&& f);  // (1) C++20
+
+  template <auto f>
+  constexpr unspecified not_fn();  // (2) C++26
 }
 ```
 * unspecified[italic]
@@ -19,20 +21,18 @@ namespace std {
 任意個数の引数をとって`bool`型を返す関数オブジェクトを受け取り、戻り値を論理反転する関数オブジェクトに変換する。
 
 
-## テンプレートパラメータ制約
-[`decay_t`](/reference/type_traits/decay.md)`<F>`を適用した型を`FD`として、
-
-- `FD`が[`std::move_constructible`](/reference/concepts/move_constructible.md)要件を満たすこと
+## 事前条件
+- (1) : [`decay_t`](/reference/type_traits/decay.md)`<F>`を適用した型を`FD`として、`FD`がCpp17MoveConstructible要件を満たすこと
 
 
 ## 適格要件
-[`decay_t`](/reference/type_traits/decay.md)`<F>`を適用した型を`FD`として、
-
-- [`is_constructible_v`](/reference/type_traits/is_constructible.md)`<FD, F>`が`true`であること
-- [`is_move_constructible_v`](/reference/type_traits/is_move_constructible.md)`<FD>`が`true`であること
+- (1) : [`decay_t`](/reference/type_traits/decay.md)`<F>`を適用した型を`FD`として、
+    - [`is_constructible_v`](/reference/type_traits/is_constructible.md)`<FD, F>`が`true`、かつ
+    - [`is_move_constructible_v`](/reference/type_traits/is_move_constructible.md)`<FD>`が`true`であること
+- (2) : `F`を`f`の型として、もし[`is_poinetr_v`](/reference/type_traits/is_pointer.md)`<F> ||` [`is_member_poinetr_v`](/reference/type_traits/is_member_pointer.md)`<F>`が`true`ならば、`f != nullptr`であること
 
 
-## 効果
+## 効果(C++17)
 説明用の関数オブジェクト`call_wrapper`があるものとして、`call_wrapper(`[`std::forward`](/reference/utility/forward.md)`<F>(f))`を返す。
 
 説明用の関数オブジェクト`call_wrapper`は、以下のようなクラスである：
@@ -75,8 +75,17 @@ private:
 - 右辺値参照版 : `return !`[`INVOKE`](/reference/concepts/Invoke.md)`(`[`std::move`](/reference/utility/move.md)`(fd),` [`std::forward`](/reference/utility/forward.md)`<Args>(args)...)`
 
 
+## 戻り値(C++20)
+結果オブジェクト`g`に対する関数呼び出し式の引数パック`call_args`としたとき
+
+- (1) : `fd`を[`std::forward`](/reference/utility/forward.md)`<F>(f))`で直接非リスト初期化した`FD`型のオブジェクトに対して
+    - 関数呼び出し式の結果が`!`[`invoke`](invoke.md)`(fd, call_args...)`に等しい、完全転送呼び出しラッパー(perfect forwarding call wrapper)オブジェクトを返す。
+- (2) :
+    - 関数呼び出し式の結果が`!`[`invoke`](invoke.md)`(f, call_args...)`に等しい、状態を持たない完全転送呼び出しラッパー(perfect forwarding call wrapper)オブジェクトを返す。
+
+
 ## 例外
-- 関数オブジェクト`f`のムーブによって任意の例外が送出される可能性がある
+- (1) : 関数オブジェクト`f`のムーブによって任意の例外が送出される可能性がある
 
 
 ## 例
@@ -131,3 +140,5 @@ true
 - [LWG Issue 2767. `not_fn` `call_wrapper` can form invalid types](https://wg21.cmeerw.net/lwg/issue2767)
 - [P0356R5 Simplified partial function application](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0356r5.html)
 - [P1065R2 constexpr INVOKE](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1065r2.html)
+- [P2714R1 Bind front and back to NTTP callables](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2714r1.html)
+    - C++26でオーバーロード(2)を追加