update automatically

Author: cpprefjp-autoupdate

lang/cpp20/concepts.html

@@ -189,12 +189,12 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-07-22T22:45:37+09:00">
-        2026年07月22日 22時45分37秒 (JST)
+            datetime="2026-07-30T00:18:32+09:00">
+        2026年07月30日 00時18分32秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">rotarymars</span>
+        <span itemprop="name">yoh</span>
       </span>
       が更新
     </small></p>
@@ -414,7 +414,7 @@ <h4>class / typenameの代わりにコンセプトを指定して制約する</h
 <span class="cp">#include <a href="../../reference/cassert.html">&lt;cassert&gt;</a></span>
 <span class="cp">#include <a href="../../reference/vector.html">&lt;vector&gt;</a></span>
 
-<span class="k">template</span><span class="w"> </span><span class="o">&lt;</span><span class="n"><a href="../../reference/concepts/constructible_from.html">std::constructible_from</a></span><span class="o">&lt;</span><span class="kt">int</span><span class="o">&gt;</span><span class="w"> </span><span class="n">T</span><span class="o">&gt;</span>
+<span class="k">template</span><span class="w"> </span><span class="o">&lt;</span><span class="n">std</span><span class="o">::</span><span class="n"><a href="../../reference/concepts/constructible_from.html">constructible_from</a></span><span class="o">&lt;</span><span class="kt">int</span><span class="o">&gt;</span><span class="w"> </span><span class="n">T</span><span class="o">&gt;</span>
 <span class="n">T</span><span class="w"> </span><span class="n">make_from_int</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">x</span><span class="p">)</span><span class="w"> </span><span class="p">{</span>
 <span class="w">  </span><span class="k">return</span><span class="w"> </span><span class="n">T</span><span class="p">(</span><span class="n">x</span><span class="p">);</span>
 <span class="p">}</span>
@@ -440,7 +440,7 @@ <h4>requires節を使用して制約する</h4>
 <span class="cp">#include <a href="../../reference/vector.html">&lt;vector&gt;</a></span>
 
 <span class="k">template</span><span class="w"> </span><span class="o">&lt;</span><span class="k">class</span><span class="w"> </span><span class="nc">T</span><span class="o">&gt;</span>
-<span class="k">requires</span><span class="w"> </span><span class="n"><a href="../../reference/concepts/constructible_from.html">std::constructible_from</a></span><span class="o">&lt;</span><span class="n">T</span><span class="p">,</span><span class="w"> </span><span class="kt">int</span><span class="o">&gt;</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="n"><a href="../../reference/concepts/move_constructible.html">std::move_constructible</a></span><span class="o">&lt;</span><span class="n">T</span><span class="o">&gt;</span>
+<span class="k">requires</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n"><a href="../../reference/concepts/constructible_from.html">constructible_from</a></span><span class="o">&lt;</span><span class="n">T</span><span class="p">,</span><span class="w"> </span><span class="kt">int</span><span class="o">&gt;</span><span class="w"> </span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="n"><a href="../../reference/concepts/move_constructible.html">std::move_constructible</a></span><span class="o">&lt;</span><span class="n">T</span><span class="o">&gt;</span>
 <span class="n">T</span><span class="w"> </span><span class="n">make_from_int</span><span class="p">(</span><span class="kt">int</span><span class="w"> </span><span class="n">x</span><span class="p">)</span><span class="w"> </span><span class="p">{</span>
 <span class="w">  </span><span class="k">return</span><span class="w"> </span><span class="n">T</span><span class="p">(</span><span class="n">x</span><span class="p">);</span>
 <span class="p">}</span>
@@ -1243,8 +1243,8 @@ <h4>auto変数、autoパラメータ、auto<a class="cpprefjp-defined-word" data
 <div class="codehilite"><pre><span></span><code><span class="c1">// <a href="../../reference/concepts/copy_constructible.html">std::copy_constructible</a>&lt;decltype(x)&gt;を意味する</span>
 <span class="kt">void</span><span class="w"> </span><span class="nf">f</span><span class="p">(</span><span class="n"><a href="../../reference/concepts/copy_constructible.html">std::copy_constructible</a></span><span class="w"> </span><span class="k">auto</span><span class="w"> </span><span class="n">x</span><span class="p">);</span>
 
-<span class="c1">// <a href="../../reference/concepts/constructible_from.html">std::constructible_from</a>&lt;decltype(x), int&gt;を意味する</span>
-<span class="kt">void</span><span class="w"> </span><span class="nf">g</span><span class="p">(</span><span class="n"><a href="../../reference/concepts/constructible_from.html">std::constructible_from</a></span><span class="o">&lt;</span><span class="kt">int</span><span class="o">&gt;</span><span class="w"> </span><span class="k">auto</span><span class="w"> </span><span class="n">x</span><span class="p">);</span>
+<span class="c1">// std::<a href="../../reference/concepts/constructible_from.html">constructible_from</a>&lt;decltype(x), int&gt;を意味する</span>
+<span class="kt">void</span><span class="w"> </span><span class="nf">g</span><span class="p">(</span><span class="n">std</span><span class="o">::</span><span class="n"><a href="../../reference/concepts/constructible_from.html">constructible_from</a></span><span class="o">&lt;</span><span class="kt">int</span><span class="o">&gt;</span><span class="w"> </span><span class="k">auto</span><span class="w"> </span><span class="n">x</span><span class="p">);</span>
 </code></pre></div>
 </p>
 </li>

reference/algorithm/ranges_fold_left_first.html

@@ -189,12 +189,12 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-01-05T18:09:29+09:00">
-        2026年01月05日 18時09分29秒 (JST)
+            datetime="2026-07-30T00:18:32+09:00">
+        2026年07月30日 00時18分32秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">Koichi Murase</span>
+        <span itemprop="name">yoh</span>
       </span>
       が更新
     </small></p>
@@ -359,7 +359,7 @@ <h3>出力</h3>
 <h2>実装例</h2>
 <p><div class="codehilite"><pre><span></span><code><span class="k">template</span><span class="o">&lt;</span><span class="n"><a href="../iterator/input_iterator.html">input_iterator</a></span><span class="w"> </span><span class="n">I</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="../iterator/sentinel_for.html">sentinel_for</a></span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span><span class="w"> </span><span class="n">S</span><span class="p">,</span>
 <span class="w">         </span><span class="n">indirectly</span><span class="o">-</span><span class="n">binary</span><span class="o">-</span><span class="n">left</span><span class="o">-</span><span class="n">foldable</span><span class="o">&lt;</span><span class="n"><a href="../iterator/iter_value_t.html">iter_value_t</a></span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span><span class="p">,</span><span class="w"> </span><span class="n">I</span><span class="o">&gt;</span><span class="w"> </span><span class="n">F</span><span class="o">&gt;</span>
-<span class="w">  </span><span class="k">requires</span><span class="w"> </span><span class="n">constructible_from</span><span class="o">&lt;</span><span class="n"><a href="../iterator/iter_value_t.html">iter_value_t</a></span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span><span class="p">,</span><span class="w"> </span><span class="n">iter_reference_t</span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;&gt;</span>
+<span class="w">  </span><span class="k">requires</span><span class="w"> </span><span class="n"><a href="../concepts/constructible_from.html">constructible_from</a></span><span class="o">&lt;</span><span class="n"><a href="../iterator/iter_value_t.html">iter_value_t</a></span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span><span class="p">,</span><span class="w"> </span><span class="n">iter_reference_t</span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;&gt;</span>
 <span class="k">constexpr</span><span class="w"> </span><span class="k">auto</span><span class="w"> </span><span class="n">fold_left_first</span><span class="p">(</span><span class="n">I</span><span class="w"> </span><span class="n">first</span><span class="p">,</span><span class="w"> </span><span class="n">S</span><span class="w"> </span><span class="n">last</span><span class="p">,</span><span class="w"> </span><span class="n">F</span><span class="w"> </span><span class="n">f</span><span class="p">)</span><span class="w"> </span><span class="p">{</span>
 <span class="w">  </span><span class="k">using</span><span class="w"> </span><span class="n">U</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="k">decltype</span><span class="p">(</span><span class="n">ranges</span><span class="o">::</span><span class="n">fold_left</span><span class="p">(</span><span class="n">std</span><span class="o">::</span><span class="n">move</span><span class="p">(</span><span class="n">first</span><span class="p">),</span><span class="w"> </span><span class="n">last</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="../iterator/iter_value_t.html">iter_value_t</a></span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span><span class="p">(</span><span class="o">*</span><span class="n">first</span><span class="p">),</span><span class="w"> </span><span class="n">f</span><span class="p">));</span>
 

reference/algorithm/ranges_fold_left_first_with_iter.html

@@ -189,12 +189,12 @@
     <p class="text-right"><small>
       最終更新日時:
       <time itemprop="datePublished" class="js-local-time"
-            datetime="2026-01-05T18:09:29+09:00">
-        2026年01月05日 18時09分29秒 (JST)
+            datetime="2026-07-30T00:18:32+09:00">
+        2026年07月30日 00時18分32秒 (JST)
       </time>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
-        <span itemprop="name">Koichi Murase</span>
+        <span itemprop="name">yoh</span>
       </span>
       が更新
     </small></p>
@@ -299,13 +299,13 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価
 <p><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a>型はそれぞれ、<code>U</code>を次の様に<code><a href="ranges_in_value_result.html">fold_left_first_with_iter_result</a></code>の2つ目の引数に当てはめた型となる</p>
 <p><div class="codehilite"><pre><span></span><code><span class="k">template</span><span class="o">&lt;</span><span class="n"><a href="../iterator/input_iterator.html">input_iterator</a></span><span class="w"> </span><span class="n">I</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="../iterator/sentinel_for.html">sentinel_for</a></span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span><span class="w"> </span><span class="n">S</span><span class="p">,</span>
 <span class="w">         </span><span class="n">indirectly</span><span class="o">-</span><span class="n">binary</span><span class="o">-</span><span class="n">left</span><span class="o">-</span><span class="n">foldable</span><span class="o">&lt;</span><span class="n"><a href="../iterator/iter_value_t.html">iter_value_t</a></span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span><span class="p">,</span><span class="w"> </span><span class="n">I</span><span class="o">&gt;</span><span class="w"> </span><span class="n">F</span><span class="o">&gt;</span>
-<span class="w">  </span><span class="k">requires</span><span class="w"> </span><span class="n">constructible_from</span><span class="o">&lt;</span><span class="n"><a href="../iterator/iter_value_t.html">iter_value_t</a></span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span><span class="p">,</span><span class="w"> </span><span class="n">iter_reference_t</span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;&gt;</span>
+<span class="w">  </span><span class="k">requires</span><span class="w"> </span><span class="n"><a href="../concepts/constructible_from.html">constructible_from</a></span><span class="o">&lt;</span><span class="n"><a href="../iterator/iter_value_t.html">iter_value_t</a></span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span><span class="p">,</span><span class="w"> </span><span class="n">iter_reference_t</span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;&gt;</span>
 <span class="k">constexpr</span><span class="w"> </span><span class="n"><a href="ranges_in_value_result.html">fold_left_first_with_iter_result</a></span><span class="o">&lt;</span><span class="n">I</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="../optional/optional.html">optional</a></span><span class="o">&lt;</span><span class="n">U</span><span class="o">&gt;&gt;</span>
 <span class="w">  </span><span class="n">fold_left_first_with_iter</span><span class="p">(</span><span class="n">I</span><span class="w"> </span><span class="n">first</span><span class="p">,</span><span class="w"> </span><span class="n">S</span><span class="w"> </span><span class="n">last</span><span class="p">,</span><span class="w"> </span><span class="n">F</span><span class="w"> </span><span class="n">f</span><span class="p">);</span>
 
 <span class="k">template</span><span class="o">&lt;</span><span class="n"><a href="../ranges/input_range.html">input_range</a></span><span class="w"> </span><span class="n">R</span><span class="p">,</span>
 <span class="w">         </span><span class="n">indirectly</span><span class="o">-</span><span class="n">binary</span><span class="o">-</span><span class="n">left</span><span class="o">-</span><span class="n">foldable</span><span class="o">&lt;</span><span class="n"><a href="../ranges/range_value_t.html">range_value_t</a></span><span class="o">&lt;</span><span class="n">R</span><span class="o">&gt;</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="../ranges/iterator_t.html">iterator_t</a></span><span class="o">&lt;</span><span class="n">R</span><span class="o">&gt;&gt;</span><span class="w"> </span><span class="n">F</span><span class="o">&gt;</span>
-<span class="w">  </span><span class="k">requires</span><span class="w"> </span><span class="n">constructible_from</span><span class="o">&lt;</span><span class="n"><a href="../ranges/range_value_t.html">range_value_t</a></span><span class="o">&lt;</span><span class="n">R</span><span class="o">&gt;</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="../ranges/range_reference_t.html">range_reference_t</a></span><span class="o">&lt;</span><span class="n">R</span><span class="o">&gt;&gt;</span>
+<span class="w">  </span><span class="k">requires</span><span class="w"> </span><span class="n"><a href="../concepts/constructible_from.html">constructible_from</a></span><span class="o">&lt;</span><span class="n"><a href="../ranges/range_value_t.html">range_value_t</a></span><span class="o">&lt;</span><span class="n">R</span><span class="o">&gt;</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="../ranges/range_reference_t.html">range_reference_t</a></span><span class="o">&lt;</span><span class="n">R</span><span class="o">&gt;&gt;</span>
 <span class="k">constexpr</span><span class="w"> </span><span class="n"><a href="ranges_in_value_result.html">fold_left_first_with_iter_result</a></span><span class="o">&lt;</span><span class="n"><a href="../ranges/borrowed_iterator_t.html">borrowed_iterator_t</a></span><span class="o">&lt;</span><span class="n">R</span><span class="o">&gt;</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="../optional/optional.html">optional</a></span><span class="o">&lt;</span><span class="n">U</span><span class="o">&gt;&gt;</span>
 <span class="w">  </span><span class="n">fold_left_first_with_iter</span><span class="p">(</span><span class="n">R</span><span class="o">&amp;&amp;</span><span class="w"> </span><span class="n">r</span><span class="p">,</span><span class="w"> </span><span class="n">F</span><span class="w"> </span><span class="n">f</span><span class="p">);</span>
 </code></pre></div>
@@ -421,7 +421,7 @@ <h2>実装例</h2>
 
 <span class="k">template</span><span class="o">&lt;</span><span class="n"><a href="../iterator/input_iterator.html">input_iterator</a></span><span class="w"> </span><span class="n">I</span><span class="p">,</span><span class="w"> </span><span class="n"><a href="../iterator/sentinel_for.html">sentinel_for</a></span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span><span class="w"> </span><span class="n">S</span><span class="p">,</span>
 <span class="w">         </span><span class="n">indirectly</span><span class="o">-</span><span class="n">binary</span><span class="o">-</span><span class="n">left</span><span class="o">-</span><span class="n">foldable</span><span class="o">&lt;</span><span class="n"><a href="../iterator/iter_value_t.html">iter_value_t</a></span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span><span class="p">,</span><span class="w"> </span><span class="n">I</span><span class="o">&gt;</span><span class="w"> </span><span class="n">F</span><span class="o">&gt;</span>
-<span class="w">  </span><span class="k">requires</span><span class="w"> </span><span class="n">constructible_from</span><span class="o">&lt;</span><span class="n"><a href="../iterator/iter_value_t.html">iter_value_t</a></span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span><span class="p">,</span><span class="w"> </span><span class="n">iter_reference_t</span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;&gt;</span>
+<span class="w">  </span><span class="k">requires</span><span class="w"> </span><span class="n"><a href="../concepts/constructible_from.html">constructible_from</a></span><span class="o">&lt;</span><span class="n"><a href="../iterator/iter_value_t.html">iter_value_t</a></span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;</span><span class="p">,</span><span class="w"> </span><span class="n">iter_reference_t</span><span class="o">&lt;</span><span class="n">I</span><span class="o">&gt;&gt;</span>
 <span class="k">constexpr</span><span class="w"> </span><span class="k">auto</span><span class="w"> </span><span class="n">fold_left_first_with_iter</span><span class="p">(</span><span class="n">I</span><span class="w"> </span><span class="n">first</span><span class="p">,</span><span class="w"> </span><span class="n">S</span><span class="w"> </span><span class="n">last</span><span class="p">,</span><span class="w"> </span><span class="n">F</span><span class="w"> </span><span class="n">f</span><span class="p">)</span>
 <span class="w">  </span><span class="o">-&gt;</span><span class="w"> </span><span class="n">fold_left_first_with_iter_result</span><span class="o">&lt;</span><span class="n">I</span><span class="p">,</span><span class="w"> </span><span class="n">optional</span><span class="o">&lt;</span><span class="n">R</span><span class="o">&lt;</span><span class="n">F</span><span class="p">,</span><span class="w"> </span><span class="n">I</span><span class="o">&gt;&gt;&gt;</span>
 <span class="p">{</span>