update automatically

Author: cpprefjp-autoupdate

reference/concepts/Invoke.html

@@ -189,12 +189,12 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2025-08-31T19:06:36+09:00">
-        2025年08月31日 19時06分36秒 (JST)
+            datetime="2026-08-18T11:01:04+09:00">
+        2026年08月18日 11時01分04秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">Raclamusi</span>
+        <span itemprop="name">Akira Takahashi</span>
       </span>
       が更新
     </small></p>
@@ -293,10 +293,10 @@ <h2>要件（C++17）</h2>
 <h2>要件（C++20）</h2>
 <ol>
 <li>仮想操作 <em>INVOKE</em><code>(f, t1, t2, ..., tN)</code> を次のように定義する。<ul>
-<li><code>f</code> が型 <code>T</code> のメンバ関数へのポインタであり、<code><a href="../type_traits/is_base_of.html">is_base_of_v</a>&lt;T, <a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype(t1)&gt;&gt; == true</code>（<code>t1</code> が <code>T</code> または <code>T</code> を継承した型のオブジェクト/参照）であるとき、 <code>(t1.*f)(t2, ..., tN)</code> と同じ効果を持つ。</li>
+<li><code>f</code> が型 <code>T</code> のメンバ関数へのポインタであり、<code><a href="../type_traits/is_same.html">is_same_v</a>&lt;T, <a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype(t1)&gt;&gt; ||<a href="../type_traits/is_base_of.html">is_base_of_v</a>&lt;T, <a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype(t1)&gt;&gt;</code> が <code>true</code>（<code>t1</code> が <code>T</code> または <code>T</code> を継承した型のオブジェクト/参照）であるとき、 <code>(t1.*f)(t2, ..., tN)</code> と同じ効果を持つ。</li>
 <li><code>f</code> が型 <code>T</code> のメンバ関数へのポインタであり、<code><a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype(t1)&gt;</code>が<code><a href="../functional/reference_wrapper.html">reference_wrapper&lt;T&gt;</a></code>（<code>t1</code>が<code><a href="../functional/reference_wrapper.html">reference_wrapper</a></code>の特殊化）であるとき、 <code>(t1.get().*f)(t2, ..., tN)</code> と同じ効果を持つ。</li>
 <li><code>f</code> が型 <code>T</code> のメンバ関数へのポインタであり、 <code>t1</code> が上記の条件に当てはまらない場合（例えば、t1が<code>T</code>のポインタ）、<code>((*t1).*f)(t2, ..., tN)</code> と同じ効果を持つ。</li>
-<li><code>N == 1</code> で、<code>f</code> が型 <code>T</code> のメンバオブジェクトへのポインタであり、<code><a href="../type_traits/is_base_of.html">is_base_of_v</a>&lt;T, <a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype(t1)&gt;&gt; == true</code>（<code>t1</code> が <code>T</code> または <code>T</code> を継承した型のオブジェクト/参照）であるとき、 <code>t1.*f</code> と同じ効果を持つ。</li>
+<li><code>N == 1</code> で、<code>f</code> が型 <code>T</code> のメンバオブジェクトへのポインタであり、<code><a href="../type_traits/is_same.html">is_same_v</a>&lt;T, <a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype(t1)&gt;&gt; ||<a href="../type_traits/is_base_of.html">is_base_of_v</a>&lt;T, <a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype(t1)&gt;&gt;</code> が <code>true</code>（<code>t1</code> が <code>T</code> または <code>T</code> を継承した型のオブジェクト/参照）であるとき、 <code>t1.*f</code> と同じ効果を持つ。</li>
 <li><code>N == 1</code> で、<code>f</code> が型 <code>T</code> のメンバオブジェクトへのポインタであり、<code><a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;decltype(t1)&gt;</code>が<code><a href="../functional/reference_wrapper.html">reference_wrapper&lt;T&gt;</a></code>（<code>t1</code>が<code><a href="../functional/reference_wrapper.html">reference_wrapper</a></code>の特殊化）であるとき、 <code>t1.get().*f</code> と同じ効果を持つ。</li>
 <li><code>N == 1</code> で、<code>f</code> が型 <code>T</code> のメンバオブジェクトへのポインタであり、<code>t1</code> が上記の条件に当てはまらない場合（例えば、t1が<code>T</code>のポインタ）、 <code>(*t1).*f</code> と同じ効果を持つ。</li>
 <li>上記の条件のどれにも当てはまらない場合、 <code>f(t1, t2, ..., tN)</code> と同じ効果を持つ。</li>
@@ -335,6 +335,10 @@ <h2>参照</h2>
 </ul>
 </li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2136r3.html" target="_blank">P2136R3 <code>invoke_r</code></a></li>
+<li><a href="https://cplusplus.github.io/LWG/issue3655" target="_blank">LWG Issue 3655. The <em>INVOKE</em> operation and union types</a><ul>
+<li>C++23で、メンバポインタの判定を<code>is_base_of_v</code>単独から<code>is_same_v || is_base_of_v</code>に変更し、共用体(union)型でも正しく扱えるようにした</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

reference/cstdint/intmax_t.html

@@ -189,8 +189,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2024-06-11T22:45:38+09:00">
-        2024年06月11日 22時45分38秒 (JST)
+            datetime="2026-08-18T11:01:51+09:00">
+        2026年08月18日 11時01分51秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -244,6 +244,8 @@
 </p>
 <h2>概要</h2>
 <p>最大の符号付き整数型。</p>
+<h2>備考</h2>
+<p>最大幅の符号付き整数型ではあるが、<code>long long</code>より広い拡張整数型のすべての値を表現できる必要はない。</p>
 <h2>バージョン</h2>
 <h3>言語</h3>
 <ul>
@@ -255,6 +257,13 @@ <h3>処理系</h3>
 <li><a href="../../implementation.html#gcc">GCC</a>: 4.7.0 <span aria-label="検証済" role="img" title="検証済">✅</span></li>
 <li><a href="../../implementation.html#icc">ICC</a>: ??</li>
 <li><a href="../../implementation.html#visual_cpp">Visual C++</a>: 2010 <span aria-label="検証済" role="img" title="検証済">✅</span>, 2012 <span aria-label="検証済" role="img" title="検証済">✅</span>, 2013 <span aria-label="検証済" role="img" title="検証済">✅</span></li>
+</ul>
+<h2>参照</h2>
+<ul>
+<li><a href="https://cplusplus.github.io/LWG/issue3828" target="_blank">LWG Issue 3828. Sync <code>intmax_t</code> and <code>uintmax_t</code> with C2x</a><ul>
+<li>C++23で、C23との同期のため、<code>intmax_t</code>は<code>long long</code>より広い拡張整数型のすべての値を表現できる必要はないことが明確化された</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

reference/cstdint/uintmax_t.html

@@ -189,8 +189,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2024-06-11T22:45:38+09:00">
-        2024年06月11日 22時45分38秒 (JST)
+            datetime="2026-08-18T11:01:51+09:00">
+        2026年08月18日 11時01分51秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -244,6 +244,8 @@
 </p>
 <h2>概要</h2>
 <p>最大の符号なし整数型。</p>
+<h2>備考</h2>
+<p>最大幅の符号なし整数型ではあるが、<code>unsigned long long</code>より広い拡張整数型のすべての値を表現できる必要はない。</p>
 <h2>バージョン</h2>
 <h3>言語</h3>
 <ul>
@@ -255,6 +257,13 @@ <h3>処理系</h3>
 <li><a href="../../implementation.html#gcc">GCC</a>: 4.7.0 <span aria-label="検証済" role="img" title="検証済">✅</span></li>
 <li><a href="../../implementation.html#icc">ICC</a>: ??</li>
 <li><a href="../../implementation.html#visual_cpp">Visual C++</a>: 2010 <span aria-label="検証済" role="img" title="検証済">✅</span>, 2012 <span aria-label="検証済" role="img" title="検証済">✅</span>, 2013 <span aria-label="検証済" role="img" title="検証済">✅</span></li>
+</ul>
+<h2>参照</h2>
+<ul>
+<li><a href="https://cplusplus.github.io/LWG/issue3828" target="_blank">LWG Issue 3828. Sync <code>intmax_t</code> and <code>uintmax_t</code> with C2x</a><ul>
+<li>C++23で、C23との同期のため、<code>uintmax_t</code>は<code>unsigned long long</code>より広い拡張整数型のすべての値を表現できる必要はないことが明確化された</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="2026-08-17T16:10:42+09:00">
-        2026年08月17日 16時10分42秒 (JST)
+            datetime="2026-08-18T11:27:50+09:00">
+        2026年08月18日 11時27分50秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -269,8 +269,8 @@ <h2>概要</h2>
 </p>
 <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Constraints。関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件">テンプレートパラメータ制約</a></h2>
 <ul>
-<li>(1), (2) : <code><a href="../../type_traits/is_copy_constructible.html">is_copy_constructible_v</a>&lt;E&gt; == true</code></li>
-<li>(3), (4) : <code><a href="../../type_traits/is_move_constructible.html">is_move_constructible_v</a>&lt;E&gt; == true</code></li>
+<li>(1), (2) : <code><a href="../../type_traits/is_constructible.html">is_constructible_v</a>&lt;E, decltype(<a href="error.html">error()</a>)&gt; == true</code></li>
+<li>(3), (4) : <code><a href="../../type_traits/is_constructible.html">is_constructible_v</a>&lt;E, decltype(<a href="../../utility/move.html">std::move</a>(<a href="error.html">error()</a>))&gt; == true</code></li>
 </ul>
 <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる">適格要件</a></h2>
 <ul>
@@ -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/issue3877" target="_blank">LWG Issue 3877. Incorrect constraints on <code>const</code>-qualified monadic overloads for <code>std::expected</code></a><ul>
+<li>C++23で、<code>const</code>修飾版で誤ってエラーになる問題を解消するため、制約が<code>is_copy_constructible_v&lt;E&gt;</code>から<code>is_constructible_v&lt;E, decltype(error())&gt;</code>（右辺値版は<code>decltype(std::move(error()))</code>）へ変更された</li>
+</ul>
+</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>

reference/expected/expected/op_constructor.html

@@ -201,8 +201,8 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-08-17T00:07:22+09:00">
-        2026年08月17日 00時07分22秒 (JST)
+            datetime="2026-08-18T11:28:15+09:00">
+        2026年08月18日 11時28分15秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -308,7 +308,7 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成
 <li>(4) : 次の制約を全て満たすこと<ul>
 <li><code><a href="../../type_traits/is_constructible.html">is_constructible_v</a>&lt;T, const U&amp;&gt; == true</code></li>
 <li><code><a href="../../type_traits/is_constructible.html">is_constructible_v</a>&lt;E, const G&amp;&gt; == true</code></li>
-<li><code>converts-from-any-cvref&lt;T, expected&lt;U, G&gt;&gt; == false</code></li>
+<li><code>T</code>が cv <code>bool</code> でない場合、<code>converts-from-any-cvref&lt;T, expected&lt;U, G&gt;&gt; == false</code></li>
 <li><code><a href="../../type_traits/is_constructible.html">is_constructible_v</a>&lt;<a href="../unexpected.html">unexpected</a>&lt;E&gt;, expected&lt;U, G&gt;&amp;&gt; == false</code></li>
 <li><code><a href="../../type_traits/is_constructible.html">is_constructible_v</a>&lt;<a href="../unexpected.html">unexpected</a>&lt;E&gt;, expected&lt;U, G&gt;&gt; == false</code></li>
 <li><code><a href="../../type_traits/is_constructible.html">is_constructible_v</a>&lt;<a href="../unexpected.html">unexpected</a>&lt;E&gt;, const expected&lt;U, G&gt;&amp;&gt; == false</code></li>
@@ -318,7 +318,7 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成
 <li>(5) : 次の制約を全て満たすこと<ul>
 <li><code><a href="../../type_traits/is_constructible.html">is_constructible_v</a>&lt;T, U&gt; == true</code></li>
 <li><code><a href="../../type_traits/is_constructible.html">is_constructible_v</a>&lt;E, G&gt; == true</code></li>
-<li><code>converts-from-any-cvref&lt;T, expected&lt;U, G&gt;&gt; == false</code></li>
+<li><code>T</code>が cv <code>bool</code> でない場合、<code>converts-from-any-cvref&lt;T, expected&lt;U, G&gt;&gt; == false</code></li>
 <li><code><a href="../../type_traits/is_constructible.html">is_constructible_v</a>&lt;<a href="../unexpected.html">unexpected</a>&lt;E&gt;, expected&lt;U, G&gt;&amp;&gt; == false</code></li>
 <li><code><a href="../../type_traits/is_constructible.html">is_constructible_v</a>&lt;<a href="../unexpected.html">unexpected</a>&lt;E&gt;, expected&lt;U, G&gt;&gt; == false</code></li>
 <li><code><a href="../../type_traits/is_constructible.html">is_constructible_v</a>&lt;<a href="../unexpected.html">unexpected</a>&lt;E&gt;, const expected&lt;U, G&gt;&amp;&gt; == false</code></li>
@@ -330,6 +330,7 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成
 <li><code><a href="../../type_traits/is_same.html">is_same_v</a>&lt;expected, <a href="../../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;U&gt;&gt; == false</code></li>
 <li><code><a href="../../type_traits/is_same.html">is_same_v</a>&lt;<a href="../../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;U&gt;, <a href="../unexpect_t.html">unexpect_t</a>&gt; == false</code></li>
 <li><code><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;U&gt;</code>は<code><a href="../unexpected.html">unexpected</a></code>の特殊化でない</li>
+<li><code>T</code>が cv <code>bool</code> の場合、<code><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;U&gt;</code>は<code>expected</code>の特殊化でない</li>
 <li><code><a href="../../type_traits/is_constructible.html">is_constructible_v</a>&lt;T, U&gt; == true</code></li>
 </ul>
 </li>
@@ -553,6 +554,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/issue3836" target="_blank">LWG Issue 3836. <code>std::expected&lt;bool, E1&gt;</code> conversion constructor <code>expected(const expected&lt;U, G&gt;&amp;)</code> should take precedence over <code>expected(U&amp;&amp;)</code> with operator bool</a><ul>
+<li>C++23で、<code>T</code>が cv <code>bool</code> のときに変換コンストラクタ(4)(5)が単一値コンストラクタ(6)に優先されるよう、(4)(5)の<code>converts-from-any-cvref</code>制約に「<code>T</code>が cv <code>bool</code> でない場合」の条件を付け、(6)に「<code>T</code>が cv <code>bool</code> の場合、<code>remove_cvref_t&lt;U&gt;</code>は<code>expected</code>の特殊化でない」制約を追加した</li>
+</ul>
+</li>
 <li><a href="https://cplusplus.github.io/LWG/issue4222" target="_blank">LWG Issue 4222. <code>expected</code> constructor from a single value missing a constraint</a><ul>
 <li>C++26で、(6)の制約に<code><a href="../../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;U&gt;</code>が<code><a href="../unexpect_t.html">unexpect_t</a></code>でないことが追加された</li>
 </ul>