multiset : 三方比較演算子の追加と自動導出に対応 #900

Author: faithandbrave

reference/map/map/op_compare_3way.md

@@ -19,7 +19,7 @@ namespace std {
 
 
 ## テンプレートパラメータ制約
-- 型 (`const`) `T` の値に対して`operator<=>`が定義されるか、型 (`const`) `T` の値に対して`operator<`が定義され全順序をもつこと
+- 型 (`const`) `pair<const Key, T>` の値に対して`operator<=>`が定義されるか、型 (`const`) `pair<const Key, T>` の値に対して`operator<`が定義され全順序をもつこと
 
 
 ## 効果

reference/map/multimap/op_compare_3way.md

@@ -19,7 +19,7 @@ namespace std {
 
 
 ## テンプレートパラメータ制約
-- 型 (`const`) `T` の値に対して`operator<=>`が定義されるか、型 (`const`) `T` の値に対して`operator<`が定義され全順序をもつこと
+- 型 (`const`) `pair<const Key, T>` の値に対して`operator<=>`が定義されるか、型 (`const`) `pair<const Key, T>` の値に対して`operator<`が定義され全順序をもつこと
 
 
 ## 効果

reference/set/multiset.md

@@ -137,6 +137,7 @@ namespace std {
 |-------------------------------------------|--------------------------------------------|-------|
 | [`operator==`](multiset/op_equal.md)         | 左辺と右辺が等しいかの判定を行う | |
 | [`operator!=`](multiset/op_not_equal.md)     | 左辺と右辺が等しくないかの判定を行う | |
+| [`operator<=>`](multiset/op_compare_3way.md) | 三方比較を行う | C++20 |
 | [`operator<`](multiset/op_less.md)           | 左辺が右辺より小さいかの判定を行う | |
 | [`operator<=`](multiset/op_less_equal.md)    | 左辺が右辺より小さいか等しいかの判定を行う | |
 | [`operator>`](multiset/op_greater.md)        | 左辺が右辺より大きいかの判定を行う | |

reference/set/multiset/op_compare_3way.md

@@ -0,0 +1,77 @@
+# operator<=>
+* set[meta header]
+* std[meta namespace]
+* function template[meta id-type]
+* cpp20[meta cpp]
+
+```cpp
+namespace std {
+  template <class Key, class Compare, class Allocator>
+  synth-three-way-result<Key>
+    operator<=>(const multiset<Key,Compare,Allocator>& x,
+                const multiset<Key,Compare,Allocator>& y); // (1) C++20
+}
+```
+
+## 概要
+`multiset`オブジェクトの三方比較を行う。
+
+
+## テンプレートパラメータ制約
+- 型 (`const`) `Key` の値に対して`operator<=>`が定義されるか、型 (`const`) `Key` の値に対して`operator<`が定義され全順序をもつこと
+
+
+## 効果
+```cpp
+return lexicographical_compare_three_way(
+    x.begin(), x.end(),
+    y.begin(), y.end(),
+    synth-three-way);
+```
+* lexicographical_compare_three_way[link /reference/algorithm/lexicographical_compare_three_way.md]
+* begin()[link begin.md]
+* end()[link end.md]
+
+
+## 計算量
+線形時間
+
+
+## 備考
+- この演算子により、以下の演算子が使用可能になる (C++20)：
+    - `operator<`
+    - `operator<=`
+    - `operator>`
+    - `operator>=`
+
+
+## 例
+```cpp example
+#include <cassert>
+#include <set>
+
+int main()
+{
+  std::multiset<int> s1, s2;
+  s1.insert(10);
+  s1.insert(20);
+  s1.insert(30);
+  s2 = s1;
+
+  assert((s1 <=> s2) == 0);
+
+  s2.insert(40);
+
+  assert((s1 <=> s2) != 0);
+}
+```
+* insert[link insert.md]
+
+### 出力
+```
+```
+
+
+## 参照
+- [P1614R2 The Mothership has Landed](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1614r2.html)
+    - C++20での三方比較演算子の追加と、関連する演算子の自動導出

reference/set/multiset/op_equal.md

@@ -6,7 +6,9 @@
 ```cpp
 namespace std {
   template <class Key, class Compare, class Allocator>
-  bool operator==(const multiset<Key,Compare,Allocator>& x, const multiset<Key,Compare,Allocator>& y);
+  bool
+    operator==(const multiset<Key,Compare,Allocator>& x,
+               const multiset<Key,Compare,Allocator>& y); // (1) C++03
 }
 ```
 
@@ -23,6 +25,11 @@ namespace std {
 [`size()`](size.md) に対して線形時間。ただし、`x`と`y`のサイズが異なる場合は定数時間。
 
 
+## 備考
+- この演算子により、以下の演算子が使用可能になる (C++20)：
+    - `operator!=`
+
+
 ## 例
 ```cpp example
 #include <iostream>
@@ -56,4 +63,5 @@ int main()
 ## 参照
 - [LWG Issue 2257. Simplify container requirements with the new algorithms](http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#2257)
     - C++14から、2つ目の範囲のendイテレータをとる`equal()`アルゴリズムを使用するようになった。
-
+- [P1614R2 The Mothership has Landed](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1614r2.html)
+    - C++20での三方比較演算子の追加と、関連する演算子の自動導出

reference/set/multiset/op_greater.md

@@ -5,8 +5,11 @@
 
 ```cpp
 namespace std {
+  // operator<=>により、以下の演算子が使用可能になる (C++20)
   template <class Key, class Compare, class Allocator>
-  bool operator> (const multiset<Key,Compare,Allocator>& x, const multiset<Key,Compare,Allocator>& y);
+  bool
+    operator>(const multiset<Key,Compare,Allocator>& x,
+              const multiset<Key,Compare,Allocator>& y); // (1) C++03
 }
 ```
 
@@ -55,3 +58,8 @@ int main()
 0
 1
 ```
+
+
+## 参照
+- [P1614R2 The Mothership has Landed](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1614r2.html)
+    - C++20での三方比較演算子の追加と、関連する演算子の自動導出

reference/set/multiset/op_greater_equal.md

@@ -5,8 +5,11 @@
 
 ```cpp
 namespace std {
+  // operator<=>により、以下の演算子が使用可能になる (C++20)
   template <class Key, class Compare, class Allocator>
-  bool operator>=(const multiset<Key,Compare,Allocator>& x, const multiset<Key,Compare,Allocator>& y);
+  bool
+    operator>=(const multiset<Key,Compare,Allocator>& x,
+               const multiset<Key,Compare,Allocator>& y); // (1) C++03
 }
 ```
 
@@ -55,3 +58,8 @@ int main()
 1
 0
 ```
+
+
+## 参照
+- [P1614R2 The Mothership has Landed](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1614r2.html)
+    - C++20での三方比較演算子の追加と、関連する演算子の自動導出

reference/set/multiset/op_less.md

@@ -5,8 +5,11 @@
 
 ```cpp
 namespace std {
+  // operator<=>により、以下の演算子が使用可能になる (C++20)
   template <class Key, class Compare, class Allocator>
-  bool operator< (const multiset<Key,Compare,Allocator>& x, const multiset<Key,Compare,Allocator>& y);
+  bool
+    operator<(const multiset<Key,Compare,Allocator>& x,
+              const multiset<Key,Compare,Allocator>& y); // (1) C++03
 }
 ```
 
@@ -53,3 +56,8 @@ int main ()
 ```
 true
 ```
+
+
+## 参照
+- [P1614R2 The Mothership has Landed](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1614r2.html)
+    - C++20での三方比較演算子の追加と、関連する演算子の自動導出

reference/set/multiset/op_less_equal.md

@@ -5,8 +5,11 @@
 
 ```cpp
 namespace std {
+  // operator<=>により、以下の演算子が使用可能になる (C++20)
   template <class Key, class Compare, class Allocator>
-  bool operator<=(const multiset<Key,Compare,Allocator>& x, const multiset<Key,Compare,Allocator>& y);
+  bool
+    operator<=(const multiset<Key,Compare,Allocator>& x,
+               const multiset<Key,Compare,Allocator>& y); // (1) C++03
 }
 ```
 
@@ -55,3 +58,8 @@ int main()
 1
 0
 ```
+
+
+## 参照
+- [P1614R2 The Mothership has Landed](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1614r2.html)
+    - C++20での三方比較演算子の追加と、関連する演算子の自動導出

reference/set/multiset/op_not_equal.md

@@ -5,8 +5,11 @@
 
 ```cpp
 namespace std {
+  // operator==により、以下の演算子が使用可能になる (C++20)
   template <class Key, class Compare, class Allocator>
-  bool operator!=(const multiset<Key,Compare,Allocator>& x, const multiset<Key,Compare,Allocator>& y);
+  bool
+    operator!=(const multiset<Key,Compare,Allocator>& x,
+               const multiset<Key,Compare,Allocator>& y); // (1) C++03
 }
 ```
 
@@ -55,3 +58,8 @@ int main()
 0
 1
 ```
+
+
+## 参照
+- [P1614R2 The Mothership has Landed](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1614r2.html)
+    - C++20での三方比較演算子の追加と、関連する演算子の自動導出

reference/set/set/op_compare_3way.md

@@ -18,7 +18,7 @@ namespace std {
 
 
 ## テンプレートパラメータ制約
-- 型 (`const`) `T` の値に対して`operator<=>`が定義されるか、型 (`const`) `T` の値に対して`operator<`が定義され全順序をもつこと
+- 型 (`const`) `Key` の値に対して`operator<=>`が定義されるか、型 (`const`) `Key` の値に対して`operator<`が定義され全順序をもつこと
 
 
 ## 効果