update automatically

Author: cpprefjp-autoupdate

lang/cpp23.html

@@ -176,12 +176,12 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-08-18T10:21:16">
-        2025年08月18日 10時21分16秒
+      <span itemprop="datePublished" content="2026-02-17T03:19:01">
+        2026年02月17日 03時19分01秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">Raclamusi</span>
+        <span itemprop="name">Akira Takahashi</span>
       </span>
       が更新
     </small></p>
@@ -484,7 +484,7 @@ <h3>新ライブラリ</h3>
 <h3>コンテナ</h3>
 <ul>
 <li><code><a href="../reference/stack/stack.html">std::stack</a></code>と<code><a href="../reference/queue/queue.html">std::queue</a></code>に、イテレータのペアをとるコンストラクタを追加</li>
-<li><code>auto v = std::vector(v, alloc);</code>のようなアロケータ引数をともなう場合のクラステンプレートのテンプレート引数推論が動作しなかったため、各コンテナクラスのコンストラクタにおけるアロケータパラメータの型を<code>const Allocator&amp;</code>から<code>const <a href="../reference/type_traits/type_identity.html">std::type_identity_t</a>&lt;Allocator&gt;&amp;</code>に修正</li>
+<li><code>auto v = std::vector(v, alloc);</code>のようなアロケータ引数をともなう場合のクラステンプレートのテンプレート引数推論が動作しなかったため、各コンテナクラスのコンストラクタにおけるアロケータパラメータの型を<code>const Allocator&amp;</code>から<code>const <a href="../reference/type_traits/type_identity.html">std::type_identity_t</a>&lt;Allocator&gt;&amp;</code>に修正し、<a class="cpprefjp-defined-word" data-desc="コンテナをラップしたクラス。一部のコンテナインタフェースをもたない場合がある">コンテナアダプタ</a>の推論補助の制約を修正</li>
 <li>N要素のメモリアロケート時にアロケータが実際にどれくらいのメモリを確保したかを得られるインタフェースとして、<ul>
 <li><code><a href="../reference/memory/allocator.html">std::allocator</a></code>クラスに、<code><a href="../reference/memory/allocator/allocate_at_least.html">allocate_at_least()</a></code>メンバ関数を追加</li>
 <li><code><a href="../reference/memory/allocator_traits.html">std::allocator_traits</a></code>クラスに、<code><a href="../reference/memory/allocator_traits/allocate_at_least.html">allocate_at_least()</a></code>関数を追加</li>

reference/deque/deque/op_constructor.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-07-08T15:33:39">
-        2025年07月08日 15時33分39秒
+      <span itemprop="datePublished" content="2026-02-17T03:19:01">
+        2026年02月17日 03時19分01秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -246,8 +246,12 @@
 
 <span class="n">deque</span><span class="p">(</span><span class="k">const</span> <span class="n">deque</span><span class="o">&amp;</span> <span class="n">x</span><span class="p">);</span>                            <span class="c1">// (6)</span>
 <span class="n">deque</span><span class="p">(</span><span class="n">deque</span><span class="o">&amp;&amp;</span> <span class="n">y</span><span class="p">);</span>                                 <span class="c1">// (7) C++11 から</span>
-<span class="n">deque</span><span class="p">(</span><span class="k">const</span> <span class="n">deque</span><span class="o">&amp;</span> <span class="n">x</span><span class="p">,</span> <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span><span class="p">);</span>        <span class="c1">// (8) C++11 から</span>
-<span class="n">deque</span><span class="p">(</span><span class="n">deque</span><span class="o">&amp;&amp;</span> <span class="n">y</span><span class="p">,</span> <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span><span class="p">);</span>             <span class="c1">// (9) C++11 から</span>
+<span class="n">deque</span><span class="p">(</span><span class="k">const</span> <span class="n">deque</span><span class="o">&amp;</span> <span class="n">x</span><span class="p">,</span> <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span><span class="p">);</span>                  <span class="c1">// (8) C++11</span>
+<span class="n">deque</span><span class="p">(</span><span class="k">const</span> <span class="n">deque</span><span class="o">&amp;</span> <span class="n">x</span><span class="p">,</span>
+      <span class="k">const</span> <span class="n"><a href="../../type_traits/type_identity.html">type_identity_t</a></span><span class="o">&lt;</span><span class="n">Allocator</span><span class="o">&gt;&amp;</span> <span class="n">a</span><span class="p">);</span>                 <span class="c1">// (8) C++23</span>
+
+<span class="n">deque</span><span class="p">(</span><span class="n">deque</span><span class="o">&amp;&amp;</span> <span class="n">y</span><span class="p">,</span> <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span><span class="p">);</span>                       <span class="c1">// (9) C++11</span>
+<span class="n">deque</span><span class="p">(</span><span class="n">deque</span><span class="o">&amp;&amp;</span> <span class="n">y</span><span class="p">,</span> <span class="k">const</span> <span class="n"><a href="../../type_traits/type_identity.html">type_identity_t</a></span><span class="o">&lt;</span><span class="n">Allocator</span><span class="o">&gt;&amp;</span> <span class="n">a</span><span class="p">);</span>      <span class="c1">// (9) C++23</span>
 
 <span class="n">deque</span><span class="p">(</span><span class="n"><a href="../../initializer_list/initializer_list.html">initializer_list</a></span><span class="o">&lt;</span><span class="n">T</span><span class="o">&gt;</span> <span class="n">il</span><span class="p">,</span>
       <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span> <span class="o">=</span> <span class="n">Allocator</span><span class="p">());</span>          <span class="c1">// (10) C++11 から</span>
@@ -326,6 +330,10 @@ <h2>備考</h2>
 </code></pre></div>
 </div></p>
 </li>
+<li>
+<p>C++23 では、(8) と (9) のアロケータパラメータの型が <code>const Allocator&amp;</code> から <code>const type_identity_t&lt;Allocator&gt;&amp;</code> に変更された。
+    これは、クラステンプレートのテンプレート引数推論 (CTAD) の際に、コピー/ムーブ元の <code>deque</code> から推論される <code>Allocator</code> と、アロケータ引数から推論される型が異なる場合に推論が失敗する問題を修正するためである。<code><a href="../../type_traits/type_identity.html">type_identity_t</a></code> で包むことで、アロケータ引数が非推論コンテキストとなり、アロケータの型はコピー/ムーブ元のみから推論されるようになる。</p>
+</li>
 </ul>
 <h2>例</h2>
 <p><div class="yata" id="536c8a887fd1bd4c1fd7a0e75a34de247863a053"><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>
@@ -397,6 +405,10 @@ <h2>参照</h2>
 <li><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2210" target="_blank">LWG 2210. Missing allocator-extended constructor for allocator-aware containers</a><br />
 <code>explicit deque(size_type n)</code> にアロケータ引数を追加するきっかけとなったレポート<br />
     なお、Discussion の例はアロケータの型が誤っているので注意</li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p1518r2.html" target="_blank">P1518R2 Stop Overconstraining Allocators in Container Deduction Guides</a><ul>
+<li>C++23でのアロケータ引数を<code>type_identity_t</code>で包む変更</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

reference/forward_list/forward_list/op_constructor.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-07-08T15:33:39">
-        2025年07月08日 15時33分39秒
+      <span itemprop="datePublished" content="2026-02-17T03:19:01">
+        2026年02月17日 03時19分01秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -246,8 +246,13 @@
 <span class="n">forward_list</span><span class="p">(</span><span class="k">const</span> <span class="n">forward_list</span><span class="o">&amp;</span> <span class="n">x</span><span class="p">);</span>                     <span class="c1">// (6) C++11</span>
 <span class="n">forward_list</span><span class="p">(</span><span class="n">forward_list</span><span class="o">&amp;&amp;</span> <span class="n">x</span><span class="p">);</span>                          <span class="c1">// (7) C++11</span>
 
-<span class="n">forward_list</span><span class="p">(</span><span class="k">const</span> <span class="n">forward_list</span><span class="o">&amp;</span> <span class="n">x</span><span class="p">,</span> <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span><span class="p">);</span> <span class="c1">// (8) C++11</span>
-<span class="n">forward_list</span><span class="p">(</span><span class="n">forward_list</span><span class="o">&amp;&amp;</span> <span class="n">x</span><span class="p">,</span> <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span><span class="p">);</span>      <span class="c1">// (9) C++11</span>
+<span class="n">forward_list</span><span class="p">(</span><span class="k">const</span> <span class="n">forward_list</span><span class="o">&amp;</span> <span class="n">x</span><span class="p">,</span> <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span><span class="p">);</span>            <span class="c1">// (8) C++11</span>
+<span class="n">forward_list</span><span class="p">(</span><span class="k">const</span> <span class="n">forward_list</span><span class="o">&amp;</span> <span class="n">x</span><span class="p">,</span>
+             <span class="k">const</span> <span class="n"><a href="../../type_traits/type_identity.html">type_identity_t</a></span><span class="o">&lt;</span><span class="n">Allocator</span><span class="o">&gt;&amp;</span> <span class="n">a</span><span class="p">);</span>                  <span class="c1">// (8) C++23</span>
+
+<span class="n">forward_list</span><span class="p">(</span><span class="n">forward_list</span><span class="o">&amp;&amp;</span> <span class="n">x</span><span class="p">,</span> <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span><span class="p">);</span>                <span class="c1">// (9) C++11</span>
+<span class="n">forward_list</span><span class="p">(</span><span class="n">forward_list</span><span class="o">&amp;&amp;</span> <span class="n">x</span><span class="p">,</span>
+             <span class="k">const</span> <span class="n"><a href="../../type_traits/type_identity.html">type_identity_t</a></span><span class="o">&lt;</span><span class="n">Allocator</span><span class="o">&gt;&amp;</span> <span class="n">a</span><span class="p">);</span>                  <span class="c1">// (9) C++23</span>
 
 <span class="n">forward_list</span><span class="p">(</span><span class="n"><a href="../../initializer_list/initializer_list.html">initializer_list</a></span><span class="o">&lt;</span><span class="n">T</span><span class="o">&gt;</span> <span class="n">il</span><span class="p">,</span>
              <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span> <span class="o">=</span> <span class="n">Allocator</span><span class="p">());</span>          <span class="c1">// (10) C++11</span>
@@ -319,6 +324,10 @@ <h2>備考</h2>
 </code></pre></div>
 </div></p>
 </li>
+<li>
+<p>C++23 では、(8) と (9) のアロケータパラメータの型が <code>const Allocator&amp;</code> から <code>const type_identity_t&lt;Allocator&gt;&amp;</code> に変更された。
+    これは、クラステンプレートのテンプレート引数推論 (CTAD) の際に、コピー/ムーブ元の <code>forward_list</code> から推論される <code>Allocator</code> と、アロケータ引数から推論される型が異なる場合に推論が失敗する問題を修正するためである。<code><a href="../../type_traits/type_identity.html">type_identity_t</a></code> で包むことで、アロケータ引数が非推論コンテキストとなり、アロケータの型はコピー/ムーブ元のみから推論されるようになる。</p>
+</li>
 </ul>
 <h2>例</h2>
 <p><div class="yata" id="4d7b9efc6d4043bdc35a7838d8dbe98999818860"><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>
@@ -405,6 +414,10 @@ <h2>参照</h2>
 <li><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2210" target="_blank">LWG 2210. Missing allocator-extended constructor for allocator-aware containers</a><br />
 <code>explicit forward_list(size_type n)</code> にアロケータ引数を追加するきっかけとなったレポート<br />
     なお、Discussion の例はアロケータの型が誤っているので注意</li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p1518r2.html" target="_blank">P1518R2 Stop Overconstraining Allocators in Container Deduction Guides</a><ul>
+<li>C++23でのアロケータ引数を<code>type_identity_t</code>で包む変更</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

reference/list/list/op_constructor.html

@@ -200,8 +200,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2025-07-08T15:33:39">
-        2025年07月08日 15時33分39秒
+      <span itemprop="datePublished" content="2026-02-17T03:19:01">
+        2026年02月17日 03時19分01秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -244,8 +244,12 @@
 
 <span class="n">list</span><span class="p">(</span><span class="k">const</span> <span class="n">list</span><span class="o">&amp;</span> <span class="n">x</span><span class="p">);</span>                             <span class="c1">// (6)</span>
 <span class="n">list</span><span class="p">(</span><span class="n">list</span><span class="o">&amp;&amp;</span> <span class="n">x</span><span class="p">);</span>                                  <span class="c1">// (7) C++11 から</span>
-<span class="n">list</span><span class="p">(</span><span class="k">const</span> <span class="n">list</span><span class="o">&amp;</span> <span class="n">x</span><span class="p">,</span> <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span><span class="p">);</span>         <span class="c1">// (8) C++11 から</span>
-<span class="n">list</span><span class="p">(</span><span class="n">list</span><span class="o">&amp;&amp;</span> <span class="n">x</span><span class="p">,</span> <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span><span class="p">);</span>              <span class="c1">// (9) C++11 から</span>
+<span class="n">list</span><span class="p">(</span><span class="k">const</span> <span class="n">list</span><span class="o">&amp;</span> <span class="n">x</span><span class="p">,</span> <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span><span class="p">);</span>                    <span class="c1">// (8) C++11</span>
+<span class="n">list</span><span class="p">(</span><span class="k">const</span> <span class="n">list</span><span class="o">&amp;</span> <span class="n">x</span><span class="p">,</span>
+     <span class="k">const</span> <span class="n"><a href="../../type_traits/type_identity.html">type_identity_t</a></span><span class="o">&lt;</span><span class="n">Allocator</span><span class="o">&gt;&amp;</span> <span class="n">a</span><span class="p">);</span>                  <span class="c1">// (8) C++23</span>
+
+<span class="n">list</span><span class="p">(</span><span class="n">list</span><span class="o">&amp;&amp;</span> <span class="n">x</span><span class="p">,</span> <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span><span class="p">);</span>                         <span class="c1">// (9) C++11</span>
+<span class="n">list</span><span class="p">(</span><span class="n">list</span><span class="o">&amp;&amp;</span> <span class="n">x</span><span class="p">,</span> <span class="k">const</span> <span class="n"><a href="../../type_traits/type_identity.html">type_identity_t</a></span><span class="o">&lt;</span><span class="n">Allocator</span><span class="o">&gt;&amp;</span> <span class="n">a</span><span class="p">);</span>        <span class="c1">// (9) C++23</span>
 
 <span class="n">list</span><span class="p">(</span><span class="n"><a href="../../initializer_list/initializer_list.html">initializer_list</a></span><span class="o">&lt;</span><span class="n">T</span><span class="o">&gt;</span> <span class="n">il</span><span class="p">,</span>
      <span class="k">const</span> <span class="n">Allocator</span><span class="o">&amp;</span> <span class="n">a</span> <span class="o">=</span> <span class="n">Allocator</span><span class="p">());</span>          <span class="c1">// (10) C++11 から</span>
@@ -314,6 +318,10 @@ <h2>備考</h2>
 </code></pre></div>
 </div></p>
 </li>
+<li>
+<p>C++23 では、(8) と (9) のアロケータパラメータの型が <code>const Allocator&amp;</code> から <code>const type_identity_t&lt;Allocator&gt;&amp;</code> に変更された。
+    これは、クラステンプレートのテンプレート引数推論 (CTAD) の際に、コピー/ムーブ元の <code>list</code> から推論される <code>Allocator</code> と、アロケータ引数から推論される型が異なる場合に推論が失敗する問題を修正するためである。<code><a href="../../type_traits/type_identity.html">type_identity_t</a></code> で包むことで、アロケータ引数が非推論コンテキストとなり、アロケータの型はコピー/ムーブ元のみから推論されるようになる。</p>
+</li>
 </ul>
 <h2>例</h2>
 <p><div class="yata" id="1096b9c17b5cb640c4196cc39d48ea23ab1e5525"><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>
@@ -383,6 +391,10 @@ <h2>参照</h2>
 <li><a href="http://cplusplus.github.io/LWG/lwg-defects.html#2210" target="_blank">LWG 2210. Missing allocator-extended constructor for allocator-aware containers</a><br />
 <code>explicit list(size_type n)</code> にアロケータ引数を追加するきっかけとなったレポート<br />
     なお、Discussion の例はアロケータの型が誤っているので注意</li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p1518r2.html" target="_blank">P1518R2 Stop Overconstraining Allocators in Container Deduction Guides</a><ul>
+<li>C++23でのアロケータ引数を<code>type_identity_t</code>で包む変更</li>
+</ul>
+</li>
 </ul></div>
 
       </div>