C++26でのflat_map/set関連の仕様修正に対応 #1566

Author: faithandbrave

reference/flat_map/flat_map.md

@@ -44,7 +44,7 @@ namespace std {
 
 `value_type`は、[`std::map`](/reference/map/map.md)では[`std::pair`](/reference/utility/pair.md)`<const Key, T>`だが、このクラスは[`std::pair`](/reference/utility/pair.md)`<Key, T>`である (`const`がつかない)。
 
-以下の不変条件をもち、メンバ関数のいずれかが例外によって終了した場合には不変条件の状態に復元される (ただし、その復元操作によってコンテナが空になる可能性がある)：
+以下の不変条件をもち、メンバ関数のいずれかが例外によって終了した場合には不変条件の状態に復元される (ただし、その復元操作によってコンテナが空になる可能性がある)。ムーブコンストラクタとムーブ代入演算子の場合、両方の引数の不変条件が復元される：
 
 - キーの配列と値の配列が、同じ要素数をもつ
 - キーの配列が、指定された比較関数オブジェクトを尊重してソートを行う
@@ -369,3 +369,5 @@ int main()
     - C++23で`flat_map`が導入された経緯・動機・設計について記載されている
 - [P0429R9 A Standard `flat_map`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0429r9.pdf)
     - C++23で導入された`flat_map`の仕様
+- [P3567R2 flat_meow Fixes](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3567r2.html)
+    - C++26で`swap`の条件付き`noexcept`、`insert_range`のソート済みオーバーロード追加などの修正が行われた

reference/flat_map/flat_map/insert_range.md

@@ -7,11 +7,15 @@
 
 ```cpp
 template<container-compatible-range<value_type> R>
-void insert_range(R&& rg);           // (1) C++23
+void insert_range(R&& rg);                       // (1) C++23
 template<container-compatible-range<value_type> R>
-constexpr void insert_range(R&& rg); // (1) C++26
+constexpr void insert_range(R&& rg);             // (1) C++26
+
+template<container-compatible-range<value_type> R>
+constexpr void insert_range(sorted_unique_t, R&& rg); // (2) C++26
 ```
 * container-compatible-range[link /reference/exposition-only/container-compatible-range.md]
+* sorted_unique_t[link /reference/flat_map/sorted_unique_t.md]
 
 ## 概要
 Rangeを挿入し、コンテナを拡張する。
@@ -26,17 +30,19 @@ Rangeを挿入し、コンテナを拡張する。
 
 
 ## 効果
-- メンバ変数として保持しているコンテナ`c`に、以下のように挿入する：
+- (1) : メンバ変数として保持しているコンテナ`c`に、以下のように挿入する：
     ```cpp
-    for (const auto& e : rg) {
-      c.keys.insert(c.keys.end(), e.first);
-      c.values.insert(c.values.end(), e.second);
-    }
+    ranges::for_each(rg, [&](value_type e) {
+      c.keys.insert(c.keys.end(), std::move(e.first));
+      c.values.insert(c.values.end(), std::move(e.second));
+    });
     ```
     * c.keys[link containers.md]
     * c.values[link containers.md]
+    * ranges::for_each[link /reference/algorithm/ranges_for_each.md]
     * end()[link /reference/vector/vector/end.md]
     * insert[link /reference/vector/vector/insert.md]
+    * std::move[link /reference/utility/move.md]
     * first[link /reference/utility/pair/first.md]
     * second[link /reference/utility/pair/second.md]
 
@@ -58,13 +64,16 @@ Rangeを挿入し、コンテナを拡張する。
     * key_equiv[link key_equiv.md]
     * distance[link /reference/iterator/distance.md]
 
+- (2) : `insert_range(rg)`と等価
+
 
 ## 戻り値
 なし
 
 
 ## 計算量
-- Nをこの操作の前の[`size()`](size.md)、Mを[`ranges::distance`](/reference/iterator/ranges_distance.md)`(rg)`として、N + MlogM
+- (1) : Nをこの操作の前の[`size()`](size.md)、Mを[`ranges::distance`](/reference/iterator/ranges_distance.md)`(rg)`として、N + MlogM
+- (2) : 線形
 
 
 ## 備考
@@ -123,3 +132,6 @@ int main()
 
 ## 参照
 - [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)
+- [P3567R2 flat_meow Fixes](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3567r2.html)
+    - C++26で(2)の`sorted_unique_t`をとるオーバーロードが追加された
+    - C++26で(1)の効果が、要素のコピーではなくムーブを行うように修正された

reference/flat_map/flat_map/swap.md

@@ -6,9 +6,13 @@
 * cpp23[meta cpp]
 
 ```cpp
-void swap(flat_map& y) noexcept;           // (1) C++23
-constexpr void swap(flat_map& y) noexcept; // (1) C++26
+void swap(flat_map& y) noexcept;                          // (1) C++23
+constexpr void swap(flat_map& y)
+  noexcept(is_nothrow_swappable_v<key_container_type> &&
+           is_nothrow_swappable_v<mapped_container_type> &&
+           is_nothrow_swappable_v<key_compare>);          // (1) C++26
 ```
+* is_nothrow_swappable_v[link /reference/type_traits/is_nothrow_swappable.md]
 
 ## 概要
 コンテナ内のコンテンツを、同じ型の要素を保持する他の `flat_map` オブジェクトである `y` 内のコンテンツと交換する。
@@ -84,3 +88,5 @@ fm2 : {[10,a], [20,b], [30,c]}
 
 ## 参照
 - [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)
+- [P3567R2 flat_meow Fixes](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3567r2.html)
+    - C++26で、`noexcept`指定が無条件から条件付きに変更された。内部コンテナと比較関数オブジェクトの`swap`が例外を送出しない場合にのみ`noexcept`となる

reference/flat_map/flat_map/swap_free.md

@@ -13,7 +13,8 @@ namespace std {
   template <class Key, class T, class Compare, class KeyContainer, class MappedContainer>
   constexpr void
     swap(flat_map<Key, T, Compare, KeyContainer, MappedContainer>& x,
-         flat_map<Key, T, Compare, KeyContainer, MappedContainer>& y); // (1) C++26
+         flat_map<Key, T, Compare, KeyContainer, MappedContainer>& y)
+      noexcept(noexcept(x.swap(y)));                                   // (1) C++26
 }
 ```
 
@@ -90,3 +91,5 @@ fm2 : {[10,a], [20,b], [30,c]}
 
 ## 参照
 - [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)
+- [P3567R2 flat_meow Fixes](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3567r2.html)
+    - C++26で、`noexcept`指定が条件付きに変更された。メンバ関数[`swap()`](swap.md)の`noexcept`条件に従う

reference/flat_map/flat_multimap.md

@@ -44,7 +44,7 @@ namespace std {
 
 `value_type`は、[`std::multimap`](/reference/map/multimap.md)では[`std::pair`](/reference/utility/pair.md)`<const Key, T>`だが、このクラスは[`std::pair`](/reference/utility/pair.md)`<Key, T>`である (`const`がつかない)。
 
-以下の不変条件をもち、メンバ関数のいずれかが例外によって終了した場合には不変条件の状態に復元される (ただし、その復元操作によってコンテナが空になる可能性がある)：
+以下の不変条件をもち、メンバ関数のいずれかが例外によって終了した場合には不変条件の状態に復元される (ただし、その復元操作によってコンテナが空になる可能性がある)。ムーブコンストラクタとムーブ代入演算子の場合、両方の引数の不変条件が復元される：
 
 - キーの配列と値の配列が、同じ要素数をもつ
 - キーの配列が、指定された比較関数オブジェクトを尊重してソートを行う
@@ -284,3 +284,5 @@ int main()
     - C++23で`flat_map`が導入された経緯・動機・設計について記載されている
 - [P0429R9 A Standard `flat_map`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0429r9.pdf)
     - C++23で導入された`flat_map`の仕様
+- [P3567R2 flat_meow Fixes](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3567r2.html)
+    - C++26で`swap`の条件付き`noexcept`、`insert_range`のソート済みオーバーロード追加などの修正が行われた

reference/flat_map/flat_multimap/insert_range.md

@@ -7,11 +7,15 @@
 
 ```cpp
 template<container-compatible-range<value_type> R>
-void insert_range(R&& rg);           // (1) C++23
+void insert_range(R&& rg);                             // (1) C++23
 template<container-compatible-range<value_type> R>
-constexpr void insert_range(R&& rg); // (1) C++26
+constexpr void insert_range(R&& rg);                   // (1) C++26
+
+template<container-compatible-range<value_type> R>
+constexpr void insert_range(sorted_equivalent_t, R&& rg); // (2) C++26
 ```
 * container-compatible-range[link /reference/exposition-only/container-compatible-range.md]
+* sorted_equivalent_t[link /reference/flat_map/sorted_equivalent_t.md]
 
 ## 概要
 Rangeを挿入し、コンテナを拡張する。
@@ -22,30 +26,35 @@ Rangeを挿入し、コンテナを拡張する。
 
 
 ## 効果
-- メンバ変数として保持しているコンテナ`c`に、以下のように挿入する：
+- (1) : メンバ変数として保持しているコンテナ`c`に、以下のように挿入する：
     ```cpp
-    for (const auto& e : rg) {
-      c.keys.insert(c.keys.end(), e.first);
-      c.values.insert(c.values.end(), e.second);
-    }
+    ranges::for_each(rg, [&](value_type e) {
+      c.keys.insert(c.keys.end(), std::move(e.first));
+      c.values.insert(c.values.end(), std::move(e.second));
+    });
     ```
     * c.keys[link containers.md]
     * c.values[link containers.md]
+    * ranges::for_each[link /reference/algorithm/ranges_for_each.md]
     * end()[link /reference/vector/vector/end.md]
     * insert[link /reference/vector/vector/insert.md]
+    * std::move[link /reference/utility/move.md]
     * first[link /reference/utility/pair/first.md]
     * second[link /reference/utility/pair/second.md]
 
     - 次に、新しく挿入された要素の範囲を`value_comp()`を基準にソートする
     - 次に、ソートされた結果の範囲と、既存の要素のソートされた範囲をひとつのソートされた範囲にマージする
 
+- (2) : `insert_range(rg)`と等価
+
 
 ## 戻り値
 なし
 
 
 ## 計算量
-- Nをこの操作の前の[`size()`](size.md)、Mを[`ranges::distance`](/reference/iterator/ranges_distance.md)`(rg)`として、N + MlogM
+- (1) : Nをこの操作の前の[`size()`](size.md)、Mを[`ranges::distance`](/reference/iterator/ranges_distance.md)`(rg)`として、N + MlogM
+- (2) : 線形
 
 
 ## 備考
@@ -103,3 +112,6 @@ int main()
 
 ## 参照
 - [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)
+- [P3567R2 flat_meow Fixes](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3567r2.html)
+    - C++26で(2)の`sorted_equivalent_t`をとるオーバーロードが追加された
+    - C++26で(1)の効果が、要素のコピーではなくムーブを行うように修正された

reference/flat_map/flat_multimap/swap.md

@@ -6,9 +6,13 @@
 * cpp23[meta cpp]
 
 ```cpp
-void swap(flat_multimap& y) noexcept;           // (1) C++23
-constexpr void swap(flat_multimap& y) noexcept; // (1) C++26
+void swap(flat_multimap& y) noexcept;                          // (1) C++23
+constexpr void swap(flat_multimap& y)
+  noexcept(is_nothrow_swappable_v<key_container_type> &&
+           is_nothrow_swappable_v<mapped_container_type> &&
+           is_nothrow_swappable_v<key_compare>);               // (1) C++26
 ```
+* is_nothrow_swappable_v[link /reference/type_traits/is_nothrow_swappable.md]
 
 ## 概要
 コンテナ内のコンテンツを、同じ型の要素を保持する他の `flat_multimap` オブジェクトである `y` 内のコンテンツと交換する。
@@ -81,6 +85,7 @@ fm2 : {[10,a], [20,b], [30,c]}
 - [GCC](/implementation.md#gcc): ??
 - [Visual C++](/implementation.md#visual_cpp): ??
 
-
 ## 参照
 - [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)
+- [P3567R2 flat_meow Fixes](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3567r2.html)
+    - C++26で、`noexcept`指定が無条件から条件付きに変更された。内部コンテナと比較関数オブジェクトの`swap`が例外を送出しない場合にのみ`noexcept`となる

reference/flat_map/flat_multimap/swap_free.md

@@ -13,7 +13,8 @@ namespace std {
   template <class Key, class T, class Compare, class KeyContainer, class MappedContainer>
   constexpr void
     swap(flat_multimap<Key, T, Compare, KeyContainer, MappedContainer>& x,
-         flat_multimap<Key, T, Compare, KeyContainer, MappedContainer>& y); // (1) C++26
+         flat_multimap<Key, T, Compare, KeyContainer, MappedContainer>& y)
+      noexcept(noexcept(x.swap(y)));                                        // (1) C++26
 }
 ```
 
@@ -87,6 +88,7 @@ fm2 : {[10,a], [20,b], [30,c]}
 - [GCC](/implementation.md#gcc): ??
 - [Visual C++](/implementation.md#visual_cpp): ??
 
-
 ## 参照
 - [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)
+- [P3567R2 flat_meow Fixes](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3567r2.html)
+    - C++26で、`noexcept`指定が条件付きに変更された。メンバ関数[`swap()`](swap.md)の`noexcept`条件に従う

reference/flat_set/flat_multiset.md

@@ -260,3 +260,5 @@ int main()
     - C++23で`flat_set`が導入された経緯・動機・設計について記載されている
 - [P1222R4 A Standard `flat_set`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p1222r4.pdf)
     - C++23で導入された`flat_set`の仕様
+- [P3567R2 flat_meow Fixes](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3567r2.html)
+    - C++26で`swap`の条件付き`noexcept`、`insert_range`のソート済みオーバーロード追加などの修正が行われた

reference/flat_set/flat_multiset/insert_range.md

@@ -7,11 +7,15 @@
 
 ```cpp
 template<container-compatible-range<value_type> R>
-void insert_range(R&& rg);           // (1) C++23
+void insert_range(R&& rg);                             // (1) C++23
 template<container-compatible-range<value_type> R>
-constexpr void insert_range(R&& rg); // (1) C++26
+constexpr void insert_range(R&& rg);                   // (1) C++26
+
+template<container-compatible-range<value_type> R>
+constexpr void insert_range(sorted_equivalent_t, R&& rg); // (2) C++26
 ```
 * container-compatible-range[link /reference/exposition-only/container-compatible-range.md]
+* sorted_equivalent_t[link /reference/flat_set/sorted_equivalent_t.md]
 
 ## 概要
 Rangeを挿入し、コンテナを拡張する。
@@ -21,12 +25,31 @@ Rangeを挿入し、コンテナを拡張する。
 内部的に `flat_multiset` コンテナは、コンストラクト時に指定された比較オブジェクトによって要素を下位から上位へとソートして保持する。
 
 
+## 効果
+- (1) : メンバ変数として保持しているコンテナ`c`に、以下のように挿入する：
+    ```cpp
+    ranges::for_each(rg, [&](auto&& e) {
+      c.insert(c.end(), std::forward<decltype(e)>(e));
+    });
+    ```
+    * ranges::for_each[link /reference/algorithm/ranges_for_each.md]
+    * end()[link /reference/vector/vector/end.md]
+    * insert[link /reference/vector/vector/insert.md]
+    * std::forward[link /reference/utility/forward.md]
+
+    - 次に、新しく挿入された要素の範囲を`value_comp()`を基準にソートする
+    - 次に、ソートされた結果の範囲と、既存の要素のソートされた範囲をひとつのソートされた範囲にマージする
+
+- (2) : `insert_range(rg)`と等価
+
+
 ## 戻り値
 なし
 
 
 ## 計算量
-- Nをこの操作の前の[`size()`](size.md)、Mを[`ranges::distance`](/reference/iterator/ranges_distance.md)`(rg)`として、N + MlogM
+- (1) : Nをこの操作の前の[`size()`](size.md)、Mを[`ranges::distance`](/reference/iterator/ranges_distance.md)`(rg)`として、N + MlogM
+- (2) : 線形
 
 
 ## 備考
@@ -77,3 +100,5 @@ int main()
 
 ## 参照
 - [P3372R3 constexpr containers and adaptors](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3372r3.html)
+- [P3567R2 flat_meow Fixes](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3567r2.html)
+    - C++26で(2)の`sorted_equivalent_t`をとるオーバーロードが追加された