cpprefjp
diff --git a/‎reference/mdspan.html‎
Lines changed: 8 additions & 2 deletions b/‎reference/mdspan.html‎
Lines changed: 8 additions & 2 deletions
diff --git a/‎reference/mdspan/src-indices.html‎ ‎reference/mdspan/canonical-index.html‎reference/mdspan/src-indices.html renamed to reference/mdspan/canonical-index.html
Lines changed: 31 additions & 26 deletions b/‎reference/mdspan/src-indices.html‎ ‎reference/mdspan/canonical-index.html‎reference/mdspan/src-indices.html renamed to reference/mdspan/canonical-index.html
Lines changed: 31 additions & 26 deletions
@@ -176,8 +176,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-12-20T08:46:04">
-        2024年12月20日 08時46分04秒
+      <span itemprop="datePublished" content="2026-03-31T11:30:41">
+        2026年03月31日 11時30分41秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -341,6 +341,11 @@ <h2>多次元配列部分ビュー</h2>
 <td>C++26</td>
 </tr>
 <tr>
+<td><code><a href="mdspan/submdspan_canonicalize_slices.html">submdspan_canonicalize_slices</a></code></td>
+<td>多次元配列部分ビュー取得時の多次元インデクスを正規化する (function template)</td>
+<td>C++26</td>
+</tr>
+<tr>
 <td><code><a href="mdspan/submdspan.html">submdspan</a></code></td>
 <td>多次元配列部分ビューを取得する (function template)</td>
 <td>C++26</td>
@@ -363,6 +368,7 @@ <h2>参照</h2>
 <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://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2897r7.html" target="_blank">P2897R7 <code>aligned_accessor</code>: An mdspan accessor expressing pointer over-alignment</a></li>
+<li><a href="https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3663r3.html" target="_blank">P3663R3 Future-proof <code>submdspan_mapping</code></a></li>
 </ul></div>
 
       </div>
 
@@ -16,23 +16,23 @@
 
         <meta charset="UTF-8">
 
-        <title>src-indices - cpprefjp C++日本語リファレンス</title>
+        <title>canonical-index - cpprefjp C++日本語リファレンス</title>
 
         <meta name="viewport" content="width=device-width,initial-scale=1">
         <meta name="keywords" content="
   C++,標準ライブラリ,リファレンス,ドキュメント,STL,std,,mdspan,function template,cpp26
 ">
-        <meta name="title" content="src-indices - cpprefjp C++日本語リファレンス" />
-        <meta itemprop="name" content="src-indices - cpprefjp C++日本語リファレンス" />
-        <meta property="og:title" content="src-indices - cpprefjp C++日本語リファレンス" />
-        <meta property="og:url" content="https://cpprefjp.github.io/reference/mdspan/src-indices.html" />
+        <meta name="title" content="canonical-index - cpprefjp C++日本語リファレンス" />
+        <meta itemprop="name" content="canonical-index - cpprefjp C++日本語リファレンス" />
+        <meta property="og:title" content="canonical-index - cpprefjp C++日本語リファレンス" />
+        <meta property="og:url" content="https://cpprefjp.github.io/reference/mdspan/canonical-index.html" />
         <meta property="og:site_name" content="cpprefjp - C++日本語リファレンス" />
         <meta property="og:type" content="article" />
-        <meta property="og:description" content="`src-indices`は[`submdspan`](submdspan.md)動作説明用の関数テンプレートである。" />
+        <meta property="og:description" content="`canonical-index`は、[`submdspan`](submdspan.md)動作仕様定義で用いられる説明専用の関数テンプレートである。" />
         <meta name="twitter:card" content="summary" />
-        <meta name="twitter:title" content="src-indices - cpprefjp C++日本語リファレンス" />
-        <meta name="twitter:url" content="https://cpprefjp.github.io/reference/mdspan/src-indices.html" />
-        <meta name="twitter:description" content="`src-indices`は[`submdspan`](submdspan.md)動作説明用の関数テンプレートである。" />
+        <meta name="twitter:title" content="canonical-index - cpprefjp C++日本語リファレンス" />
+        <meta name="twitter:url" content="https://cpprefjp.github.io/reference/mdspan/canonical-index.html" />
+        <meta name="twitter:description" content="`canonical-index`は、[`submdspan`](submdspan.md)動作仕様定義で用いられる説明専用の関数テンプレートである。" />
 
 
   <link rel="alternate" type="application/atom+xml" title="Atom" href="https://cpprefjp.github.io/rss.xml" />
@@ -68,7 +68,7 @@
 
     </head>
     <body>
-<header data-kunai-mdinfo="{&#34;meta&#34;: {&#34;exposition-only&#34;: [&#34;&#34;], &#34;header&#34;: [&#34;mdspan&#34;], &#34;id-type&#34;: [&#34;function template&#34;], &#34;cpp&#34;: [&#34;cpp26&#34;]}, &#34;sources&#34;: [], &#34;page_id&#34;: [&#34;reference&#34;, &#34;mdspan&#34;, &#34;src-indices&#34;]}">
+<header data-kunai-mdinfo="{&#34;meta&#34;: {&#34;exposition-only&#34;: [&#34;&#34;], &#34;header&#34;: [&#34;mdspan&#34;], &#34;id-type&#34;: [&#34;function template&#34;], &#34;cpp&#34;: [&#34;cpp26&#34;]}, &#34;sources&#34;: [], &#34;page_id&#34;: [&#34;reference&#34;, &#34;mdspan&#34;, &#34;canonical-index&#34;]}">
   <nav class="navbar navbar-default" role="navigation">
     <div class="container-fluid">
       <div class="navbar-header">
@@ -171,7 +171,7 @@
         <span>
 
 
-              <span itemprop="name">src-indices</span>
+              <span itemprop="name">canonical-index</span>
 
 
         </span>
@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2026-02-08T09:00:28">
-        2026年02月08日 09時00分28秒
+      <span itemprop="datePublished" content="2026-03-31T11:30:41">
+        2026年03月31日 11時30分41秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -200,10 +200,10 @@
 
 
         <p class="text-right">
-          <a class="history" target="_blank" href="https://github.com/cpprefjp/site/commits/master/reference/mdspan/src-indices.md">
+          <a class="history" target="_blank" href="https://github.com/cpprefjp/site/commits/master/reference/mdspan/canonical-index.md">
             <span class="fa fa-fw fa-clock-o fa-flip-horizontal"></span>履歴
           </a>
-          <a class="edit" target="_blank" href="https://github.com/cpprefjp/site/edit/master/reference/mdspan/src-indices.md">
+          <a class="edit" target="_blank" href="https://github.com/cpprefjp/site/edit/master/reference/mdspan/canonical-index.md">
             <span class="fa fa-fw fa-pencil"></span>編集
           </a>
         </p>
@@ -212,30 +212,35 @@
     <div class="row">
       <div class="col-sm-12 content-body">
 
-  <div class="identifier-type">function template</div><div class="header">&lt;mdspan&gt;</div><h1 class="exposition-only" itemprop="name"><span class="token">src-indices</span><span class="cpp cpp26" title="C++26で追加">(C++26)</span><span class="cpp exposition-only" title="説明専用"></span></h1>
-<div itemprop="articleBody"><p><div class="codehilite"><pre><span></span><code><span class="k">template</span><span class="o">&lt;</span><span class="k">class</span><span class="w"> </span><span class="nc">IndexType</span><span class="p">,</span><span class="w"> </span><span class="kt">size_t</span><span class="w"> </span><span class="n">N</span><span class="p">,</span><span class="w"> </span><span class="k">class</span><span class="w"> </span><span class="p">...</span><span class="w"> </span><span class="n">SliceSpecifiers</span><span class="o">&gt;</span>
-<span class="k">constexpr</span><span class="w"> </span><span class="n"><a href="../array/array.html">array</a></span><span class="o">&lt;</span><span class="n">IndexType</span><span class="p">,</span><span class="w"> </span><span class="k">sizeof</span><span class="p">...(</span><span class="n">SliceSpecifiers</span><span class="p">)</span><span class="o">&gt;</span>
-<span class="w">  </span><span class="n">src</span><span class="o">-</span><span class="n">indices</span><span class="p">(</span><span class="k">const</span><span class="w"> </span><span class="n"><a href="../array/array.html">array</a></span><span class="o">&lt;</span><span class="n">IndexType</span><span class="p">,</span><span class="w"> </span><span class="n">N</span><span class="o">&gt;&amp;</span><span class="w"> </span><span class="n">indices</span><span class="p">,</span><span class="w"> </span><span class="n">SliceSpecifiers</span><span class="w"> </span><span class="p">...</span><span class="w"> </span><span class="n">slices</span><span class="p">);</span>
+  <div class="identifier-type">function template</div><div class="header">&lt;mdspan&gt;</div><h1 class="exposition-only" itemprop="name"><span class="token">canonical-index</span><span class="cpp cpp26" title="C++26で追加">(C++26)</span><span class="cpp exposition-only" title="説明専用"></span></h1>
+<div itemprop="articleBody"><p><div class="codehilite"><pre><span></span><code><span class="k">template</span><span class="o">&lt;</span><span class="k">class</span><span class="w"> </span><span class="nc">IndexType</span><span class="p">,</span><span class="w"> </span><span class="k">class</span><span class="w"> </span><span class="nc">S</span><span class="o">&gt;</span>
+<span class="k">constexpr</span><span class="w"> </span><span class="k">auto</span><span class="w"> </span><span class="n">canonical</span><span class="o">-</span><span class="n">index</span><span class="p">(</span><span class="n">S</span><span class="w"> </span><span class="n">s</span><span class="p">);</span>
 </code></pre></div>
 </p>
 <h2>概要</h2>
-<p><code>src-indices</code>は<code><a href="submdspan.html">submdspan</a></code>動作説明用の関数テンプレートである。</p>
+<p><code>canonical-index</code>は、<code><a href="submdspan.html">submdspan</a></code>動作仕様定義で用いられる説明専用の関数テンプレートである。</p>
 <h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Mandates。満たさなければプログラムが不適格となる要件。この要件は、オーバーロード解決によって選択された関数内での`static_assert`の定数条件式や、関数に対するdelete宣言などで表現できる">適格要件</a></h2>
-<p><code>IndexType</code>は符号付き整数型または符号無し整数型であること。</p>
-<h2><a class="cpprefjp-defined-word" data-desc="関数呼び出し式の評価結果となるオブジェクト・値">戻り値</a></h2>
-<p>半開区間<code>[0, sizeof...(SliceSpecifiers))</code>の<code>k</code>に対して、<code>k</code>番目の要素が下記の値を持つ配列を返す。</p>
+<p><code>S</code>が<code><a href="../span/integral-constant-like.html">integral-constant-like</a></code>のモデルであるとき、<code>extents&lt;IndexType&gt;::<a href="extents/index-cast.html">index-cast</a>(<a href="../utility/move.html">std::move</a>(s))</code>を<code>IndexType</code>型の値として表現できること。</p>
+<h2><a class="cpprefjp-defined-word" data-desc="関数等の意味論を構成する要素の1つ。Preconditions。関数呼び出し時に満たされていると関数が想定する条件。満たさなければ未定義の動作。契約属性の`[[expects]]`に相当">事前条件</a></h2>
+<p><code>extents&lt;IndexType&gt;::<a href="extents/index-cast.html">index-cast</a>(<a href="../utility/move.html">std::move</a>(s))</code>を<code>IndexType</code>型の値として表現できること。</p>
+<h2>効果</h2>
+<p>以下と等価</p>
 <ul>
-<li><code><a href="submdspan_extents.html">map-rank[k]</a></code>が<code><a href="../span/dynamic_extent.html">dynamic_extent</a></code>に等しいとき、<code><a href="first_.html">first_</a>&lt;IndexType, k&gt;(slices...)</code></li>
-<li>そうでなければ、<code><a href="first_.html">first_</a>&lt;IndexType, k&gt;(slices...) + indices[<a href="submdspan_extents.html">map-rank[k]</a>]</code></li>
+<li><code>S</code>が<code><a href="../span/integral-constant-like.html">integral-constant-like</a></code>のモデルであるとき、<code>return <span href="https://cpprefjp.github.io/reference/type_traits/constant_wrapper.md.nolink">cw</span>&lt;IndexType(S::value)&gt;</code></li>
+<li>そうではないとき、<code>return IndexType(<a href="../utility/move.html">std::move</a>(s))</code></li>
 </ul>
 <h2>バージョン</h2>
 <h3>言語</h3>
 <ul>
 <li>C++26</li>
 </ul>
+<h2>関連項目</h2>
+<ul>
+<li><code><a href="submdspan_canonicalize_slices.html">submdspan_canonicalize_slices</a></code></li>
+</ul>
 <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://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3663r3.html" target="_blank">P3663R3 Future-proof <code>submdspan_mapping</code></a></li>
 </ul></div>
 
       </div>