update automatically

Author: cpprefjp-autoupdate

reference/cfenv/fexcept_t.html

@@ -189,12 +189,12 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-07-22T16:08:23+09:00">
-        2026年07月22日 16時08分23秒 (JST)
+            datetime="2026-08-17T16:09:27+09:00">
+        2026年08月17日 16時09分27秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">rotarymars</span>
+        <span itemprop="name">Akira Takahashi</span>
       </span>
       が更新
     </small></p>
@@ -244,6 +244,7 @@
 </p>
 <h2>概要</h2>
 <p>実装が持つ<a class="cpprefjp-defined-word" data-desc="floating-point exception。ゼロ除算やオーバーフロー等の算術的な問題が発生した際に、浮動小数点環境に設定される状態フラグのこと。C++言語機能の例外機構（try-catch）とは異なる。" href="../cfenv.html">浮動小数点例外</a>の状態フラグを表す型。</p>
+<p>この型はオブジェクト型であり、整数型であるとは限らない。</p>
 <h2>例</h2>
 <p><div class="yata" id="e946162e7a6712b16db8d3369b377b688ec4c866"><div class="codehilite"><pre><span></span><code><span class="c1">// 標準C++の浮動小数点例外を、</span>
 <span class="c1">// Visual C++での浮動小数点例外の形式に変換する</span>
@@ -284,6 +285,13 @@ <h3>処理系</h3>
 <li>コンパイルオプション<code>/fp:strict</code>または<code>#pragma fenv_access (on)</code>が必要。さもなくば、正しく動作しないおそれがある。</li>
 </ul>
 </li>
+</ul>
+<h2>参照</h2>
+<ul>
+<li><a href="https://cplusplus.github.io/LWG/issue3905" target="_blank">LWG Issue 3905. Type of <code>std::fexcept_t</code></a><ul>
+<li>C++26で、<code>fexcept_t</code>が「整数型」ではなく「オブジェクト型」であることが明確化された</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

reference/chrono/make24.html

@@ -263,7 +263,7 @@ <h2>例</h2>
 <span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">false</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="n"><a href="duration/op_h.html">0h</a></span><span class="p">);</span>
 
 <span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">);</span>
-<span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">1h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mf">1l</span><span class="n">OnbjPOknACnJqCpddXFwDzFBKuNgpXY</span><span class="p">);</span>
+<span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">1h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="mi">1z</span><span class="n">URSxRqveGYpeRlQoWsBlcfoyOlDBKSY</span><span class="p">);</span>
 <span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">3h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="n"><a href="duration/op_h.html">15h</a></span><span class="p">);</span>
 <span class="w">  </span><span class="n"><a href="../cassert/assert.html">assert</a></span><span class="p">(</span><span class="n"><span style="color:#ff0000">chrono::make24</span></span><span class="p">(</span><span class="n"><a href="duration/op_h.html">11h</a></span><span class="p">,</span><span class="w"> </span><span class="nb">true</span><span class="p">)</span><span class="w"> </span><span class="o">==</span><span class="w"> </span><span class="n"><a href="duration/op_h.html">23h</a></span><span class="p">);</span>
 <span class="p">}</span>

reference/complex/complex/op_assign.html

@@ -201,12 +201,12 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-08-07T22:42:00+09:00">
-        2026年08月07日 22時42分00秒 (JST)
+            datetime="2026-08-17T16:09:42+09:00">
+        2026年08月17日 16時09分42秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">rotarymars</span>
+        <span itemprop="name">Akira Takahashi</span>
       </span>
       が更新
     </small></p>
@@ -345,6 +345,10 @@ <h2>関連項目</h2>
 <h2>参照</h2>
 <ul>
 <li><a href="http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0415r1.html" target="_blank">P0415R1 Constexpr for <code>std::complex</code></a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue3935" target="_blank">LWG Issue 3935. <code>template&lt;class X&gt; constexpr complex&amp; operator=(const complex&lt;X&gt;&amp;)</code> has no specification</a><ul>
+<li>C++26で、別の要素型をもつ複素数からの変換コピー代入演算子(3)の効果と<a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>が規定された</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

reference/expected/expected.void/op_assign.html

@@ -201,8 +201,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-08-12T11:23:35+09:00">
-        2026年08月12日 11時23分35秒 (JST)
+            datetime="2026-08-17T16:11:05+09:00">
+        2026年08月17日 16時11分05秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -275,6 +275,11 @@ <h2>概要</h2>
 </ul>
 <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Constraints。関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件">テンプレートパラメータ制約</a></h2>
 <ul>
+<li>(2) : 次の制約を全て満たすこと<ul>
+<li><code><a href="../../type_traits/is_move_constructible.html">is_move_constructible_v</a>&lt;E&gt; == true</code></li>
+<li><code><a href="../../type_traits/is_move_assignable.html">is_move_assignable_v</a>&lt;E&gt; == true</code></li>
+</ul>
+</li>
 <li>(3) : 次の制約を全て満たすこと<ul>
 <li><code><a href="../../type_traits/is_constructible.html">is_constructible_v</a>&lt;E, const G&amp;&gt; == true</code></li>
 <li><code><a href="../../type_traits/is_assignable.html">is_assignable_v</a>&lt;E&amp;, const G&amp;&gt; == true</code></li>
@@ -420,6 +425,10 @@ <h3>処理系</h3>
 <h2>参照</h2>
 <ul>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html" target="_blank">P0323R12 std::expected</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue4025" target="_blank">LWG Issue 4025. Move assignment operator of <code>std::expected&lt;cv void, E&gt;</code> should not be conditionally deleted</a><ul>
+<li>C++26で、ムーブ代入演算子(2)が条件付きでdelete定義されるのではなく、<a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Constraints。関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件">テンプレートパラメータ制約</a>によって<a class="cpprefjp-defined-word" data-desc="関数呼び出し時に、同名の関数の中から実際に呼び出す関数を決定する処理。このときの候補になることを、オーバーロード解決に参加するという">オーバーロード解決</a>から除外されるよう修正された</li>
+</ul>
+</li>
 <li><a href="https://cplusplus.github.io/LWG/issue4026" target="_blank">LWG Issue 4026. Assignment operators of <code>std::expected</code> should propagate triviality</a><ul>
 <li>C++26で、<code>E</code>が対応する操作をトリビアルに持つ場合に、コピー代入演算子(1)とムーブ代入演算子(2)もトリビアルに定義されるようになった</li>
 </ul>

reference/expected/expected.void/value.html

@@ -201,8 +201,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-08-14T15:05:52+09:00">
-        2026年08月14日 15時05分52秒 (JST)
+            datetime="2026-08-17T16:11:29+09:00">
+        2026年08月17日 16時11分29秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -256,6 +256,11 @@
 </p>
 <h2>概要</h2>
 <p>正常値(<code>void</code>)を取得する。</p>
+<h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる">適格要件</a></h2>
+<ul>
+<li>(1) : <code><a href="../../type_traits/is_copy_constructible.html">is_copy_constructible_v</a>&lt;E&gt; == true</code>であること</li>
+<li>(2) : <code><a href="../../type_traits/is_copy_constructible.html">is_copy_constructible_v</a>&lt;E&gt; == true</code>かつ<code><a href="../../type_traits/is_move_constructible.html">is_move_constructible_v</a>&lt;E&gt; == true</code>であること</li>
+</ul>
 <h2><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a></h2>
 <p>なし</p>
 <h2>備考</h2>
@@ -305,6 +310,10 @@ <h2>関連項目</h2>
 <h2>参照</h2>
 <ul>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0323r12.html" target="_blank">P0323R12 std::expected</a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue3940" target="_blank">LWG Issue 3940. <code>std::expected&lt;void, E&gt;::value()</code> also needs <code>E</code> to be copy constructible</a><ul>
+<li>C++26で、(1)に<code>E</code>がコピー構築可能であること、(2)に<code>E</code>がコピー構築可能かつムーブ構築可能であることを要求する<a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる">適格要件</a>が追加された</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

reference/expected/expected/and_then.html

@@ -201,8 +201,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2025-07-09T00:33:39+09:00">
-        2025年07月09日 00時33分39秒 (JST)
+            datetime="2026-08-17T16:10:42+09:00">
+        2026年08月17日 16時10分42秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -274,12 +274,12 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成
 </ul>
 <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる">適格要件</a></h2>
 <ul>
-<li>(1), (2) : 型<code>U</code>を<code><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;<a href="../../type_traits/invoke_result.html">invoke_result_t</a>&lt;F, decltype(<a href="value.html">value()</a>)&gt;&gt;</code>としたとき、次を全て満たすこと<ul>
+<li>(1), (2) : 型<code>U</code>を<code><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;<a href="../../type_traits/invoke_result.html">invoke_result_t</a>&lt;F, decltype(<a href="op_deref.html">**this</a>)&gt;&gt;</code>としたとき、次を全て満たすこと<ul>
 <li><code>U</code>が<code>expected</code>の特殊化である</li>
 <li><code><a href="../../type_traits/is_same.html">is_same_v</a>&lt;U::error_type, E&gt; == true</code></li>
 </ul>
 </li>
-<li>(3), (4) : 型<code>U</code>を<code><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;<a href="../../type_traits/invoke_result.html">invoke_result_t</a>&lt;F, decltype(<a href="../../utility/move.html">std::move</a>(<a href="value.html">value()</a>))&gt;&gt;</code>としたとき、次を全て満たすこと<ul>
+<li>(3), (4) : 型<code>U</code>を<code><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;<a href="../../type_traits/invoke_result.html">invoke_result_t</a>&lt;F, decltype(<a href="../../utility/move.html">std::move</a>(<a href="op_deref.html">**this</a>))&gt;&gt;</code>としたとき、次を全て満たすこと<ul>
 <li><code>U</code>が<code>expected</code>の特殊化である</li>
 <li><code><a href="../../type_traits/is_same.html">is_same_v</a>&lt;U::error_type, E&gt; == true</code></li>
 </ul>
@@ -291,7 +291,7 @@ <h2>効果</h2>
 <p>(1), (2) : 次の処理と等価
   <br />
 <div class="codehilite"><pre><span></span><code><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n"><a href="has_value.html">has_value</a></span><span class="p">())</span>
-<span class="w">  </span><span class="k">return</span><span class="w"> </span><span class="n"><a href="../../functional/invoke.html">invoke</a></span><span class="p">(</span><span class="n"><a href="../../utility/forward.html">std::forward</a></span><span class="o">&lt;</span><span class="n">F</span><span class="o">&gt;</span><span class="p">(</span><span class="n">f</span><span class="p">),</span><span class="w"> </span><span class="n"><a href="value.html">value()</a></span><span class="p">);</span>
+<span class="w">  </span><span class="k">return</span><span class="w"> </span><span class="n"><a href="../../functional/invoke.html">invoke</a></span><span class="p">(</span><span class="n"><a href="../../utility/forward.html">std::forward</a></span><span class="o">&lt;</span><span class="n">F</span><span class="o">&gt;</span><span class="p">(</span><span class="n">f</span><span class="p">),</span><span class="w"> </span><span class="n"><a href="op_deref.html">**this</a></span><span class="p">);</span>
 <span class="k">else</span>
 <span class="w">  </span><span class="k">return</span><span class="w"> </span><span class="n">U</span><span class="p">(</span><span class="n"><a href="../unexpect_t.html">unexpect</a></span><span class="p">,</span><span class="w"> </span><span class="n"><a href="error.html">error()</a></span><span class="p">);</span>
 </code></pre></div>
@@ -301,7 +301,7 @@ <h2>効果</h2>
 <p>(3), (4) : 次の処理と等価
   <br />
 <div class="codehilite"><pre><span></span><code><span class="k">if</span><span class="w"> </span><span class="p">(</span><span class="n"><a href="has_value.html">has_value</a></span><span class="p">())</span>
-<span class="w">  </span><span class="k">return</span><span class="w"> </span><span class="n"><a href="../../functional/invoke.html">invoke</a></span><span class="p">(</span><span class="n"><a href="../../utility/forward.html">std::forward</a></span><span class="o">&lt;</span><span class="n">F</span><span class="o">&gt;</span><span class="p">(</span><span class="n">f</span><span class="p">),</span><span class="w"> </span><span class="n"><a href="../../utility/move.html">std::move</a></span><span class="p">(</span><span class="n"><a href="value.html">value()</a></span><span class="p">));</span>
+<span class="w">  </span><span class="k">return</span><span class="w"> </span><span class="n"><a href="../../functional/invoke.html">invoke</a></span><span class="p">(</span><span class="n"><a href="../../utility/forward.html">std::forward</a></span><span class="o">&lt;</span><span class="n">F</span><span class="o">&gt;</span><span class="p">(</span><span class="n">f</span><span class="p">),</span><span class="w"> </span><span class="n"><a href="../../utility/move.html">std::move</a></span><span class="p">(</span><span class="n"><a href="op_deref.html">**this</a></span><span class="p">));</span>
 <span class="k">else</span>
 <span class="w">  </span><span class="k">return</span><span class="w"> </span><span class="n">U</span><span class="p">(</span><span class="n"><a href="../unexpect_t.html">unexpect</a></span><span class="p">,</span><span class="w"> </span><span class="n"><a href="../../utility/move.html">std::move</a></span><span class="p">(</span><span class="n"><a href="error.html">error()</a></span><span class="p">));</span>
 </code></pre></div>
@@ -361,6 +361,10 @@ <h2>関連項目</h2>
 <h2>参照</h2>
 <ul>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2505r5.html" target="_blank">P2505R5 Monadic Functions for <code>std::expected</code></a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue3938" target="_blank">LWG Issue 3938. Cannot use <code>std::expected</code> monadic ops with move-only <code>error_type</code></a><ul>
+<li>C++26で、効果および<a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる">適格要件</a>で正常値へのアクセスに<code><a href="value.html">value()</a></code>ではなく<code><a href="op_deref.html">**this</a></code>を使うよう修正され、ムーブのみ可能な<code>error_type</code>でも使用できるようになった</li>
+</ul>
+</li>
 </ul></div>
 
       </div>