update automatically

Author: cpprefjp-autoupdate

reference/mdspan/layout_left/mapping/op_constructor.html

@@ -212,8 +212,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-07-28T13:32:33">
-        2024年07月28日 13時32分33秒
+      <span itemprop="datePublished" content="2024-07-29T06:21:10">
+        2024年07月29日 06時21分10秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -287,19 +287,18 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数であればオーバー
 </ul>
 <h2><a class="cpprefjp-defined-word" data-desc="満たさなければプログラムが不適格となる要件。`static_assert`や関数のdelete宣言などに相当する">適格要件</a></h2>
 <ul>
-<li>(7) : 以下を満たすとき、<code>extents_type::<a href="../../extents/static_extent.html">static_extent</a>(0)</code>が<code>LayoutLeftPaddedMapping::padding_stride</code>の倍数であること。<ul>
+<li>(7) : 以下を満たすとき、<code>extents_type::<a href="../../extents/static_extent.html">static_extent</a>(0)</code>が<code><a href="../../layout_left_padded/mapping.html">LayoutLeftPaddedMapping::static-padding-stride</a></code>に等しいこと。<ul>
 <li><code>extents_type::<a href="../../extents/rank.html">rank()</a> &gt; 1</code>、かつ</li>
 <li><code>extents_type::<a href="../../extents/static_extent.html">static_extent</a>(0)</code>が<code><a href="../../../span/dynamic_extent.html">dynamic_extent</a></code>と等しくなく、かつ</li>
-<li><code>LayoutLeftPaddedMapping::extents_type::<a href="../../extents/static_extent.html">static_extent</a>(0)</code>が<code><a href="../../../span/dynamic_extent.html">dynamic_extent</a></code>と等しくなく、かつ</li>
-<li><code>LayoutLeftPaddedMapping::padding_stride</code>が<code><a href="../../../span/dynamic_extent.html">dynamic_extent</a></code>と等しくないこと。</li>
+<li><code>LayoutLeftPaddedMapping::static-padding-stride</code>が<code><a href="../../../span/dynamic_extent.html">dynamic_extent</a></code>と等しくないとき。</li>
 </ul>
 </li>
 </ul>
 <h2>事前条件</h2>
 <ul>
 <li>(3) : <code>e</code>の多次元インデクス空間のサイズを、<code>index_type</code>型で表現できること。</li>
 <li>(4) : <code>other.<a href="required_span_size.html">required_span_size()</a></code>を、<code>index_type</code>型で表現できること。</li>
-<li>(5) : <code>other.<a href="required_span_size.html">required_span_size()</a></code>を、<code>index_type</code>型で表現できること。</li>
+<li>(5) : <code>other.<a href="../../layout_right/mapping/required_span_size.html">required_span_size()</a></code>を、<code>index_type</code>型で表現できること。</li>
 <li>(6) :<ul>
 <li><code>extents_type::<a href="../../extents/rank.html">rank()</a> &gt; 0</code>のとき、<code>other</code>における全次元のストライド幅が<a href="stride.html"><code>layout_left::mapping</code>相当の制約</a>をもつこと。</li>
 <li><code>other.<a href="../../layout_stride/mapping/required_span_size.html">required_span_size()</a></code>を、<code>index_type</code>型で表現できること。</li>

reference/mdspan/layout_right/mapping/op_constructor.html

@@ -212,8 +212,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-01-21T01:52:48">
-        2024年01月21日 01時52分48秒
+      <span itemprop="datePublished" content="2024-07-29T06:21:10">
+        2024年07月29日 06時21分10秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -251,6 +251,10 @@
 <span class="k">constexpr</span> <span class="k">explicit</span><span class="p">(</span><span class="o">!</span><span class="n"><a href="../../../type_traits/is_convertible.html">is_convertible_v</a></span><span class="o">&lt;</span><span class="n">OtherExtents</span><span class="p">,</span> <span class="n">extents_type</span><span class="o">&gt;</span><span class="p">)</span>
   <span class="n">mapping</span><span class="p">(</span><span class="k">const</span> <span class="n"><a href="../../layout_left/mapping.html">layout_left::mapping</a></span><span class="o">&lt;</span><span class="n">OtherExtents</span><span class="o">&gt;&amp;</span> <span class="n">other</span><span class="p">)</span> <span class="k">noexcept</span><span class="p">;</span>  <span class="c1">// (5)</span>
 
+<span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc"><a href="../../layout_right_padded/mapping.html">LayoutRightPaddedMapping</a></span><span class="o">&gt;</span>
+<span class="k">constexpr</span> <span class="k">explicit</span><span class="p">(</span><span class="o">!</span><span class="n"><a href="../../../type_traits/is_convertible.html">is_convertible_v</a></span><span class="o">&lt;</span><span class="k">typename</span> <span class="n"><a href="../../layout_right_padded/mapping.html">LayoutRightPaddedMapping</a></span><span class="o">::</span><span class="n">extents_type</span><span class="p">,</span> <span class="n">extents_type</span><span class="o">&gt;</span><span class="p">)</span>
+  <span class="n">mapping</span><span class="p">(</span><span class="k">const</span> <span class="n"><a href="../../layout_right_padded/mapping.html">LayoutRightPaddedMapping</a></span><span class="o">&amp;</span><span class="p">)</span> <span class="k">noexcept</span><span class="p">;</span>  <span class="c1">// (7) C++26</span>
+
 <span class="k">template</span><span class="o">&lt;</span><span class="k">class</span> <span class="nc">OtherExtents</span><span class="o">&gt;</span>
 <span class="k">constexpr</span> <span class="k">explicit</span><span class="p">(</span><span class="n">extents_type</span><span class="o">::</span><span class="n"><a href="../../extents/rank.html">rank()</a></span> <span class="o">&gt;</span> <span class="mi">0</span><span class="p">)</span>
   <span class="n">mapping</span><span class="p">(</span><span class="k">const</span> <span class="n"><a href="../../layout_stride/mapping.html">layout_stride::mapping</a></span><span class="o">&lt;</span><span class="n">OtherExtents</span><span class="o">&gt;&amp;</span> <span class="n">other</span><span class="p">)</span> <span class="k">noexcept</span><span class="p">;</span>  <span class="c1">// (6)</span>
@@ -264,6 +268,7 @@ <h2>概要</h2>
 <li>(4) : 他<code>layout_right::mapping</code>からの変換コンストラクタ</li>
 <li>(5) : <code><a href="../../layout_left/mapping.html">layout_left::mapping</a></code>からの変換コンストラクタ</li>
 <li>(6) : <code><a href="../../layout_stride/mapping.html">layout_stride::mapping</a></code>からの変換コンストラクタ</li>
+<li>(7) : <code><a href="../../layout_right_padded/mapping.html">layout_right_padded&lt;S&gt;::mapping</a></code>からの変換コンストラクタ</li>
 </ul>
 <h2><a class="cpprefjp-defined-word" data-desc="関数であればオーバーロード解決に参加するための条件、それ以外であれば受け付ける型の条件">テンプレートパラメータ制約</a></h2>
 <ul>
@@ -274,6 +279,20 @@ <h2><a class="cpprefjp-defined-word" data-desc="関数であればオーバー
 </ul>
 </li>
 <li>(6) : <code><a href="../../../type_traits/is_constructible.html">is_constructible_v</a>&lt;extents_type, OtherExtents&gt;</code>が<code>true</code>であること。</li>
+<li>(7) :<ul>
+<li><code><a href="../../is-layout-right-padded-mapping-of.html">is-layout-right-padded-mapping-of</a>&lt;LayoutRightPaddedMapping&gt;</code>が<code>true</code>、かつ</li>
+<li><code><a href="../../../type_traits/is_constructible.html">is_constructible_v</a>&lt;extents_type, typename LayoutRightPaddedMapping::extents_type&gt;</code>が<code>true</code>であること。</li>
+</ul>
+</li>
+</ul>
+<h2><a class="cpprefjp-defined-word" data-desc="満たさなければプログラムが不適格となる要件。`static_assert`や関数のdelete宣言などに相当する">適格要件</a></h2>
+<ul>
+<li>(7) : 以下を満たすとき、<code>extents_type::<a href="../../extents/static_extent.html">static_extent</a>(<a href="../../extents/rank.html">Extents::rank()</a> - 1)</code>が<code><a href="../../layout_right_padded/mapping.html">LayoutRightPaddedMapping::static-padding-stride</a></code>に等しいこと。<ul>
+<li><code>extents_type::<a href="../../extents/rank.html">rank()</a> &gt; 1</code>、かつ</li>
+<li><code>extents_type::<a href="../../extents/static_extent.html">static_extent</a>(Extents::rank() - 1)</code>が<code><a href="../../../span/dynamic_extent.html">dynamic_extent</a></code>と等しくなく、かつ</li>
+<li><code>LayoutRightPaddedMapping::static-padding-stride</code>が<code><a href="../../../span/dynamic_extent.html">dynamic_extent</a></code>と等しくないとき。</li>
+</ul>
+</li>
 </ul>
 <h2>事前条件</h2>
 <ul>
@@ -285,18 +304,24 @@ <h2>事前条件</h2>
 <li><code>other.<a href="../../layout_stride/mapping/required_span_size.html">required_span_size()</a></code>を、<code>index_type</code>型で表現できること。</li>
 </ul>
 </li>
+<li>(7) :<ul>
+<li><code>extents_type::<a href="../../extents/rank.html">rank()</a> &gt; 1</code>のとき、<code>other.stride(extents_type::rank() - 2) == other.extents().extent(extents_type::rank() - 1)</code></li>
+<li><code>other.<span href="https://cpprefjp.github.io/reference/mdspan/layout_right_padded/mapping/required_span_size.md.nolink">required_span_size()</span></code>を、<code>index_type</code>型で表現できること。</li>
+</ul>
+</li>
 </ul>
 <h2>効果</h2>
 <ul>
 <li>(3) : <code>e</code>を用いて<code>extents_</code>を<a class="cpprefjp-defined-word" data-desc="direct-non-list-initialization。リスト初期化ではない直接初期化">直接非リスト初期化</a>する。</li>
-<li>(4), (5), (6) : <code>other.extents()</code>を用いて<code>extents_</code>を<a class="cpprefjp-defined-word" data-desc="direct-non-list-initialization。リスト初期化ではない直接初期化">直接非リスト初期化</a>する。</li>
+<li>(4), (5), (6), (7) : <code>other.extents()</code>を用いて<code>extents_</code>を<a class="cpprefjp-defined-word" data-desc="direct-non-list-initialization。リスト初期化ではない直接初期化">直接非リスト初期化</a>する。</li>
 </ul>
 <h2>例外</h2>
 <p>投げない</p>
 <h2>explicitになる条件</h2>
 <ul>
 <li>(4), (5) : <code>!<a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;OtherExtents, extents_type&gt;</code></li>
 <li>(6) : <code><a href="../../extents/rank.html">extents_type::rank()</a> &gt; 0</code></li>
+<li>(7) : <code>!<a href="../../../type_traits/is_convertible.html">is_convertible_v</a>&lt;typename LayoutRightPaddedMapping::extents_type, extents_type&gt;</code></li>
 </ul>
 <h2>例</h2>
 <p><div class="yata" id="84b0003b127e50867e53eaff9923683489828f63"><div class="codehilite"><pre><span></span><code><span class="cp">#include</span> <span class="cpf"><a href="../../../cassert.html">&lt;cassert&gt;</a></span><span class="cp"></span>
@@ -366,10 +391,12 @@ <h2>関連項目</h2>
 <ul>
 <li><code><a href="../../layout_left/mapping.html">layout_left::mapping</a></code></li>
 <li><code><a href="../../layout_stride/mapping.html">layout_stride::mapping</a></code></li>
+<li><code><a href="../../layout_right_padded/mapping.html">layout_right_padded::mapping</a></code></li>
 </ul>
 <h2>参照</h2>
 <ul>
 <li><a href="https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0009r18.html" target="_blank">P0009R18 MDSPAN</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>
 </ul></div>
 
       </div>