コンテナのstd::erase : C++26の波カッコ初期化対応 #1311

Author: faithandbrave

reference/deque/deque/erase_free.md

@@ -7,7 +7,11 @@
 ```cpp
 namespace std {
   template <class T, class Allocator, class U>
-  typename deque<T, Allocator>::size_type erase(deque<T, Allocator>& c, const U& value);
+  typename deque<T, Allocator>::size_type
+    erase(deque<T, Allocator>& c, const U& value); // (1) C++20
+  template <class T, class Allocator, class U = T>
+  typename deque<T, Allocator>::size_type
+    erase(deque<T, Allocator>& c, const U& value); // (1) C++26
 }
 ```
 
@@ -35,7 +39,18 @@ return r;
 削除した要素数を返す。
 
 
+## 備考
+- (1) :
+    - C++26 : 引数として波カッコ初期化`{}`を受け付ける
+        ```cpp
+        std::deque<std::vector<int>> d;
+        erase(d, {}); // 空の要素を削除
+        erase(d, {1, 2, 3}); // 値{1, 2, 3}をもつ要素を削除
+        ```
+
+
 ## 例
+### 基本的な使い方
 ```cpp example
 #include <iostream>
 #include <deque>
@@ -54,13 +69,39 @@ int main()
 ```
 * std::erase[color ff0000]
 
-### 出力
+#### 出力
 ```
 3
 4
 5
 ```
 
+### 波カッコ初期化を入力として使用する (C++26)
+```cpp example
+#include <print>
+#include <deque>
+#include <vector>
+
+int main() {
+  std::deque<std::vector<int>> d = {
+    {1, 2, 3},
+    {4, 5, 6},
+    {},
+    {7, 8}
+  };
+
+  std::erase(d, {}); // 空の要素を削除
+  std::erase(d, {1, 2, 3}); // 値{1, 2, 3}をもつ要素を削除
+
+  std::println("{}", d);
+}
+```
+
+#### 出力
+```
+[[4, 5, 6], [7, 8]]
+```
+
 ## バージョン
 ### 言語
 - C++20
@@ -74,3 +115,5 @@ int main()
 ## 参照
 - [P1209R0 Adopt consistent container erasure from Library Fundamentals 2](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1209r0.html)
 - [R1115R3 Improving the Return Value of Erase-Like Algorithms II: Free `erase`/`erase_if`](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1115r3.pdf)
+- [P2248R8 Enabling list-initialization for algorithms](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2248r8.html)
+    - C++26で波カッコ初期化 (リスト初期化) に対応した

reference/forward_list/forward_list/erase_free.md

@@ -7,7 +7,11 @@
 ```cpp
 namespace std {
   template <class T, class Allocator, class U>
-  typename forward_list<T, Allocator>::size_type erase(forward_list<T, Allocator>& c, const U& value);
+  typename forward_list<T, Allocator>::size_type
+    erase(forward_list<T, Allocator>& c, const U& value); // (1) C++20
+  template <class T, class Allocator, class U = T>
+  typename forward_list<T, Allocator>::size_type
+    erase(forward_list<T, Allocator>& c, const U& value); // (1) C++26
 }
 ```
 
@@ -28,7 +32,18 @@ erase_if(c, [&](auto& elem) { return elem == value; });
 削除した要素数を返す。
 
 
+## 備考
+- (1) :
+    - C++26 : 引数として波カッコ初期化`{}`を受け付ける
+        ```cpp
+        std::forward_list<std::vector<int>> ls;
+        erase(ls, {}); // 空の要素を削除
+        erase(ls, {1, 2, 3}); // 値{1, 2, 3}をもつ要素を削除
+        ```
+
+
 ## 例
+### 基本的な使い方
 ```cpp example
 #include <iostream>
 #include <forward_list>
@@ -47,13 +62,39 @@ int main()
 ```
 * std::erase[color ff0000]
 
-### 出力
+#### 出力
 ```
 3
 4
 5
 ```
 
+### 波カッコ初期化を入力として使用する (C++26)
+```cpp example
+#include <print>
+#include <forward_list>
+#include <vector>
+
+int main() {
+  std::forward_list<std::vector<int>> ls = {
+    {1, 2, 3},
+    {4, 5, 6},
+    {},
+    {7, 8}
+  };
+
+  std::erase(ls, {}); // 空の要素を削除
+  std::erase(ls, {1, 2, 3}); // 値{1, 2, 3}をもつ要素を削除
+
+  std::println("{}", ls);
+}
+```
+
+#### 出力
+```
+[[4, 5, 6], [7, 8]]
+```
+
 ## バージョン
 ### 言語
 - C++20
@@ -67,3 +108,5 @@ int main()
 ## 参照
 - [P1209R0 Adopt consistent container erasure from Library Fundamentals 2](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1209r0.html)
 - [R1115R3 Improving the Return Value of Erase-Like Algorithms II: Free `erase`/`erase_if`](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1115r3.pdf)
+- [P2248R8 Enabling list-initialization for algorithms](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2248r8.html)
+    - C++26で波カッコ初期化 (リスト初期化) に対応した

reference/list/list/erase_free.md

@@ -7,7 +7,11 @@
 ```cpp
 namespace std {
   template <class T, class Allocator, class U>
-  typename list<T, Allocator>::size_type erase(list<T, Allocator>& c, const U& value);
+  typename list<T, Allocator>::size_type
+    erase(list<T, Allocator>& c, const U& value); // (1) C++20
+  template <class T, class Allocator, class U = T>
+  typename list<T, Allocator>::size_type
+    erase(list<T, Allocator>& c, const U& value); // (1) C++26
 }
 ```
 
@@ -28,7 +32,18 @@ erase_if(c, [&](auto& elem) { return elem == value; });
 削除した要素数を返す。
 
 
+## 備考
+- (1) :
+    - C++26 : 引数として波カッコ初期化`{}`を受け付ける
+        ```cpp
+        std::list<std::vector<int>> ls;
+        erase(ls, {}); // 空の要素を削除
+        erase(ls, {1, 2, 3}); // 値{1, 2, 3}をもつ要素を削除
+        ```
+
+
 ## 例
+### 基本的な使い方
 ```cpp example
 #include <iostream>
 #include <list>
@@ -47,13 +62,39 @@ int main()
 ```
 * std::erase[color ff0000]
 
-### 出力
+#### 出力
 ```
 3
 4
 5
 ```
 
+### 波カッコ初期化を入力として使用する (C++26)
+```cpp example
+#include <print>
+#include <list>
+#include <vector>
+
+int main() {
+  std::list<std::vector<int>> ls = {
+    {1, 2, 3},
+    {4, 5, 6},
+    {},
+    {7, 8}
+  };
+
+  std::erase(ls, {}); // 空の要素を削除
+  std::erase(ls, {1, 2, 3}); // 値{1, 2, 3}をもつ要素を削除
+
+  std::println("{}", ls);
+}
+```
+
+#### 出力
+```
+[[4, 5, 6], [7, 8]]
+```
+
 ## バージョン
 ### 言語
 - C++20
@@ -67,3 +108,5 @@ int main()
 ## 参照
 - [P1209R0 Adopt consistent container erasure from Library Fundamentals 2](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1209r0.html)
 - [R1115R3 Improving the Return Value of Erase-Like Algorithms II: Free `erase`/`erase_if`](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1115r3.pdf)
+- [P2248R8 Enabling list-initialization for algorithms](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2248r8.html)
+    - C++26で波カッコ初期化 (リスト初期化) に対応した

reference/string/basic_string/erase_free.md

@@ -8,7 +8,10 @@
 namespace std {
   template <class CharT, class Traits, class Allocator, class U>
   constexpr typename basic_string<CharT, Traits, Allocator>::size_type
-    erase(basic_string<CharT, Traits, Allocator>& c, const U& value);
+    erase(basic_string<CharT, Traits, Allocator>& c, const U& value);   // (1) C++20
+  template <class CharT, class Traits, class Allocator, class U = CharT>
+  constexpr typename basic_string<CharT, Traits, Allocator>::size_type
+    erase(basic_string<CharT, Traits, Allocator>& c, const U& value);   // (1) C++26
 }
 ```
 
@@ -36,7 +39,17 @@ return r;
 削除した要素数を返す。
 
 
+## 備考
+- (1) :
+    - C++26 : 引数として波カッコ初期化`{}`を受け付ける
+        ```cpp
+        erase(s, {});    // ヌル文字'\0'を削除
+        erase(s, {'a'}); // 文字'a'を削除
+        ```
+
+
 ## 例
+### 基本的な使い方
 ```cpp example
 #include <iostream>
 #include <string>
@@ -53,11 +66,33 @@ int main()
 ```
 * std::erase[color ff0000]
 
-### 出力
+#### 出力
 ```
 HelloWorld
 ```
 
+### 波カッコ初期化を入力文字として使用する (C++26)
+```cpp example
+#include <iostream>
+#include <string>
+
+int main() {
+  const char ar[] = "hel\0lo";
+  std::string s(ar, ar + sizeof(ar));
+
+  std::erase(s, {});
+  std::erase(s, {'l'});
+
+  std::cout << s << std::endl;
+}
+```
+
+#### 出力
+```
+heo
+```
+
+
 ## バージョン
 ### 言語
 - C++20
@@ -71,3 +106,5 @@ HelloWorld
 ## 参照
 - [P1209R0 Adopt consistent container erasure from Library Fundamentals 2](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1209r0.html)
 - [R1115R3 Improving the Return Value of Erase-Like Algorithms II: Free `erase`/`erase_if`](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1115r3.pdf)
+- [P2248R8 Enabling list-initialization for algorithms](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2248r8.html)
+    - C++26で波カッコ初期化 (リスト初期化) に対応した

reference/vector/vector/erase_free.md

@@ -8,7 +8,10 @@
 namespace std {
   template <class T, class Allocator, class U>
   constexpr typename vector<T, Allocator>::size_type
-    erase(vector<T, Allocator>& c, const U& value);
+    erase(vector<T, Allocator>& c, const U& value);  // (1) C++20
+  template <class T, class Allocator, class U = T>
+  constexpr typename vector<T, Allocator>::size_type
+    erase(vector<T, Allocator>& c, const U& value);  // (1) C++26
 }
 ```
 
@@ -36,7 +39,18 @@ return r;
 削除した要素数を返す。
 
 
+## 備考
+- (1) :
+    - C++26 : 引数として波カッコ初期化`{}`を受け付ける
+        ```cpp
+        std::vector<std::vector<int>> v;
+        erase(v, {}); // 空の要素を削除
+        erase(v, {1, 2, 3}); // 値{1, 2, 3}をもつ要素を削除
+        ```
+
+
 ## 例
+### 基本的な使い方
 ```cpp example
 #include <iostream>
 #include <vector>
@@ -55,13 +69,38 @@ int main()
 ```
 * std::erase[color ff0000]
 
-### 出力
+#### 出力
 ```
 3
 4
 5
 ```
 
+### 波カッコ初期化を入力として使用する (C++26)
+```cpp example
+#include <print>
+#include <vector>
+
+int main() {
+  std::vector<std::vector<int>> v = {
+    {1, 2, 3},
+    {4, 5, 6},
+    {},
+    {7, 8}
+  };
+
+  std::erase(v, {}); // 空の要素を削除
+  std::erase(v, {1, 2, 3}); // 値{1, 2, 3}をもつ要素を削除
+
+  std::println("{}", v);
+}
+```
+
+#### 出力
+```
+[[4, 5, 6], [7, 8]]
+```
+
 ## バージョン
 ### 言語
 - C++20
@@ -75,3 +114,5 @@ int main()
 ## 参照
 - [P1209R0 Adopt consistent container erasure from Library Fundamentals 2](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p1209r0.html)
 - [R1115R3 Improving the Return Value of Erase-Like Algorithms II: Free `erase`/`erase_if`](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1115r3.pdf)
+- [P2248R8 Enabling list-initialization for algorithms](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2248r8.html)
+    - C++26で波カッコ初期化 (リスト初期化) に対応した