algorithm/remove_copy : C++26波カッコ初期化に対応 #1311

Author: faithandbrave

reference/algorithm/ranges_remove_copy.md

@@ -23,6 +23,23 @@ namespace std::ranges {
                 O result,
                 const T& value,
                 Proj proj = {}); // (1) C++20
+  template <input_iterator I,
+            sentinel_for<I> S,
+            weakly_incrementable O,
+            class Proj = identity,
+            class T = projected_value_t<I, Proj>>
+    requires indirectly_copyable<I, O> &&
+             indirect_binary_predicate<
+               ranges::equal_to,
+               projected<I, Proj>,
+               const T*
+             >
+  constexpr remove_copy_result<I, O>
+    remove_copy(I first,
+                S last,
+                O result,
+                const T& value,
+                Proj proj = {}); // (1) C++26
 
   template <input_range R,
             weakly_incrementable O,
@@ -39,6 +56,21 @@ namespace std::ranges {
                 O result,
                 const T& value,
                 Proj proj = {}); // (2) C++20
+  template <input_range R,
+            weakly_incrementable O,
+            class Proj = identity,
+            class T = projected_value_t<iterator_t<R>, Proj>>
+    requires indirectly_copyable<iterator_t<R>, O> &&
+             indirect_binary_predicate<
+               ranges::equal_to,
+               projected<iterator_t<R>, Proj>,
+               const T*
+             >
+  constexpr remove_copy_result<borrowed_iterator_t<R>, O>
+    remove_copy(R&& r,
+                O result,
+                const T& value,
+                Proj proj = {}); // (2) C++26
 }
 ```
 * input_iterator[link /reference/iterator/input_iterator.md]
@@ -76,10 +108,17 @@ namespace std::ranges {
 
 
 ## 備考
-安定。
+- 安定。
+- (1), (2) :
+    - C++26 : 引数として波カッコ初期化`{}`を受け付ける
+        ```cpp
+        std::vector<T> v;
+        std::ranges::remove_copy(v, result, {a, b});
+        ```
 
 
 ## 例
+### 基本的な使い方
 ```cpp example
 #include <algorithm>
 #include <iostream>
@@ -95,11 +134,53 @@ int main() {
 ```
 * std::ranges::remove_copy[color ff0000]
 
-### 出力
+#### 出力
 ```
 2,3,2,
 ```
 
+### 波カッコ初期化を入力として使用する (C++26)
+```cpp example
+#include <algorithm>
+#include <iostream>
+#include <vector>
+#include <iterator>
+
+struct Point {
+  int x;
+  int y;
+
+  bool operator==(const Point& other) const = default;
+};
+
+std::ostream& operator<<(std::ostream& os, const Point& p) {
+  return os << p.x << "," << p.y;
+}
+
+int main() {
+  std::vector<Point> v = {
+    {1, 2},
+    {3, 4},
+    {5, 6},
+    {1, 2},
+  };
+
+  // 値{1, 2}を除去した結果を出力する
+  std::ranges::remove_copy(
+    v,
+    std::ostream_iterator<Point>(std::cout, "\n"),
+    {1, 2}
+  );
+}
+```
+* std::ranges::remove_copy[color ff0000]
+
+#### 出力
+```
+3,4
+5,6
+```
+
 
 ## バージョン
 ### 言語
@@ -113,3 +194,5 @@ int main() {
 
 ## 参照
 - [N4861 25 Algorithms library](https://timsong-cpp.github.io/cppwp/n4861/algorithms)
+- [P2248R8 Enabling list-initialization for algorithms](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2248r8.html)
+    - C++26で波カッコ初期化 (リスト初期化) に対応した

reference/algorithm/remove_copy.md

@@ -5,36 +5,59 @@
 
 ```cpp
 namespace std {
-  template <class InputIterator, class OutputIterator, class T>
+  template <class InputIterator,
+            class OutputIterator,
+            class T>
   OutputIterator
     remove_copy(InputIterator first,
                 InputIterator last,
                 OutputIterator result,
                 const T& value);         // (1) C++03
-
-  template <class InputIterator, class OutputIterator, class T>
+  template <class InputIterator,
+            class OutputIterator,
+            class T>
   constexpr OutputIterator
     remove_copy(InputIterator first,
                 InputIterator last,
                 OutputIterator result,
                 const T& value);         // (1) C++20
+  template <class InputIterator,
+            class OutputIterator,
+            class T = typename iterator_traits<InputIterator>::value_type>
+  constexpr OutputIterator
+    remove_copy(InputIterator first,
+                InputIterator last,
+                OutputIterator result,
+                const T& value);         // (1) C++26
 
-  template <class ExecutionPolicy, class ForwardIterator1, class ForwardIterator2,
+  template <class ExecutionPolicy,
+            class ForwardIterator1,
+            class ForwardIterator2,
             class T>
   ForwardIterator2
     remove_copy(ExecutionPolicy&& exec,
                 ForwardIterator1 first,
                 ForwardIterator1 last,
                 ForwardIterator2 result,
                 const T& value);         // (2) C++17
+  template <class ExecutionPolicy,
+            class ForwardIterator1,
+            class ForwardIterator2,
+            class T = typename iterator_traits<ForwardIterator1>::value_type>
+  ForwardIterator2
+    remove_copy(ExecutionPolicy&& exec,
+                ForwardIterator1 first,
+                ForwardIterator1 last,
+                ForwardIterator2 result,
+                const T& value);         // (2) C++26
 }
 ```
 
 ## 概要
 イテレータ範囲`[first, last)`から指定された要素を除け、その結果を出力の範囲へコピーする。
 
 
-## テンプレートパラメータ制約
+## 適格要件
 - `*result = *first` という式が有効であること
 
 
@@ -55,10 +78,17 @@ namespace std {
 
 
 ## 備考
-安定。
+- 安定。
+- (1), (2) :
+    - C++26 : 引数として波カッコ初期化`{}`を受け付ける
+        ```cpp
+        std::vector<T> v;
+        std::remove_copy(v.begin(), v.end(), result, {a, b});
+        ```
 
 
 ## 例
+### 基本的な使い方
 ```cpp example
 #include <algorithm>
 #include <iostream>
@@ -75,11 +105,54 @@ int main() {
 ```
 * std::remove_copy[color ff0000]
 
-### 出力
+#### 出力
 ```
 2,3,2,
 ```
 
+### 波カッコ初期化を入力として使用する (C++26)
+```cpp example
+#include <algorithm>
+#include <iostream>
+#include <vector>
+#include <iterator>
+
+struct Point {
+  int x;
+  int y;
+
+  bool operator==(const Point& other) const = default;
+};
+
+std::ostream& operator<<(std::ostream& os, const Point& p) {
+  return os << p.x << "," << p.y;
+}
+
+int main() {
+  std::vector<Point> v = {
+    {1, 2},
+    {3, 4},
+    {5, 6},
+    {1, 2},
+  };
+
+  // 値{1, 2}を除去した結果を出力する
+  std::remove_copy(
+    v.begin(),
+    v.end(),
+    std::ostream_iterator<Point>(std::cout, "\n"),
+    {1, 2}
+  );
+}
+```
+* std::remove_copy[color ff0000]
+
+#### 出力
+```
+3,4
+5,6
+```
+
 
 ## 実装例
 ```cpp
@@ -97,3 +170,5 @@ OutputIterator remove_copy(InputIterator first, InputIterator last,
 ## 参照
 - [P0202R3 Add Constexpr Modifiers to Functions in `<algorithm>` and `<utility>` Headers](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0202r3.html)
 - [P0467R2 Iterator Concerns for Parallel Algorithms](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0467r2.html)
+- [P2248R8 Enabling list-initialization for algorithms](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2248r8.html)
+    - C++26で波カッコ初期化 (リスト初期化) に対応した