|
2 | 2 | <feed xmlns="http://www.w3.org/2005/Atom"> |
3 | 3 | <title>cpprefjp - C++日本語リファレンス</title> |
4 | 4 | <link href="https://cpprefjp.github.io" /> |
5 | | - <updated>2024-09-17T09:22:35.417172</updated> |
6 | | - <id>64e6ad36-d272-415b-bdee-ee4cf569feb5</id> |
| 5 | + <updated>2024-09-17T09:28:54.353891</updated> |
| 6 | + <id>d9bf7f84-2a8c-4bc2-b58e-60e0c99fe1d0</id> |
7 | 7 |
|
8 | 8 |
|
| 9 | + <entry> |
| 10 | + <title>operator== -- optional, tuple, pair, variant : C++26対応としてテンプレートパラメータ制約を整理 #1340</title> |
| 11 | + <link href="https://cpprefjp.github.io/reference/optional/optional/op_equal.html"/> |
| 12 | + <id>fe9f6f74664afc8705138728149c0929539552ac:reference/optional/optional/op_equal.md</id> |
| 13 | + <updated>2024-09-17T18:25:53+09:00</updated> |
| 14 | + |
| 15 | + <summary type="html"><pre><code>diff --git a/reference/optional/optional/op_equal.md b/reference/optional/optional/op_equal.md |
| 16 | +index b9079f2e2..c8161b828 100644 |
| 17 | +--- a/reference/optional/optional/op_equal.md |
| 18 | ++++ b/reference/optional/optional/op_equal.md |
| 19 | +@@ -29,8 +29,8 @@ namespace std { |
| 20 | + `optional`オブジェクトの等値比較を行う。 |
| 21 | + |
| 22 | + |
| 23 | +-## 要件 |
| 24 | +-- (1), (3), (4) : 型`T`が`==`で比較可能であること |
| 25 | ++## テンプレートパラメータ制約 |
| 26 | ++- (1), (3), (4) : 型`T`が`==`で比較可能であり、その戻り値型が`bool`に変換可能であること |
| 27 | + |
| 28 | + |
| 29 | + ## 戻り値 |
| 30 | +@@ -114,3 +114,5 @@ int main() |
| 31 | + - [LWG Issue 2934. `optional&lt;const T&gt;` doesn&#39;t compare with `T`](https://wg21.cmeerw.net/lwg/issue2934) |
| 32 | + - [P1614R2 The Mothership has Landed](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1614r2.html) |
| 33 | + - C++20での三方比較演算子の追加と、関連する演算子の自動導出 |
| 34 | ++- [P2944R3 Comparisons for `reference_wrapper`](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2944r3.html) |
| 35 | ++ - C++26でテンプレートパラメータ制約が整理された |
| 36 | +</code></pre></summary> |
| 37 | + |
| 38 | + <author> |
| 39 | + <name>Akira Takahashi</name> |
| 40 | + |
| 41 | + </author> |
| 42 | + </entry> |
| 43 | + |
| 44 | + <entry> |
| 45 | + <title>operator== -- optional, tuple, pair, variant : C++26対応としてテンプレートパラメータ制約を整理 #1340</title> |
| 46 | + <link href="https://cpprefjp.github.io/reference/tuple/tuple/op_equal.html"/> |
| 47 | + <id>fe9f6f74664afc8705138728149c0929539552ac:reference/tuple/tuple/op_equal.md</id> |
| 48 | + <updated>2024-09-17T18:25:53+09:00</updated> |
| 49 | + |
| 50 | + <summary type="html"><pre><code>diff --git a/reference/tuple/tuple/op_equal.md b/reference/tuple/tuple/op_equal.md |
| 51 | +index 0e28dd8dd..fe541eb2c 100644 |
| 52 | +--- a/reference/tuple/tuple/op_equal.md |
| 53 | ++++ b/reference/tuple/tuple/op_equal.md |
| 54 | +@@ -26,7 +26,7 @@ namespace std { |
| 55 | + 2つの[`tuple`](../tuple.md)オブジェクトの等値比較を行う。また、[`tuple-like`](../tuple-like.md)なオブジェクトとの等値比較を行う。（C++23以降） |
| 56 | + |
| 57 | + |
| 58 | +-## 要件 |
| 59 | ++## テンプレートパラメータ制約 |
| 60 | + - (1) : |
| 61 | + - 2つの[`tuple`](../tuple.md)オブジェクトの要素数が同じであること。（具体的には`sizeof...(TTypes) == sizeof...(UTypes)`であること。） |
| 62 | + - [`tuple`](../tuple.md)の要素`std::`[`get`](get.md)`&lt;i&gt;(t)`と`std::`[`get`](get.md)`&lt;i&gt;(u)`において、すべての要素の比較 `std::`[`get`](get.md)`&lt;i&gt;(t) == std::`[`get`](get.md)`&lt;i&gt;(u)` の比較結果が`bool`に変換可能な型（C++23 以降は[`boolean-testable`](/reference/concepts/boolean-testable.md)を満たせばよい）であること。 |
| 63 | +@@ -94,3 +94,5 @@ false |
| 64 | + - [P1614R2 The Mothership has Landed](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1614r2.html) |
| 65 | + - C++20での三方比較演算子の追加と、関連する演算子の自動導出 |
| 66 | + - [P2165R4 Compatibility between `tuple`, `pair` and *tuple-like* objects](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2165r4.pdf) |
| 67 | ++- [P2944R3 Comparisons for `reference_wrapper`](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2944r3.html) |
| 68 | ++ - C++26でテンプレートパラメータ制約が整理された |
| 69 | +</code></pre></summary> |
| 70 | + |
| 71 | + <author> |
| 72 | + <name>Akira Takahashi</name> |
| 73 | + |
| 74 | + </author> |
| 75 | + </entry> |
| 76 | + |
| 77 | + <entry> |
| 78 | + <title>operator== -- optional, tuple, pair, variant : C++26対応としてテンプレートパラメータ制約を整理 #1340</title> |
| 79 | + <link href="https://cpprefjp.github.io/reference/utility/pair/op_equal.html"/> |
| 80 | + <id>fe9f6f74664afc8705138728149c0929539552ac:reference/utility/pair/op_equal.md</id> |
| 81 | + <updated>2024-09-17T18:25:53+09:00</updated> |
| 82 | + |
| 83 | + <summary type="html"><pre><code>diff --git a/reference/utility/pair/op_equal.md b/reference/utility/pair/op_equal.md |
| 84 | +index c131b44a0..f4f02ba30 100644 |
| 85 | +--- a/reference/utility/pair/op_equal.md |
| 86 | ++++ b/reference/utility/pair/op_equal.md |
| 87 | +@@ -26,6 +26,10 @@ namespace std { |
| 88 | + 2つの`pair`の等値比較を行う |
| 89 | + |
| 90 | + |
| 91 | ++## テンプレートパラメータ制約 |
| 92 | ++- 式`x.first == y.first`と`x.second == y.second`が妥当であり、型`decltype(x.first == y.first)`と`decltype(x.second == y.second)`が[boolean-testable](/reference/concepts/boolean-testable.md)のモデルであること |
| 93 | ++ |
| 94 | ++ |
| 95 | + ## 戻り値 |
| 96 | + ```cpp |
| 97 | + return x.first == y.first &amp;&amp; x.second == y.second; |
| 98 | +@@ -65,3 +69,5 @@ false |
| 99 | + - [N3471 Constexpr Library Additions: utilities, v3](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3471.html) |
| 100 | + - [P1614R2 The Mothership has Landed](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1614r2.html) |
| 101 | + - C++20での三方比較演算子の追加と、関連する演算子の自動導出 |
| 102 | ++- [P2944R3 Comparisons for `reference_wrapper`](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2944r3.html) |
| 103 | ++ - C++26でテンプレートパラメータ制約が整理された |
| 104 | +</code></pre></summary> |
| 105 | + |
| 106 | + <author> |
| 107 | + <name>Akira Takahashi</name> |
| 108 | + |
| 109 | + </author> |
| 110 | + </entry> |
| 111 | + |
| 112 | + <entry> |
| 113 | + <title>operator== -- optional, tuple, pair, variant : C++26対応としてテンプレートパラメータ制約を整理 #1340</title> |
| 114 | + <link href="https://cpprefjp.github.io/reference/variant/variant/op_equal.html"/> |
| 115 | + <id>fe9f6f74664afc8705138728149c0929539552ac:reference/variant/variant/op_equal.md</id> |
| 116 | + <updated>2024-09-17T18:25:53+09:00</updated> |
| 117 | + |
| 118 | + <summary type="html"><pre><code>diff --git a/reference/variant/variant/op_equal.md b/reference/variant/variant/op_equal.md |
| 119 | +index fb29873a8..de76fd8af 100644 |
| 120 | +--- a/reference/variant/variant/op_equal.md |
| 121 | ++++ b/reference/variant/variant/op_equal.md |
| 122 | +@@ -59,3 +59,5 @@ int main() |
| 123 | + |
| 124 | + ## 参照 |
| 125 | + - [P0393R3 Making Variant Greater Equal](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0393r3.html) |
| 126 | ++- [P2944R3 Comparisons for `reference_wrapper`](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2944r3.html) |
| 127 | ++ - C++26でテンプレートパラメータ制約が整理された |
| 128 | +</code></pre></summary> |
| 129 | + |
| 130 | + <author> |
| 131 | + <name>Akira Takahashi</name> |
| 132 | + |
| 133 | + </author> |
| 134 | + </entry> |
| 135 | + |
9 | 136 | <entry> |
10 | 137 | <title>C++26 -- C++26対応としてreference_wrapperのoperator==と<=>を追加 #1340</title> |
11 | 138 | <link href="https://cpprefjp.github.io/lang/cpp26.html"/> |
@@ -3304,32 +3431,6 @@ index ca4b5730f..a6792786b 100644 |
3304 | 3431 | // C++23 |
3305 | 3432 | if (auto [to, ec] = std::to_chars(p, last, 42); ec == std::errc{}) { |
3306 | 3433 | auto s = std::string(p, to); |
3307 | | -</code></pre></summary> |
3308 | | - |
3309 | | - <author> |
3310 | | - <name>Akira Takahashi</name> |
3311 | | - |
3312 | | - </author> |
3313 | | - </entry> |
3314 | | - |
3315 | | - <entry> |
3316 | | - <title>条件式での構造化束縛の使用を許可 [P0963R3] -- リンクミスを修正</title> |
3317 | | - <link href="https://cpprefjp.github.io/lang/cpp26/structured_binding_declaration_as_a_condition.html"/> |
3318 | | - <id>fd2e8e6195e2743de72371757095abfebcaa4a2e:lang/cpp26/structured_binding_declaration_as_a_condition.md</id> |
3319 | | - <updated>2024-09-12T13:14:47+09:00</updated> |
3320 | | - |
3321 | | - <summary type="html"><pre><code>diff --git a/lang/cpp26/structured_binding_declaration_as_a_condition.md b/lang/cpp26/structured_binding_declaration_as_a_condition.md |
3322 | | -index 38ccc97cf..ca4b5730f 100644 |
3323 | | ---- a/lang/cpp26/structured_binding_declaration_as_a_condition.md |
3324 | | -+++ b/lang/cpp26/structured_binding_declaration_as_a_condition.md |
3325 | | -@@ -32,7 +32,6 @@ if (auto [to, ec] = std::to_chars(p, last, 42)) { |
3326 | | - * std::to_chars[link /reference/charconv/to_chars.md] |
3327 | | - * std::to_chars_result[link /reference/charconv/to_chars_result.md] |
3328 | | - * std::errc[link /reference/system_error/errc.md] |
3329 | | --* std::to_string[link /reference/string/to_string.md] |
3330 | | - |
3331 | | - なお、条件分岐文での初期化式と、全体を`bool`変換する条件式は別で指定できる。 |
3332 | | - |
3333 | 3434 | </code></pre></summary> |
3334 | 3435 |
|
3335 | 3436 | <author> |
|
0 commit comments