update automatically

Author: cpprefjp-autoupdate

reference/chrono/make24.html

@@ -239,7 +239,7 @@ <h2>例</h2>
   <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="nb">false</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">0h</a></span><span class="p">);</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="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">12h</a></span><span class="p">);</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="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="mi">1</span><span class="n"><a href="duration/op_h.html">3h</a></span><span class="p">);</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="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="mf">1F</span><span class="n">agqWNvhCOITGxvFgiRSipHEnVToLnLH</span><span class="p">);</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="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">15h</a></span><span class="p">);</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="nb">true</span><span class="p">)</span> <span class="o">==</span> <span class="n"><a href="duration/op_h.html">23h</a></span><span class="p">);</span>
 <span class="p">}</span>

reference/mdspan/layout_left/mapping/submdspan_mapping.html

@@ -212,8 +212,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-07-29T13:39:29">
-        2024年07月29日 13時39分29秒
+      <span itemprop="datePublished" content="2024-12-09T15:06:18">
+        2024年12月09日 15時06分18秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -285,20 +285,26 @@ <h2>戻り値</h2>
 <li>パラメータパック<code>P</code> : <code><a href="../../../type_traits/is_same.html">is_same_v</a>&lt;<a href="../../../utility/make_index_sequence.html">make_index_sequence</a>&lt;rank()&gt;, <a href="../../../utility/index_sequence.html">index_sequence</a>&lt;P...&gt;&gt; == true</code></li>
 <li>値<code>offset</code> : <code>size_t</code>型の値<code><a href="op_call.html">(*this)</a>(<a href="../../first_.html">first_</a>&lt;index_type, P&gt;(slices...)...)</code></li>
 </ul>
+<p>下記を満たす型<code>S</code>を、単位ストライド幅スライス(unit-stride slice)と定義する。</p>
+<ul>
+<li>型<code>S</code>が<code><a href="../../strided_slice.html">strided_slice</a></code>の特殊化であり型<code>S::stride_type</code>が<code><a href="../../../span/integral-constant-like.html">integral-constant-like</a></code>のモデルかつ<code>S::stride_type::value</code>が<code>1</code>に等しい、もしくは</li>
+<li>型<code>S</code>が<code><a href="../../index-pair-like.html">index-pair-like</a>&lt;index_type&gt;</code>のモデル、もしくは</li>
+<li><code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>が<code>true</code></li>
+</ul>
 <p>説明専用の<code>submdspan-mapping-impl</code>関数テンプレートは下記の値を返す。</p>
 <ul>
 <li><code><a href="../../extents/rank.html">Extents::rank()</a> == 0</code>のとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{*this, 0}</code></li>
 <li><code>SubExtents::rank() == 0</code>のとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{<a href="../../layout_left.html">layout_left::mapping</a>(sub_ext), offset}</code></li>
 <li>以下を満たすとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{<a href="../../layout_left.html">layout_left::mapping</a>(sub_ext), offset}</code><ul>
 <li>半開区間<code>[0, SubExtents::rank()-1)</code>の値<code>k</code>に対して、<code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S_k, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>が<code>true</code>、かつ</li>
-<li><code>SubExtents::rank()-1</code>に等しい値<code>k</code>に対して、型<code>S_k</code>が<code><a href="../../index-pair-like.html">index-pair-like</a>&lt;index_type&gt;</code>のモデルもしくは<code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S_k, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>が<code>true</code></li>
+<li><code>SubExtents::rank()-1</code>に等しい値<code>k</code>に対して、型<code>S_k</code>が単位ストライド幅スライスである</li>
 </ul>
 </li>
 <li>以下を満たすとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{<a href="../../layout_left_padded/mapping.html">layout_left_padded&lt;S_static&gt;::mapping</a>(sub_ext, stride(u + 1)), offset}</code><ul>
-<li>型<code>S_p</code>が<code><a href="../../index-pair-like.html">index-pair-like</a>&lt;index_type&gt;</code>のモデルもしくは<code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S_k, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>が<code>true</code>を満たす<code>0</code>より大きい最小値<code>p</code>に対して、<code>u+1</code>が<code>p</code>となる値<code>u</code>を用いて<ul>
-<li>型<code>S_0</code>が<code><a href="../../index-pair-like.html">index-pair-like</a>&lt;index_type&gt;</code>のモデルもしくは<code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S_0, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>が<code>true</code>、かつ</li>
+<li>型<code>S_p</code>が単位ストライド幅スライスを満たす<code>0</code>より大きい最小値<code>p</code>に対して、<code>u+1</code>が<code>p</code>となる値<code>u</code>を用いて<ul>
+<li>型<code>S_0</code>が単位ストライド幅スライスであり、かつ</li>
 <li>半開区間<code>[u+1, u+SubExtents::rank()-1)</code>の値<code>k</code>に対して、<code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S_k, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>、かつ</li>
-<li><code>u+SubExtents::rank()-1</code>に等しい値<code>k</code>に対して、型<code>S_k</code>が<code><a href="../../index-pair-like.html">index-pair-like</a>&lt;index_type&gt;</code>のモデルもしくは<code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S_k, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>が<code>true</code></li>
+<li><code>u+SubExtents::rank()-1</code>に等しい値<code>k</code>に対して、型<code>S_k</code>が単位ストライド幅スライスである</li>
 </ul>
 </li>
 <li>ここで定数<code>S_static</code>は<ul>
@@ -330,6 +336,7 @@ <h2>参照</h2>
 <ul>
 <li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2630r4.html" target="_blank">P2630R4 Submdspan</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2642r6.pdf" target="_blank">P2642R6 Padded mdspan layouts</a></li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3355r1.html" target="_blank">P3355R1 Fix submdspan for C++26</a></li>
 </ul></div>
 
       </div>

reference/mdspan/layout_left_padded/mapping/submdspan_mapping.html

@@ -212,8 +212,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-09-05T10:41:09">
-        2024年09月05日 10時41分09秒
+      <span itemprop="datePublished" content="2024-12-09T15:06:18">
+        2024年12月09日 15時06分18秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -285,20 +285,26 @@ <h2>戻り値</h2>
 <li>パラメータパック<code>P</code> : <code><a href="../../../type_traits/is_same.html">is_same_v</a>&lt;<a href="../../../utility/make_index_sequence.html">make_index_sequence</a>&lt;rank()&gt;, <a href="../../../utility/index_sequence.html">index_sequence</a>&lt;P...&gt;&gt; == true</code></li>
 <li>値<code>offset</code> : <code>size_t</code>型の値<code><a href="op_call.html">(*this)</a>(<a href="../../first_.html">first_</a>&lt;index_type, P&gt;(slices...)...)</code></li>
 </ul>
+<p>下記を満たす型<code>S</code>を、単位ストライド幅スライス(unit-stride slice)と定義する。</p>
+<ul>
+<li>型<code>S</code>が<code><a href="../../strided_slice.html">strided_slice</a></code>の特殊化であり型<code>S::stride_type</code>が<code><a href="../../../span/integral-constant-like.html">integral-constant-like</a></code>のモデルかつ<code>S::stride_type::value</code>が<code>1</code>に等しい、もしくは</li>
+<li>型<code>S</code>が<code><a href="../../index-pair-like.html">index-pair-like</a>&lt;index_type&gt;</code>のモデル、もしくは</li>
+<li><code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>が<code>true</code></li>
+</ul>
 <p>説明専用の<code>submdspan-mapping-impl</code>関数テンプレートは下記の値を返す。</p>
 <ul>
 <li><code><a href="../../extents/rank.html">Extents::rank()</a> == 0</code>のとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{*this, 0}</code></li>
 <li><code>rank_ == 1</code>または<code>SubExtents::rank() == 0</code>のとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{<a href="../../layout_left.html">layout_left::mapping</a>(sub_ext), offset}</code></li>
 <li>以下を満たすとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{<a href="../../layout_left.html">layout_left::mapping</a>(sub_ext), offset}</code><ul>
 <li><code>SubExtents::rank() == 1</code>、かつ</li>
-<li>型<code>S_0</code>が<code><a href="../../index-pair-like.html">index-pair-like</a>&lt;index_type&gt;</code>のモデルもしくは<code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S_0, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>が<code>true</code></li>
+<li>型<code>S_0</code>が単位ストライド幅スライスである</li>
 </ul>
 </li>
 <li>以下を満たすとき、<code><a href="../../submdspan_mapping_result.html">submdspan_mapping_result</a>{layout_left_padded&lt;S_static&gt;::mapping(sub_ext, stride(u + 1)), offset}</code><ul>
-<li>型<code>S_p</code>が<code><a href="../../index-pair-like.html">index-pair-like</a>&lt;index_type&gt;</code>のモデルもしくは<code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S_k, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>が<code>true</code>を満たす<code>0</code>より大きい最小値<code>p</code>に対して、<code>u+1</code>が<code>p</code>となる値<code>u</code>を用いて<ul>
-<li>型<code>S_0</code>が<code><a href="../../index-pair-like.html">index-pair-like</a>&lt;index_type&gt;</code>のモデルもしくは<code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S_0, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>が<code>true</code>、かつ</li>
+<li>型<code>S_p</code>が単位ストライド幅スライスを満たす<code>0</code>より大きい最小値<code>p</code>に対して、<code>u+1</code>が<code>p</code>となる値<code>u</code>を用いて<ul>
+<li>型<code>S_0</code>が単位ストライド幅スライスであり、かつ</li>
 <li>半開区間<code>[u+1, u+SubExtents::rank()-1)</code>の値<code>k</code>に対して、<code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S_k, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>、かつ</li>
-<li><code>u+SubExtents::rank()-1</code>に等しい値<code>k</code>に対して、型<code>S_k</code>が<code><a href="../../index-pair-like.html">index-pair-like</a>&lt;index_type&gt;</code>のモデルもしくは<code><a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;S_k, <a href="../../full_extent_t.html">full_extent_t</a>&gt;</code>が<code>true</code></li>
+<li><code>u+SubExtents::rank()-1</code>に等しい値<code>k</code>に対して、型<code>S_k</code>が単位ストライド幅スライスである</li>
 </ul>
 </li>
 <li>ここで定数<code>S_static</code>は<ul>
@@ -330,6 +336,7 @@ <h2>参照</h2>
 <ul>
 <li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2630r4.html" target="_blank">P2630R4 Submdspan</a></li>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2642r6.pdf" target="_blank">P2642R6 Padded mdspan layouts</a></li>
+<li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p3355r1.html" target="_blank">P3355R1 Fix submdspan for C++26</a></li>
 </ul></div>
 
       </div>