update automatically

Author: cpprefjp-autoupdate

lang/cpp26.html

@@ -176,12 +176,12 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-12-20T16:09:11">
-        2024年12月20日 16時09分11秒
+      <span itemprop="datePublished" content="2024-12-21T00:39:21">
+        2024年12月21日 00時39分21秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">K10-K10</span>
+        <span itemprop="name">Akira Takahashi</span>
       </span>
       が更新
     </small></p>
@@ -585,7 +585,8 @@ <h3>並行・並列・非同期処理</h3>
 <li><code><a href="../reference/execution.html">&lt;execution&gt;</a></code>に汎用的な非同期実行を管理するフレームワークを追加</li>
 <li><code><a href="../reference/atomic/atomic.html">std::atomic</a></code>オブジェクトに対する2つの値の最大値・最小値を取得する関数として、メンバ関数<code><span href="https://cpprefjp.github.io/reference/atomic/atomic/fetch_max.md.nolink">fetch_max()</span></code>と<code><span href="https://cpprefjp.github.io/reference/atomic/atomic/fetch_min.md.nolink">fetch_min()</span></code>、非メンバ関数として<code><span href="https://cpprefjp.github.io/reference/atomic/atomic_fetch_max.md.nolink">std::atomic_fetch_max</span></code>、<code><span href="https://cpprefjp.github.io/reference/atomic/atomic_fetch_max_explicit.md.nolink">std::atomic_fetch_max_explicit</span></code>、<code><span href="https://cpprefjp.github.io/reference/atomic/atomic_fetch_min.md.nolink">std::atomic_fetch_min</span></code>、<code><span href="https://cpprefjp.github.io/reference/atomic/atomic_fetch_min_explicit.md.nolink">std::atomic_fetch_min_explicit</span></code>を追加</li>
 <li><code><a href="../reference/atomic/atomic_ref.html">std::atomic_ref</a></code>クラスに、参照するオブジェクトのアドレスを取得する<code><span href="https://cpprefjp.github.io/reference/atomic/atomic_ref/address.md.nolink">address()</span></code>メンバ関数を追加</li>
-<li><code><a href="../reference/atomic/atomic.html">std::atomic</a></code>クラスと<code><a href="../reference/atomic/atomic_ref.html">std::atomic_ref</a></code>クラスのテンプレートパラメータとして、<a class="cpprefjp-defined-word" data-desc="型をconstおよび・もしくはvolatileで修飾すること">CV修飾</a>された型を受け取れるようにした (内部で<a class="cpprefjp-defined-word" data-desc="型をconstおよび・もしくはvolatileで修飾すること">CV修飾</a>が外される)</li>
+<li><code><a href="../reference/atomic/atomic.html">std::atomic</a></code>クラスのテンプレートパラメータとして<a class="cpprefjp-defined-word" data-desc="型をconstおよび・もしくはvolatileで修飾すること">CV修飾</a>された型を禁止</li>
+<li><code><a href="../reference/atomic/atomic_ref.html">std::atomic_ref</a></code>クラスのテンプレートパラメータとして、<a class="cpprefjp-defined-word" data-desc="型をconstおよび・もしくはvolatileで修飾すること">CV修飾</a>された型を受け取れるようにした (内部で<a class="cpprefjp-defined-word" data-desc="型をconstおよび・もしくはvolatileで修飾すること">CV修飾</a>が外される)</li>
 <li><code><a href="../reference/atomic.html">&lt;atomic&gt;</a></code>ライブラリのアトミック操作を<code>constexpr</code>対応</li>
 </ul>
 <h3>スマートポインタ</h3>

reference/atomic/atomic.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-06-11T13:45:38">
-        2024年06月11日 13時45分38秒
+      <span itemprop="datePublished" content="2024-12-21T00:39:21">
+        2024年12月21日 00時39分21秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -237,10 +237,21 @@ <h2>概要</h2>
 <h2><a class="cpprefjp-defined-word" data-desc="関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件">テンプレートパラメータ制約</a></h2>
 <ul>
 <li>型<code>T</code>は<a href="../concepts/copy_constructible.html">コピー構築可能</a>かつ<a href="../type_traits/is_copy_assignable.html">コピー代入可能</a>であること</li>
-<li><code><a href="../type_traits/is_trivially_copyable.html">is_trivially_copyable_v</a>&lt;T&gt; &amp;&amp; <a href="../type_traits/is_copy_constructible.html">is_copy_constructible_v</a>&lt;T&gt; &amp;&amp; <a href="../type_traits/is_move_constructible.html">is_move_constructible_v</a>&lt;T&gt; &amp;&amp; <a href="../type_traits/is_copy_assignable.html">is_copy_assignable_v</a>&lt;T&gt; &amp;&amp; <a href="../type_traits/is_move_assignable.html">is_move_assignable_v</a>&lt;T&gt;</code>が<code>false</code>である場合、プログラムは<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる<ul>
+<li>以下のいずれかが<code>false</code>である場合、プログラムは<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる：<ul>
+<li><code><a href="../type_traits/is_trivially_copyable.html">is_trivially_copyable_v</a>&lt;T&gt;</code><ul>
 <li>簡潔に言うと、<code>memcpy()</code>可能な型であること</li>
 </ul>
 </li>
+<li><code><a href="../type_traits/is_copy_constructible.html">is_copy_constructible_v</a>&lt;T&gt;</code></li>
+<li><code><a href="../type_traits/is_move_constructible.html">is_move_constructible_v</a>&lt;T&gt;</code></li>
+<li><code><a href="../type_traits/is_copy_assignable.html">is_copy_assignable_v</a>&lt;T&gt;</code></li>
+<li><code><a href="../type_traits/is_move_assignable.html">is_move_assignable_v</a>&lt;T&gt;</code></li>
+<li>C++26: <code><a href="../concepts/same_as.html">same_as</a>&lt;T, <a href="../type_traits/remove_cv.html">remove_cv_t</a>&lt;T&gt;&gt;</code><ul>
+<li><a class="cpprefjp-defined-word" data-desc="型をconstおよび・もしくはvolatileで修飾すること">CV修飾</a>された<code>T</code>は許可しない</li>
+</ul>
+</li>
+</ul>
+</li>
 </ul>
 <h2>別名型</h2>
 <p>特殊化された整数型および<code>bool</code>型には、それぞれ<code>atomic_T</code>という型の別名が提供される。</p>
@@ -957,6 +968,10 @@ <h3>参照</h3>
 <li>C++23で<a class="cpprefjp-defined-word" data-desc="&lt;stdfloat&gt;で定義される内部表現の規定された浮動小数点数型" href="../stdfloat.html">拡張浮動小数点数型</a>もテンプレート引数として指定することが許可された</li>
 </ul>
 </li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3323r1.html" target="_blank">P3323R1 cv-qualified types in <code>atomic</code> and <code>atomic_ref</code></a><ul>
+<li>C++26で<a class="cpprefjp-defined-word" data-desc="型をconstおよび・もしくはvolatileで修飾すること">CV修飾</a>されたテンプレートパラメータが明確に禁止された</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

reference/atomic/atomic_ref.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-06-11T13:45:38">
-        2024年06月11日 13時45分38秒
+      <span itemprop="datePublished" content="2024-12-21T00:39:21">
+        2024年12月21日 00時39分21秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -230,16 +230,18 @@ <h2>概要</h2>
 <p><code>atomic_ref</code>クラステンプレートは型<code>T</code>の値をコピーではなく参照で保持するため、<code>atomic_ref</code>オブジェクトより先に参照先の変数の寿命が尽きてはならない。</p>
 <ul>
 <li>(1) : プライマリテンプレート。宣言のみ</li>
-<li>(2) : 整数型に対する特殊化</li>
-<li>(3) : (<a class="cpprefjp-defined-word" data-desc="型をconstおよび・もしくはvolatileで修飾すること">CV修飾</a>されていない) 浮動小数点数型に対する特殊化<ul>
+<li>(2) : 整数型に対する特殊化 (<code>bool</code>以外)</li>
+<li>(3) : 浮動小数点数型に対する特殊化<ul>
 <li>(C++23) : <a class="cpprefjp-defined-word" data-desc="&lt;stdfloat&gt;で定義される内部表現の規定された浮動小数点数型" href="../stdfloat.html">拡張浮動小数点数型</a>を含む</li>
 </ul>
 </li>
 <li>(4) : 任意の型のポインタに対する特殊化</li>
 </ul>
+<p>C++26から、これらの特殊化は<a class="cpprefjp-defined-word" data-desc="型をconstおよび・もしくはvolatileで修飾すること">CV修飾</a>された型に対しても行われるようになった。</p>
 <h2><a class="cpprefjp-defined-word" data-desc="関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件">テンプレートパラメータ制約</a></h2>
 <ul>
 <li>型<code>T</code>は<code><a href="../type_traits/is_trivially_copyable.html">is_trivially_copyable_v</a>&lt;T&gt; == true</code>であること</li>
+<li>C++26: <code>is_always_lock_free</code>が<code>false</code>かつ<code><a href="../type_traits/is_volatile.html">is_volatile_v</a></code>が<code>true</code>である場合、プログラムは<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../implementation-compliance.html#dfn-ill-formed">不適格</a>となる</li>
 </ul>
 <h2>メンバ関数</h2>
 <h3>共通メンバ関数</h3>
@@ -284,8 +286,13 @@ <h3>共通メンバ関数</h3>
 </tr>
 <tr>
 <td><code><a href="atomic_ref/op_t.html">operator T</a></code></td>
-<td>型Tへの変換演算子</td>
-<td>C++20</td>
+<td>型<code>T</code>への変換演算子</td>
+<td>C++20 (C++26で<code>value_type</code>に変更)</td>
+</tr>
+<tr>
+<td><code><a href="atomic_ref/op_value_type.html">operator value_type</a></code></td>
+<td>型<code>value_type</code>への変換演算子</td>
+<td>C++26</td>
 </tr>
 <tr>
 <td><code><a href="atomic_ref/exchange.html">exchange</a></code></td>
@@ -331,7 +338,7 @@ <h3>共通メンバ型</h3>
 <tbody>
 <tr>
 <td><code>value_type</code></td>
-<td>要素型となるテンプレートパラメータの型<code>T</code></td>
+<td>要素型となるテンプレートパラメータの型。<br /> C++20: <code>T</code><br /> C++26: <code><a href="../type_traits/remove_cv.html">remove_cv_t</a>&lt;T&gt;</code></td>
 <td>C++20</td>
 </tr>
 </tbody>
@@ -613,6 +620,10 @@ <h3>参照</h3>
 <li>C++23で<a class="cpprefjp-defined-word" data-desc="&lt;stdfloat&gt;で定義される内部表現の規定された浮動小数点数型" href="../stdfloat.html">拡張浮動小数点数型</a>もテンプレート引数として指定することが許可された</li>
 </ul>
 </li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3323r1.html" target="_blank">P3323R1 cv-qualified types in <code>atomic</code> and <code>atomic_ref</code></a><ul>
+<li>C++26で<a class="cpprefjp-defined-word" data-desc="型をconstおよび・もしくはvolatileで修飾すること">CV修飾</a>されたテンプレート引数を受け取れるようになった</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

reference/atomic/atomic_ref/compare_exchange_strong.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-06-11T13:45:38">
-        2024年06月11日 13時45分38秒
+      <span itemprop="datePublished" content="2024-12-21T00:39:21">
+        2024年12月21日 00時39分21秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -225,16 +225,29 @@
       <div class="col-sm-12 content-body">
 
   <div class="identifier-type">function</div><div class="header">&lt;atomic&gt;</div><h1 itemprop="name"><span class="namespace" title="namespace std">std::</span><span class="class" title="class atomic_ref">atomic_ref::</span><span class="token">compare_exchange_strong</span><span class="cpp cpp20" title="C++20で追加">(C++20)</span></h1>
-<div itemprop="articleBody"><p><div class="codehilite"><pre><span></span><code><span class="kt">bool</span> <span class="nf">compare_exchange_strong</span><span class="p">(</span><span class="n">T</span><span class="o">&amp;</span> <span class="n">expected</span><span class="p">,</span>
-                             <span class="n">T</span> <span class="n">desired</span><span class="p">,</span>
-                             <span class="n"><a href="../memory_order.html">memory_order</a></span> <span class="n">success</span><span class="p">,</span>
-                             <span class="n"><a href="../memory_order.html">memory_order</a></span> <span class="n">failure</span>
-                             <span class="p">)</span> <span class="k">const</span> <span class="k">noexcept</span><span class="p">;</span>  <span class="c1">// (1)</span>
-
-<span class="kt">bool</span> <span class="nf">compare_exchange_strong</span><span class="p">(</span><span class="n">T</span><span class="o">&amp;</span> <span class="n">expected</span><span class="p">,</span>
-                             <span class="n">T</span> <span class="n">desired</span><span class="p">,</span>
-                             <span class="n"><a href="../memory_order.html">memory_order</a></span> <span class="n">order</span> <span class="o">=</span> <span class="n"><a href="../memory_order.html">memory_order_seq_cst</a></span>
-                             <span class="p">)</span> <span class="k">const</span> <span class="k">noexcept</span><span class="p">;</span>  <span class="c1">// (2)</span>
+<div itemprop="articleBody"><p><div class="codehilite"><pre><span></span><code><span class="kt">bool</span>
+  <span class="nf">compare_exchange_strong</span><span class="p">(</span><span class="n">T</span><span class="o">&amp;</span> <span class="n">expected</span><span class="p">,</span>
+                          <span class="n">T</span> <span class="n">desired</span><span class="p">,</span>
+                          <span class="n"><a href="../memory_order.html">memory_order</a></span> <span class="n">success</span><span class="p">,</span>
+                          <span class="n"><a href="../memory_order.html">memory_order</a></span> <span class="n">failure</span>
+                          <span class="p">)</span> <span class="k">const</span> <span class="k">noexcept</span><span class="p">;</span>  <span class="c1">// (1) C++20</span>
+<span class="kt">bool</span>
+  <span class="nf">compare_exchange_strong</span><span class="p">(</span><span class="n">value_type</span><span class="o">&amp;</span> <span class="n">expected</span><span class="p">,</span>
+                          <span class="n">value_type</span> <span class="n">desired</span><span class="p">,</span>
+                          <span class="n"><a href="../memory_order.html">memory_order</a></span> <span class="n">success</span><span class="p">,</span>
+                          <span class="n"><a href="../memory_order.html">memory_order</a></span> <span class="n">failure</span>
+                          <span class="p">)</span> <span class="k">const</span> <span class="k">noexcept</span><span class="p">;</span>  <span class="c1">// (1) C++26</span>
+
+<span class="kt">bool</span>
+  <span class="nf">compare_exchange_strong</span><span class="p">(</span><span class="n">T</span><span class="o">&amp;</span> <span class="n">expected</span><span class="p">,</span>
+                          <span class="n">T</span> <span class="n">desired</span><span class="p">,</span>
+                          <span class="n"><a href="../memory_order.html">memory_order</a></span> <span class="n">order</span> <span class="o">=</span> <span class="n"><a href="../memory_order.html">memory_order_seq_cst</a></span>
+                          <span class="p">)</span> <span class="k">const</span> <span class="k">noexcept</span><span class="p">;</span>  <span class="c1">// (2) C++20</span>
+<span class="kt">bool</span>
+  <span class="nf">compare_exchange_strong</span><span class="p">(</span><span class="n">value_type</span><span class="o">&amp;</span> <span class="n">expected</span><span class="p">,</span>
+                          <span class="n">value_type</span> <span class="n">desired</span><span class="p">,</span>
+                          <span class="n"><a href="../memory_order.html">memory_order</a></span> <span class="n">order</span> <span class="o">=</span> <span class="n"><a href="../memory_order.html">memory_order_seq_cst</a></span>
+                          <span class="p">)</span> <span class="k">const</span> <span class="k">noexcept</span><span class="p">;</span>  <span class="c1">// (2) C++26</span>
 </code></pre></div>
 </p>
 <h2>概要</h2>
@@ -243,7 +256,11 @@ <h2>概要</h2>
 <li>(1) : 現在の値と<code>expected</code>が等値である場合に、<code>success</code>メモリオーダーで現在の値を<code>desired</code>で置き換え、そうでなければ<code>failure</code>メモリオーダーで<code>expected</code>を現在の値で置き換える</li>
 <li>(2) : 現在の値と<code>expected</code>が等値である場合に、現在の値を<code>desired</code>で置き換え、そうでなければ<code>expected</code>を現在の値で置き換える。どちらの値置き換えの場合でも<code>order</code>メモリオーダーが使用される</li>
 </ul>
-<h2>要件</h2>
+<h2><a class="cpprefjp-defined-word" data-desc="関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件">テンプレートパラメータ制約</a></h2>
+<ul>
+<li>C++26 : <code><a href="../../type_traits/is_const.html">is_const_v</a>&lt;T&gt;</code>が<code>false</code>であること</li>
+</ul>
+<h2>事前条件</h2>
 <ul>
 <li><code>failure</code>が<code><a href="../memory_order.html">memory_order_release</a></code>, <code><a href="../memory_order.html">memory_order_acq_rel</a></code>ではないこと</li>
 </ul>
@@ -350,6 +367,13 @@ <h3>処理系</h3>
 <li><a href="../../../implementation.html#clang">Clang</a>: 9.0 <span aria-label="未実装" role="img" title="未実装">❌</span></li>
 <li><a href="../../../implementation.html#gcc">GCC</a>: 10.1 <span aria-label="検証済" role="img" title="検証済">✅</span></li>
 <li><a href="../../../implementation.html#visual_cpp">Visual C++</a>: ??</li>
+</ul>
+<h2>参照</h2>
+<ul>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3323r1.html" target="_blank">P3323R1 cv-qualified types in <code>atomic</code> and <code>atomic_ref</code></a><ul>
+<li>C++26で<a class="cpprefjp-defined-word" data-desc="型をconstおよび・もしくはvolatileで修飾すること">CV修飾</a>されたテンプレート引数を受け取れるようになった</li>
+</ul>
+</li>
 </ul></div>
 
       </div>