|
177 | 177 | <p class="text-right"><small> |
178 | 178 | 最終更新日時: |
179 | 179 | <time itemprop="datePublished" class="js-local-time" |
180 | | - datetime="2026-08-25T12:11:17+09:00"> |
181 | | - 2026年08月25日 12時11分17秒 (JST) |
| 180 | + datetime="2026-08-26T16:18:54+09:00"> |
| 181 | + 2026年08月26日 16時18分54秒 (JST) |
182 | 182 | </time> |
183 | 183 | <br/> |
184 | 184 | <span itemprop="author" itemscope itemtype="http://schema.org/Person"> |
@@ -272,12 +272,12 @@ <h3>テンプレートパラメータ名とイテレータ要件</h3> |
272 | 272 | もちろん、output iterator は常に書き換え可能であるため、この追加の要件は無意味である。</p> |
273 | 273 | <p>テンプレートパラメータ名が <code>Predicate</code> となっている場合、<code>Predicate</code> の値 <code>pred</code> と、引数として渡すイテレータ <code>i</code> について以下の要件を満たす必要がある</p> |
274 | 274 | <ul> |
275 | | -<li><code>pred(*i)</code> が <code>bool</code> として評価できなければならない。</li> |
| 275 | +<li><code>pred(*i)</code> が <code>bool</code> へ文脈依存の変換をできなければならない。</li> |
276 | 276 | <li><code>pred(*i)</code> 内で <code>*i</code> を書き変えてはならない。</li> |
277 | 277 | </ul> |
278 | 278 | <p>テンプレートパラメータ名が <code>BinaryPredicate</code> となっている場合、<code>BinaryPredicate</code> の値 <code>binary_pred</code> と、引数として渡すイテレータ <code>i1</code>, <code>i2</code> について以下の要件を満たす必要がある</p> |
279 | 279 | <ul> |
280 | | -<li><code>binary_pred(*i1, *i2)</code> が <code>bool</code> として評価できなければならない。</li> |
| 280 | +<li><code>binary_pred(*i1, *i2)</code> が <code>bool</code> へ文脈依存の変換をできなければならない。</li> |
281 | 281 | <li><code>binary_pred(*i1, *i2)</code> 内で <code>*i1</code> や <code>*i2</code> を書き変えてはならない。</li> |
282 | 282 | </ul> |
283 | 283 | <h3>要素の書き換え操作</h3> |
@@ -1562,15 +1562,15 @@ <h2>参照</h2> |
1562 | 1562 | <ul> |
1563 | 1563 | <li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2009/n2930.html" target="_blank">N2930 Range-Based For Loop Wording (Without Concepts)</a></li> |
1564 | 1564 | <li><a href="https://timsong-cpp.github.io/cppwp/n4861/algorithms" target="_blank">N4821 25 Algorithms library</a></li> |
1565 | | -<li> |
1566 | | -<p><a href="https://cplusplus.github.io/LWG/issue4457" target="_blank">LWG Issue 4457. freestanding for <code>stable_sort</code>, <code>stable_partition</code> and <code>inplace_merge</code></a></p> |
| 1565 | +<li><a href="https://cplusplus.github.io/LWG/issue556" target="_blank">LWG Issue 556. Is <code>Compare</code> a <code>BinaryPredicate</code>?</a><ul> |
| 1566 | +<li>C++11で、<code>Predicate</code>・<code>BinaryPredicate</code>・<code>Compare</code>の<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>の要件が「<code>bool</code>へ文脈依存の変換ができること」に統一された。それ以前は<code>Predicate</code>が「<code>true</code>として検査可能な値」、<code>Compare</code>が「<code>bool</code>へ文脈依存の変換」と揃っておらず、<code>Compare</code>が<code>BinaryPredicate</code>の要件を満たすかが不明確だった</li> |
| 1567 | +</ul> |
1567 | 1568 | </li> |
1568 | | -<li> |
1569 | | -<p><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2976r1.html" target="_blank">P2976R1 Freestanding Library: algorithm, numeric, and random</a></p> |
1570 | | -<ul> |
| 1569 | +<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2976r1.html" target="_blank">P2976R1 Freestanding Library: algorithm, numeric, and random</a><ul> |
1571 | 1570 | <li>C++26で、<code><algorithm></code>の大部分(実行ポリシーをとる並列アルゴリズムを除く)がフリースタンディング処理系に対応した</li> |
1572 | 1571 | </ul> |
1573 | 1572 | </li> |
| 1573 | +<li><a href="https://cplusplus.github.io/LWG/issue4457" target="_blank">LWG Issue 4457. freestanding for <code>stable_sort</code>, <code>stable_partition</code> and <code>inplace_merge</code></a></li> |
1574 | 1574 | </ul></div> |
1575 | 1575 |
|
1576 | 1576 | </div> |
|
0 commit comments