update automatically

Author: cpprefjp-autoupdate

reference/chrono/make24.html

@@ -239,7 +239,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">vaxpSgJVpqZivjKkXpRJHvKosDOAvrX</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">1</span><span class="n"><a href="duration/op_h.html">3h</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">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/ranges/as_const_view.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-05-21T06:03:06">
-        2026年05月21日 06時03分06秒
+      <span itemprop="datePublished" content="2026-05-22T02:42:20">
+        2026年05月22日 02時42分20秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -270,6 +270,7 @@ <h2>効果</h2>
 <li>(2): 式<code>views::as_const(E)</code>の効果は次のいずれか（<code>T = decltype((E))</code>、<code>U = remove_cvref_t&lt;T&gt;</code>とする）<ul>
 <li><code>views::all_t&lt;T&gt;</code>が<code>constant_range</code>のモデルとなる場合 : <code>views::all(E)</code></li>
 <li>任意の型<code>X</code>に対して、<code>U</code>が<code>empty_view&lt;X&gt;</code>である場合 : <code>auto(views::empty&lt;const X&gt;)</code></li>
+<li>C++26 : 任意の型<code>X</code>に対して、<code>U</code>が<code><a href="../optional/optional.html">optional</a>&lt;X&amp;&gt;</code>である場合 : <code><a href="../optional/optional.html">optional</a>&lt;const X&amp;&gt;(E)</code></li>
 <li>任意の型<code>X</code>と整数値<code>Extent</code>に対して、<code>U</code>が<code>span&lt;X, Extent&gt;</code>である場合 : <code>span&lt;const X, Extent&gt;(E)</code></li>
 <li>任意の型<code>X</code>に対して、<code>U</code>が<code>ref_view&lt;X&gt;</code>であり、<code>const X</code>が<code>constant_range</code>のモデルとなる場合 : <code>ref_view(static_cast&lt;const X&amp;&gt;(E.base()))</code></li>
 <li><code>E</code>が左辺値であり、<code>const U</code>が<code>constant_range</code>のモデルとなり、かつ<code>U</code>は<code>view</code>のモデルとならない場合 : <code>ref_view(static_cast&lt;const U&amp;&gt;(E))</code></li>
@@ -417,6 +418,10 @@ <h3>処理系</h3>
 <h2>参照</h2>
 <ul>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2278r4.html" target="_blank">P2278R4 <code>cbegin</code> should always return a constant iterator</a></li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3913r1.pdf" target="_blank">P3913R1 Optimize for <code>std::optional</code> in range adaptors</a><ul>
+<li>C++26で、入力が<code><a href="../optional/optional.html">optional</a>&lt;X&amp;&gt;</code>の場合の特殊化を追加</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

reference/ranges/drop_view.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-05-21T06:03:06">
-        2026年05月21日 06時03分06秒
+      <span itemprop="datePublished" content="2026-05-22T02:42:20">
+        2026年05月22日 02時42分20秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -274,6 +274,7 @@ <h2>効果</h2>
 <li>(2): <code>E</code>および<code>F</code>を式、型<code>T</code>を<code><a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;<a href="../../lang/cpp11/decltype.html">decltype</a>((E))&gt;</code>、型<code>D</code>を<code><a href="range_difference_t.html">range_difference_t</a>&lt;<a href="../../lang/cpp11/decltype.html">decltype</a>((E))&gt;</code>とする。式<code>views::drop(E, F)</code>の効果は以下の通り<ul>
 <li><code><a href="../../lang/cpp11/decltype.html">decltype</a>((F))</code>が<code><a href="../concepts/convertible_to.html">convertible_to</a>&lt;D&gt;</code>のモデルでなければ、呼び出しは<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../implementation-compliance.html#dfn-ill-formed">不適格</a></li>
 <li><code>T</code>が<code><a href="empty_view.html">ranges::empty_view</a></code>の特殊化であれば、<code>((void) F, <a href="../exposition-only/decay-copy.html">decay-copy</a>(E))</code>と等しい。ただし、<code>E</code>と<code>F</code>の評価順序は不定順で序列化(indeterminately sequenced)される</li>
+<li>C++26 : <code>T</code>が<code><a href="../optional/optional.html">std::optional</a></code>の特殊化で<code><a href="view.html">view</a></code>のモデルであれば、<code>F</code>が0と等しいとき<code><a href="../exposition-only/decay-copy.html">decay-copy</a>(E)</code>、そうでないとき空の<code>T()</code>と等しい</li>
 <li><code>T</code>が<code><a href="random_access_range.html">random_access_range</a></code>および<code><a href="sized_range.html">sized_range</a></code>のモデルであり、かつ次のいずれかの特殊化であるとき、<code>T(<a href="begin.html">ranges::begin</a>(E) + <a href="../algorithm/min.html">min</a>&lt;D&gt;(<a href="size.html">ranges::size</a>(E), F), <a href="end.html">ranges::end</a>(E))</code>と等しい。ただし、<code>E</code>は1度だけ評価される<ul>
 <li><code><a href="../span/span.html">span</a></code> (ただし、<code>T::extent == <a href="../span/dynamic_extent.html">dynamic_extent</a></code>であること)</li>
 <li><code><a href="../string_view/basic_string_view.html">basic_string_view</a></code></li>
@@ -433,6 +434,10 @@ <h2>参照</h2>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2367r0.html" target="_blank">P2367R0 Remove misuses of list-initialization from Clause 24</a> (本提案文書はC++20に遡って適用されている)</li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2393r1.html" target="_blank">P2393R1 Cleaning up integer-class types</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2017r1.html" target="_blank">P2017R1 Conditionally borrowed ranges</a></li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3913r1.pdf" target="_blank">P3913R1 Optimize for <code>std::optional</code> in range adaptors</a><ul>
+<li>C++26で、入力が<code><a href="../optional/optional.html">std::optional</a></code>の場合の特殊化を追加</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

reference/ranges/reverse_view.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-05-21T06:03:06">
-        2026年05月21日 06時03分06秒
+      <span itemprop="datePublished" content="2026-05-22T02:42:20">
+        2026年05月22日 02時42分20秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -272,6 +272,7 @@ <h2>効果</h2>
 <ul>
 <li>(2): 式<code>views::reverse(E)</code>の効果は次の通り<ul>
 <li><code>E</code>の型が<code>reverse_view</code>の特殊化であれば、<code>E.base()</code>と等しい (<a class="cpprefjp-defined-word" data-desc="型をconstおよび・もしくはvolatileで修飾すること">CV修飾</a>されている場合を含む)</li>
+<li>C++26 : <code>E</code>の型が<code><a href="../optional/optional.html">std::optional</a></code>の特殊化で<code><a href="view.html">view</a></code>のモデルであれば、<code><a href="../exposition-only/decay-copy.html">decay-copy</a>(E)</code>と等しい (要素数が0または1のため反転の必要がない)</li>
 <li>イテレータ型<code>I</code>、<code><a href="subrange_kind.html">subrange_kind</a></code>の値<code>K</code>に対し、<code>E</code>の型が<a class="cpprefjp-defined-word" data-desc="型をconstおよび・もしくはvolatileで修飾すること">CV修飾</a>された<code><a href="subrange.html">subrange</a>&lt;<a href="../iterator/reverse_iterator.html">reverse_iterator</a>&lt;I&gt;, <a href="../iterator/reverse_iterator.html">reverse_iterator</a>&lt;I&gt;, K&gt;</code>であるとする。このとき、<code>E</code>は一度しか評価されないとして、<ul>
 <li><code>K</code>が<code><a href="subrange_kind.html">subrange_kind::sized</a></code>であれば、<code><a href="subrange.html">subrange</a>&lt;I, I, K&gt;(E.end().base(), E.begin().base(), E.size())</code>と等しい</li>
 <li>それ以外のとき、<code><a href="subrange.html">subrange</a>&lt;I, I, K&gt;(E.end().base(), E.begin().base())</code>と等しい</li>
@@ -484,6 +485,10 @@ <h2>参照</h2>
 <li><a href="https://timsong-cpp.github.io/cppwp/n4861/ranges" target="_blank">N4861 24 Ranges library</a></li>
 <li><a href="https://techbookfest.org/product/5134506308665344" target="_blank">C++20 ranges</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2017r1.html" target="_blank">P2017R1 Conditionally borrowed ranges</a></li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3913r1.pdf" target="_blank">P3913R1 Optimize for <code>std::optional</code> in range adaptors</a><ul>
+<li>C++26で、入力が<code><a href="../optional/optional.html">std::optional</a></code>の場合の特殊化を追加</li>
+</ul>
+</li>
 </ul></div>
 
       </div>

reference/ranges/take_view.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-05-21T06:03:06">
-        2026年05月21日 06時03分06秒
+      <span itemprop="datePublished" content="2026-05-22T02:42:20">
+        2026年05月22日 02時42分20秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -274,6 +274,7 @@ <h2>効果</h2>
 <li>(2): <code>E</code>および<code>F</code>を式、型<code>T</code>を<code><a href="../type_traits/remove_cvref.html">remove_cvref_t</a>&lt;<a href="../../lang/cpp11/decltype.html">decltype</a>((E))&gt;</code>、型<code>D</code>を<code><a href="range_difference_t.html">range_difference_t</a>&lt;<a href="../../lang/cpp11/decltype.html">decltype</a>((E))&gt;</code>とする。式<code>views::take(E, F)</code>の効果は以下の通り<ul>
 <li><code><a href="../../lang/cpp11/decltype.html">decltype</a>((F))</code>が<code><a href="../concepts/convertible_to.html">convertible_to</a>&lt;D&gt;</code>のモデルでなければ、呼び出しは<a class="cpprefjp-defined-word" data-desc="プログラムが適格でないこと。コンパイルエラーなどになる" href="../../implementation-compliance.html#dfn-ill-formed">不適格</a></li>
 <li><code>T</code>が<code><a href="empty_view.html">ranges::empty_view</a></code>の特殊化であれば、<code>((void) F, <a href="../exposition-only/decay-copy.html">decay-copy</a>(E))</code>と等しい。ただし、<code>E</code>と<code>F</code>の評価順序は不定順で序列化(indeterminately sequenced)される</li>
+<li>C++26 : <code>T</code>が<code><a href="../optional/optional.html">std::optional</a></code>の特殊化で<code><a href="view.html">view</a></code>のモデルであれば、<code>F</code>が0と等しいとき空の<code>T()</code>、そうでないとき<code><a href="../exposition-only/decay-copy.html">decay-copy</a>(E)</code>と等しい</li>
 <li><code>T</code>が<code><a href="random_access_range.html">random_access_range</a></code>および<code><a href="sized_range.html">sized_range</a></code>のモデルであり、かつ次のいずれかの特殊化であるとき、<code>T(<a href="begin.html">ranges::begin</a>(E), <a href="begin.html">ranges::begin</a>(E) + <a href="../algorithm/min.html">min</a>&lt;D&gt;(<a href="size.html">ranges::size</a>(E), F))</code>と等しい。ただし、<code>E</code>は1度だけ評価される<ul>
 <li><code><a href="../span/span.html">span</a></code> (ただし、<code>T::extent == <a href="../span/dynamic_extent.html">dynamic_extent</a></code>であること)</li>
 <li><code><a href="../string_view/basic_string_view.html">basic_string_view</a></code></li>
@@ -495,6 +496,10 @@ <h2>参照</h2>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2393r1.html" target="_blank">P2393R1 Cleaning up integer-class types</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2406r2.html" target="_blank">P2406R2 Add <code>lazy_counted_iterator</code></a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2017r1.html" target="_blank">P2017R1 Conditionally borrowed ranges</a></li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3913r1.pdf" target="_blank">P3913R1 Optimize for <code>std::optional</code> in range adaptors</a><ul>
+<li>C++26で、入力が<code><a href="../optional/optional.html">std::optional</a></code>の場合の特殊化を追加</li>
+</ul>
+</li>
 </ul></div>
 
       </div>