update automatically

Author: cpprefjp-autoupdate

lang/cpp17/constexpr_lambda.html

@@ -362,8 +362,10 @@ <h2>この機能が必要になった背景・経緯</h2>
 <h2>検討されたほかの選択肢</h2>
 <p>(執筆中)</p>
 <h2>参照</h2>
-<p>(執筆中)
-- <a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0170r1.pdf" target="_blank">P0170R1 Wording for Constexpr Lambda</a></p></div>
+<p>(執筆中)</p>
+<ul>
+<li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0170r1.pdf" target="_blank">P0170R1 Wording for Constexpr Lambda</a></li>
+</ul></div>
 
       </div>
     </div>

reference/cmath/atan2.html

@@ -300,8 +300,10 @@ <h2>備考</h2>
 <li><code>y = ±∞</code> で <code>x = -∞</code> の場合、戻り値は <code>±3π/4</code> となる。</li>
 <li><code>y = ±∞</code> で <code>x = +∞</code> の場合、戻り値は <code>±π/4</code> となる。</li>
 </ul>
-<p>特に、<code>y</code> と <code>x</code> の両方がゼロの場合に定義域エラー（<code><a href="../cfenv/fe_invalid.html">FE_INVALID</a></code>（無効演算浮動小数点例外））となったり、<code>y</code> が非ゼロで <code>x</code> がゼロの場合に極エラー（<code><a href="../cfenv/fe_divbyzero.html">FE_DIVBYZERO</a></code>（ゼロ除算浮動小数点例外））となったりは<strong>しない</strong>事に注意。
-- C++23では、(1)、(2)、(3)が(4)に統合され、<a class="cpprefjp-defined-word" data-desc="&lt;stdfloat&gt;で定義される内部表現の規定された浮動小数点数型" href="../stdfloat.html">拡張浮動小数点数型</a>を含む浮動小数点数型へのオーバーロードとして定義された</p>
+<p>特に、<code>y</code> と <code>x</code> の両方がゼロの場合に定義域エラー（<code><a href="../cfenv/fe_invalid.html">FE_INVALID</a></code>（無効演算浮動小数点例外））となったり、<code>y</code> が非ゼロで <code>x</code> がゼロの場合に極エラー（<code><a href="../cfenv/fe_divbyzero.html">FE_DIVBYZERO</a></code>（ゼロ除算浮動小数点例外））となったりは<strong>しない</strong>事に注意。</p>
+</li>
+<li>
+<p>C++23では、(1)、(2)、(3)が(4)に統合され、<a class="cpprefjp-defined-word" data-desc="&lt;stdfloat&gt;で定義される内部表現の規定された浮動小数点数型" href="../stdfloat.html">拡張浮動小数点数型</a>を含む浮動小数点数型へのオーバーロードとして定義された</p>
 </li>
 </ul>
 <h2>例</h2>

reference/cmath/ceil.html

@@ -262,8 +262,10 @@ <h2>備考</h2>
 </ul>
 <p>また、本関数の挙動は、丸めモードが <code><a href="../cfenv/fe_upward.html">FE_UPWARD</a></code> に設定されている時の <code><a href="rint.html">rint</a></code>、あるいは <code><a href="nearbyint.html">nearbyint</a></code> のいずれかと等価である。<br />
 したがって、本関数において戻り値が引数 <code>x</code> と異なる場合に例外 <code><a href="../cfenv/fe_inexact.html">FE_INEXACT</a></code> が発生するか否かは実装依存である。<br />
-なお、本関数の挙動は、現在の丸めモードには依存しない。
-- C++23では、(1)、(2)、(3)が(4)に統合され、<a class="cpprefjp-defined-word" data-desc="&lt;stdfloat&gt;で定義される内部表現の規定された浮動小数点数型" href="../stdfloat.html">拡張浮動小数点数型</a>を含む浮動小数点数型へのオーバーロードとして定義された</p>
+なお、本関数の挙動は、現在の丸めモードには依存しない。</p>
+</li>
+<li>
+<p>C++23では、(1)、(2)、(3)が(4)に統合され、<a class="cpprefjp-defined-word" data-desc="&lt;stdfloat&gt;で定義される内部表現の規定された浮動小数点数型" href="../stdfloat.html">拡張浮動小数点数型</a>を含む浮動小数点数型へのオーバーロードとして定義された</p>
 </li>
 </ul>
 <h2>例</h2>

reference/cmath/floor.html

@@ -262,8 +262,10 @@ <h2>備考</h2>
 </ul>
 <p>また、本関数の挙動は、丸めモードが <code><a href="../cfenv/fe_downward.html">FE_DOWNWARD</a></code> に設定されている時の <code><a href="rint.html">rint</a></code>、あるいは <code><a href="nearbyint.html">nearbyint</a></code> のいずれかと等価である。<br />
 したがって、本関数において戻り値が引数 <code>x</code> と異なる場合に例外 <code><a href="../cfenv/fe_inexact.html">FE_INEXACT</a></code> が発生するか否かは実装依存である。<br />
-なお、本関数の挙動は、現在の丸めモードには依存しない。
-- C++23では、(1)、(2)、(3)が(4)に統合され、<a class="cpprefjp-defined-word" data-desc="&lt;stdfloat&gt;で定義される内部表現の規定された浮動小数点数型" href="../stdfloat.html">拡張浮動小数点数型</a>を含む浮動小数点数型へのオーバーロードとして定義された</p>
+なお、本関数の挙動は、現在の丸めモードには依存しない。</p>
+</li>
+<li>
+<p>C++23では、(1)、(2)、(3)が(4)に統合され、<a class="cpprefjp-defined-word" data-desc="&lt;stdfloat&gt;で定義される内部表現の規定された浮動小数点数型" href="../stdfloat.html">拡張浮動小数点数型</a>を含む浮動小数点数型へのオーバーロードとして定義された</p>
 </li>
 </ul>
 <h2>例</h2>

reference/cmath/round.html

@@ -282,8 +282,10 @@ <h2>備考</h2>
 </code></pre></div>
 </p>
 <p>ただし、本関数において戻り値が引数 <code>x</code> と異なる場合に、上記の実装のように例外 <code><a href="../cfenv/fe_inexact.html">FE_INEXACT</a></code> が発生するか否かは実装依存である。<br />
-なお、本関数の挙動は、現在の丸めモードには依存しない。
-- C++23では、(1)、(2)、(3)が(4)に統合され、<a class="cpprefjp-defined-word" data-desc="&lt;stdfloat&gt;で定義される内部表現の規定された浮動小数点数型" href="../stdfloat.html">拡張浮動小数点数型</a>を含む浮動小数点数型へのオーバーロードとして定義された</p>
+なお、本関数の挙動は、現在の丸めモードには依存しない。</p>
+</li>
+<li>
+<p>C++23では、(1)、(2)、(3)が(4)に統合され、<a class="cpprefjp-defined-word" data-desc="&lt;stdfloat&gt;で定義される内部表現の規定された浮動小数点数型" href="../stdfloat.html">拡張浮動小数点数型</a>を含む浮動小数点数型へのオーバーロードとして定義された</p>
 </li>
 </ul>
 <h2>例</h2>

reference/cmath/trunc.html

@@ -263,8 +263,10 @@ <h2>備考</h2>
 </ul>
 <p>また、本関数の挙動は、丸めモードが <code><a href="../cfenv/fe_towardzero.html">FE_TOWARDZERO</a></code> に設定されている時の <code><a href="rint.html">rint</a></code>、あるいは <code><a href="nearbyint.html">nearbyint</a></code> のいずれかと等価である。<br />
 したがって、本関数において戻り値が引数 <code>x</code> と異なる場合に例外 <code><a href="../cfenv/fe_inexact.html">FE_INEXACT</a></code> が発生するか否かは実装依存である。<br />
-なお、本関数の挙動は、現在の丸めモードには依存しない。
-- C++23では、(1)、(2)、(3)が(4)に統合され、<a class="cpprefjp-defined-word" data-desc="&lt;stdfloat&gt;で定義される内部表現の規定された浮動小数点数型" href="../stdfloat.html">拡張浮動小数点数型</a>を含む浮動小数点数型へのオーバーロードとして定義された</p>
+なお、本関数の挙動は、現在の丸めモードには依存しない。</p>
+</li>
+<li>
+<p>C++23では、(1)、(2)、(3)が(4)に統合され、<a class="cpprefjp-defined-word" data-desc="&lt;stdfloat&gt;で定義される内部表現の規定された浮動小数点数型" href="../stdfloat.html">拡張浮動小数点数型</a>を含む浮動小数点数型へのオーバーロードとして定義された</p>
 </li>
 </ul>
 <h2>例</h2>

reference/compare/partial_ordering/op_greater_equal.html

@@ -236,9 +236,11 @@ <h2>概要</h2>
 <li>(2) : <code>partial_ordering</code>の値が<code>partial_ordering::less</code>もしくは<code>equivalent</code>であるかを調べる。</li>
 </ul>
 <h2>戻り値</h2>
-<p><code>int</code>型のメンバ変数<code>value</code>に各有効値に対応する値、<code>bool</code>型メンバ変数<code>is_ordered</code>に順序付けされているかどうかを保持しているとして、以下と等価
-- (1) : <code>return is_ordered &amp;&amp; v.value &gt;= 0</code> 
-- (2) : <code>return is_ordered &amp;&amp; 0 &gt;= v.value</code></p>
+<p><code>int</code>型のメンバ変数<code>value</code>に各有効値に対応する値、<code>bool</code>型メンバ変数<code>is_ordered</code>に順序付けされているかどうかを保持しているとして、以下と等価</p>
+<ul>
+<li>(1) : <code>return is_ordered &amp;&amp; v.value &gt;= 0</code> </li>
+<li>(2) : <code>return is_ordered &amp;&amp; 0 &gt;= v.value</code></li>
+</ul>
 <h2>例外</h2>
 <p>投げない。</p>
 <h2>備考</h2>

reference/thread/jthread/op_constructor.html

@@ -292,8 +292,10 @@ <h2>同期</h2>
 <ul>
 <li>(2) : コンストラクタ呼び出しの完了は、<code>f</code>のコピーの呼び出し開始と同期する</li>
 </ul>
-<p>新しいスレッドを生成し、<code><a href="../../concepts/Invoke.html">INVOKE</a>(DECAY_COPY(<a href="../../utility/forward.html">std::forward</a>&lt;F&gt;(f)), DECAY_COPY(<a href="../../utility/forward.html">std::forward</a>&lt;Args&gt;(args))...)</code>を実行する。ただし<code>DECAY_COPY</code>は同コンストラクタを呼び出したスレッド上にて評価される。また<code>f</code>のコピーの戻り値は無視される。
-    - <code>DECAY_COPY(x)</code>は <code>template &lt;class T&gt; typename std::decay&lt;T&gt;::type decay_copy(T&amp;&amp; v) { return <a href="../../utility/forward.html">std::forward</a>&lt;T&gt;(v); }</code> と定義される。おおよそ、<code>x</code>が配列型なら先頭要素へのポインタ、<code>x</code>が関数型ならその関数ポインタ、<code>x</code>がコピーコンストラクト可能な型なら<code>x</code>からコピーされたオブジェクト、<code>x</code>がムーブコンストラクト可能な型なら<code>x</code>からムーブされたオブジェクトとなる。</p>
+<p>新しいスレッドを生成し、<code><a href="../../concepts/Invoke.html">INVOKE</a>(DECAY_COPY(<a href="../../utility/forward.html">std::forward</a>&lt;F&gt;(f)), DECAY_COPY(<a href="../../utility/forward.html">std::forward</a>&lt;Args&gt;(args))...)</code>を実行する。ただし<code>DECAY_COPY</code>は同コンストラクタを呼び出したスレッド上にて評価される。また<code>f</code>のコピーの戻り値は無視される。</p>
+<p><div class="codehilite"><pre><span></span><code><span class="o">-</span> <span class="ss">`DECAY_COPY(x)`</span><span class="err">は</span> <span class="ss">`template &lt;class T&gt; typename std::decay&lt;T&gt;::type decay_copy(T&amp;&amp; v) { return`</span> <span class="p">[</span><span class="ss">`std::forward`</span><span class="p">](</span><span class="o">/</span><span class="n">reference</span><span class="o">/</span><span class="n">utility</span><span class="o">/</span><span class="n">forward</span><span class="p">.</span><span class="n">md</span><span class="p">)</span><span class="ss">`&lt;T&gt;(v); }`</span> <span class="err">と定義される。おおよそ、</span><span class="ss">`x`</span><span class="err">が配列型なら先頭要素へのポインタ、</span><span class="ss">`x`</span><span class="err">が関数型ならその関数ポインタ、</span><span class="ss">`x`</span><span class="err">がコピーコンストラクト可能な型なら</span><span class="ss">`x`</span><span class="err">からコピーされたオブジェクト、</span><span class="ss">`x`</span><span class="err">がムーブコンストラクト可能な型なら</span><span class="ss">`x`</span><span class="err">からムーブされたオブジェクトとなる。</span>
+</code></pre></div>
+</p>
 <h2>同期</h2>
 <ul>
 <li>(2) : 同コンストラクタの呼び出し完了は、fのコピーの呼び出し開始と<strong>同期する</strong>。つまり、「コンストラクタ呼び出し側スレッドT0でのコンストラクタ呼び出し完了」は、「新しいスレッド<code>T1</code>上での<code>f</code>のコピーの呼び出し開始」よりも<strong>前に発生する</strong>。</li>

reference/unordered_map/unordered_map/insert.html

@@ -358,17 +358,19 @@ <h2>備考</h2>
 </ul>
 <p>となっている。<br />
 なお、この条件は C++14 までは「以下」ではなく「よりも小さい」だったため、最大負荷率の定義と不整合だった。<br />
-これは規格の誤りとして C++17 で修正されたが、使用する処理系やそのバージョンによっては以前の「よりも小さい」という条件でしかイテレータの有効性を保証していない可能性があるため、注意が必要である。
-- <code>unordered_map</code> では、キーのハッシュ値に基づいて要素を格納するバケットを決定するため、<code>position</code> を有効に使用することはできないものと思われる。<br />
-実際、GCC(libstdc++)、および、Clang(libc++) では <code>position</code> は単に無視される。<br />
-通常は、<code>position</code> の無いバージョンを使用した方が良いだろう。
-- 引数 <code>position</code> は、C++14 までは間接参照可能（dereferenceable）でなければならない（つまり、<code><a href="cend.html">cend</a>()</code> ではいけない）との記載になっていたが、これは規格の誤りとして C++17 で修正された。<br />
-しかし、上記の通り <code>position</code> は実際には使用されていない可能性が高く、この変更による影響はほぼないと思われる。
-- 上記の要件に示したように、<code>first</code>、および、<code>last</code> の参照先の要素は <code>value_type</code> 型でなければならないとされているが、その要件を満たさなくてももう一つの要件である直接構築可能を満たすだけで十分にライブラリを実装可能と思われる。<br />
-実際、Clang(libc++) は <code>first</code>、および、<code>last</code> の参照先の要素が <code>value_type</code> 型でなくとも (7) の形式を使用可能である。
-- C++17 で追加された <code><a href="try_emplace.html">try_emplace</a></code> と異なり、これらの関数ではキー重複によって要素の挿入が行われなかった場合に引数が不変である（引数からのムーブが発生しない）という<strong>保証はない</strong>ので、注意すること。
-- (9), (10) の場合、要素はコピーもムーブもされない。</p>
+これは規格の誤りとして C++17 で修正されたが、使用する処理系やそのバージョンによっては以前の「よりも小さい」という条件でしかイテレータの有効性を保証していない可能性があるため、注意が必要である。</p>
 </li>
+<li>
+<p><code>unordered_map</code> では、キーのハッシュ値に基づいて要素を格納するバケットを決定するため、<code>position</code> を有効に使用することはできないものと思われる。<br />
+    実際、GCC(libstdc++)、および、Clang(libc++) では <code>position</code> は単に無視される。<br />
+    通常は、<code>position</code> の無いバージョンを使用した方が良いだろう。</p>
+</li>
+<li>引数 <code>position</code> は、C++14 までは間接参照可能（dereferenceable）でなければならない（つまり、<code><a href="cend.html">cend</a>()</code> ではいけない）との記載になっていたが、これは規格の誤りとして C++17 で修正された。<br />
+    しかし、上記の通り <code>position</code> は実際には使用されていない可能性が高く、この変更による影響はほぼないと思われる。</li>
+<li>上記の要件に示したように、<code>first</code>、および、<code>last</code> の参照先の要素は <code>value_type</code> 型でなければならないとされているが、その要件を満たさなくてももう一つの要件である直接構築可能を満たすだけで十分にライブラリを実装可能と思われる。<br />
+    実際、Clang(libc++) は <code>first</code>、および、<code>last</code> の参照先の要素が <code>value_type</code> 型でなくとも (7) の形式を使用可能である。</li>
+<li>C++17 で追加された <code><a href="try_emplace.html">try_emplace</a></code> と異なり、これらの関数ではキー重複によって要素の挿入が行われなかった場合に引数が不変である（引数からのムーブが発生しない）という<strong>保証はない</strong>ので、注意すること。</li>
+<li>(9), (10) の場合、要素はコピーもムーブもされない。</li>
 </ul>
 <h2>例</h2>
 <p><div class="yata" id="f6a2873dbc43f822a661ad6bb47cf61f16ecfd2d"><div class="codehilite"><pre><span></span><code><span class="cp">#include</span> <span class="cpf"><a href="../../iostream.html">&lt;iostream&gt;</a></span><span class="cp"></span>

rss.xml

@@ -2,8 +2,8 @@
 <feed xmlns="http://www.w3.org/2005/Atom">
   <title>cpprefjp - C++日本語リファレンス</title>
   <link href="https://cpprefjp.github.io" />
-  <updated>2024-12-15T17:47:05.115844</updated>
-  <id>412498b5-119e-409b-b11d-7bb003d64141</id>
+  <updated>2024-12-16T01:46:56.827691</updated>
+  <id>43caa4df-9624-4724-bf5e-6ceda0daf7d3</id>
 
 
     <entry>