update automatically

Author: cpprefjp-autoupdate

reference/mdspan/de-ice.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-02-04T12:44:19">
-        2024年02月04日 12時44分19秒
+      <span itemprop="datePublished" content="2024-06-25T08:35:29">
+        2024年06月25日 08時35分29秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -216,7 +216,7 @@
 <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="nc">T</span><span class="o">&gt;</span>
 <span class="k">constexpr</span> <span class="n">T</span> <span class="n">de</span><span class="o">-</span><span class="n">ice</span><span class="p">(</span><span class="n">T</span> <span class="n">val</span><span class="p">)</span> <span class="p">{</span> <span class="k">return</span> <span class="n">val</span><span class="p">;</span> <span class="p">}</span>
 
-<span class="k">template</span><span class="o">&lt;</span><span class="n"><a href="integral-constant-like.html">integral-constant-like</a></span> <span class="n">T</span><span class="o">&gt;</span>
+<span class="k">template</span><span class="o">&lt;</span><span class="n"><a href="../span/integral-constant-like.html">integral-constant-like</a></span> <span class="n">T</span><span class="o">&gt;</span>
 <span class="k">constexpr</span> <span class="k">auto</span> <span class="n">de</span><span class="o">-</span><span class="n">ice</span><span class="p">(</span><span class="n">T</span><span class="p">)</span> <span class="p">{</span> <span class="k">return</span> <span class="n">T</span><span class="o">::</span><span class="n">value</span><span class="p">;</span> <span class="p">}</span>
 </code></pre></div>
 </p>

reference/mdspan/mdspan/op_deduction_guide.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-02-04T12:44:19">
-        2024年02月04日 12時44分19秒
+      <span itemprop="datePublished" content="2024-06-25T08:35:29">
+        2024年06月25日 08時35分29秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -240,7 +240,7 @@ <h2>概要</h2>
 </code></pre></div>
 </p>
 <h2><a class="cpprefjp-defined-word" data-desc="満たさなければプログラムが不適格となる要件。`static_assert`や関数のdelete宣言などに相当する">適格要件</a></h2>
-<p><code>OffsetType</code>, <code>ExtentType</code>, <code>StrideType</code>は符号付き整数型または符号無し整数型、もしくは<code><a href="integral-constant-like.html">integral-constant-like</a></code>のモデルであること。</p>
+<p><code>OffsetType</code>, <code>ExtentType</code>, <code>StrideType</code>は符号付き整数型または符号無し整数型、もしくは<code><a href="../span/integral-constant-like.html">integral-constant-like</a></code>のモデルであること。</p>
 <h2>メンバ型</h2>
 <table border="1" bordercolor="#888" style="border-collapse:collapse">
 <thead>

reference/mdspan/strided_slice.html

@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-02-08T15:27:13">
-        2024年02月08日 15時27分13秒
+      <span itemprop="datePublished" content="2024-06-25T08:35:29">
+        2024年06月25日 08時35分29秒
       </span>
       <br/>
       <span itemprop="author" itemscope itemtype="http://schema.org/Person">
@@ -259,9 +259,9 @@ <h2>戻り値</h2>
 <li><code><a href="extents/rank.html">SubExtents::rank()</a></code>は、型<code>S_k</code>が<code><a href="../concepts/convertible_to.html">convertible_to</a>&lt;IndexType&gt;</code>のモデルではない<code>k</code>の個数に等しく、かつ</li>
 <li><code>map-rank[k] != <a href="../span/dynamic_extent.html">dynamic_extent</a></code>を満たす<code>Extents</code>の次元インデクス<code>k</code>について、<code><a href="extents/static_extent.html">SubExtents::static_extent</a>(map-rank[k])</code>が下記と等しいこと<ul>
 <li><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><a href="extents/static_extent.html">SubExtents::static_extent</a>(k)</code>、そうでなければ、</li>
-<li>型<code>S_k</code>が<code><a href="index-pair-like.html">index-pair-like</a></code>のモデルかつ<code>tuple_element_t&lt;0, S_k&gt;</code>および<code>tuple_element_t&lt;1, S_k&gt;</code>がいずれも<code><a href="integral-constant-like.html">integral-constant-like</a></code>のモデルであるとき、<code><a href="de-ice.html">de-ice</a>(tuple_element_t&lt;1, S_k&gt;) - <a href="de-ice.html">de-ice</a>(tuple_element_t&lt;0, S_k&gt;)</code>、そうでなければ</li>
-<li>型<code>S_k</code>が<code><a href="strided_slice.html">strided_slice</a></code>の特殊化かつメンバ型<code>extent_type</code>が<code>S_k::extent_type() == 0</code>かつ<code><a href="integral-constant-like.html">integral-constant-like</a></code>のモデルであるとき、値<code>0</code>、そうでなければ</li>
-<li>型<code>S_k</code>が<code><a href="strided_slice.html">strided_slice</a></code>の特殊化かつメンバ型<code>extent_type</code>および<code>stride_type</code>がいずれも<code><a href="integral-constant-like.html">integral-constant-like</a></code>のモデルであるとき、<code>1 + (<a href="de-ice.html">de-ice</a>(S_k::extent_type()) - 1) / <a href="de-ice.html">de-ice</a>(S_k::stride_type())</code>、そうでなければ</li>
+<li>型<code>S_k</code>が<code><a href="index-pair-like.html">index-pair-like</a></code>のモデルかつ<code>tuple_element_t&lt;0, S_k&gt;</code>および<code>tuple_element_t&lt;1, S_k&gt;</code>がいずれも<code><a href="../span/integral-constant-like.html">integral-constant-like</a></code>のモデルであるとき、<code><a href="de-ice.html">de-ice</a>(tuple_element_t&lt;1, S_k&gt;) - <a href="de-ice.html">de-ice</a>(tuple_element_t&lt;0, S_k&gt;)</code>、そうでなければ</li>
+<li>型<code>S_k</code>が<code><a href="strided_slice.html">strided_slice</a></code>の特殊化かつメンバ型<code>extent_type</code>が<code>S_k::extent_type() == 0</code>かつ<code><a href="../span/integral-constant-like.html">integral-constant-like</a></code>のモデルであるとき、値<code>0</code>、そうでなければ</li>
+<li>型<code>S_k</code>が<code><a href="strided_slice.html">strided_slice</a></code>の特殊化かつメンバ型<code>extent_type</code>および<code>stride_type</code>がいずれも<code><a href="../span/integral-constant-like.html">integral-constant-like</a></code>のモデルであるとき、<code>1 + (<a href="de-ice.html">de-ice</a>(S_k::extent_type()) - 1) / <a href="de-ice.html">de-ice</a>(S_k::stride_type())</code>、そうでなければ</li>
 <li><code><a href="../span/dynamic_extent.html">dynamic_extent</a></code></li>
 </ul>
 </li>

reference/mdspan/submdspan_extents.html

@@ -20,19 +20,19 @@
 
         <meta name="viewport" content="width=device-width,initial-scale=1">
         <meta name="keywords" content="
-  C++,標準ライブラリ,リファレンス,ドキュメント,STL,std,mdspan,concept,cpp26
+  C++,標準ライブラリ,リファレンス,ドキュメント,STL,std,span,concept,cpp26
 ">
         <meta name="title" content="integral-constant-like - cpprefjp C++日本語リファレンス" />
         <meta itemprop="name" content="integral-constant-like - cpprefjp C++日本語リファレンス" />
         <meta property="og:title" content="integral-constant-like - cpprefjp C++日本語リファレンス" />
-        <meta property="og:url" content="https://cpprefjp.github.io/reference/mdspan/integral-constant-like.html" />
+        <meta property="og:url" content="https://cpprefjp.github.io/reference/span/integral-constant-like.html" />
         <meta property="og:site_name" content="cpprefjp - C++日本語リファレンス" />
         <meta property="og:type" content="article" />
-        <meta property="og:description" content="`integral-constant-like`は、型`T`が整数定数と互換があることを表す説明専用コンセプトである。" />
+        <meta property="og:description" content="`integral-constant-like`は、型`T`が整数定数型[`std::integral_constant`](/reference/type_traits/integral_constant.md)と互換があることを表す説明専用コンセプトである。" />
         <meta name="twitter:card" content="summary" />
         <meta name="twitter:title" content="integral-constant-like - cpprefjp C++日本語リファレンス" />
-        <meta name="twitter:url" content="https://cpprefjp.github.io/reference/mdspan/integral-constant-like.html" />
-        <meta name="twitter:description" content="`integral-constant-like`は、型`T`が整数定数と互換があることを表す説明専用コンセプトである。" />
+        <meta name="twitter:url" content="https://cpprefjp.github.io/reference/span/integral-constant-like.html" />
+        <meta name="twitter:description" content="`integral-constant-like`は、型`T`が整数定数型[`std::integral_constant`](/reference/type_traits/integral_constant.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;header&#34;: [&#34;mdspan&#34;], &#34;id-type&#34;: [&#34;concept&#34;], &#34;cpp&#34;: [&#34;cpp26&#34;]}, &#34;sources&#34;: [], &#34;page_id&#34;: [&#34;reference&#34;, &#34;mdspan&#34;, &#34;integral-constant-like&#34;]}">
+<header data-kunai-mdinfo="{&#34;meta&#34;: {&#34;header&#34;: [&#34;span&#34;], &#34;id-type&#34;: [&#34;concept&#34;], &#34;cpp&#34;: [&#34;cpp26&#34;]}, &#34;sources&#34;: [], &#34;page_id&#34;: [&#34;reference&#34;, &#34;span&#34;, &#34;integral-constant-like&#34;]}">
   <nav class="navbar navbar-default" role="navigation">
     <div class="container-fluid">
       <div class="navbar-header">
@@ -158,9 +158,9 @@
       <li  itemscope itemtype="http://www.schema.org/SiteNavigationElement">
         <span>
 
-            <a href="../../reference/mdspan.html" itemprop="url">
+            <a href="../../reference/span.html" itemprop="url">
 
-                <span itemprop="name">mdspan</span>
+                <span itemprop="name">span</span>
 
             </a>
 
@@ -188,8 +188,8 @@
 
     <p class="text-right"><small>
       最終更新日時(UTC):
-      <span itemprop="datePublished" content="2024-02-04T12:44:19">
-        2024年02月04日 12時44分19秒
+      <span itemprop="datePublished" content="2024-06-25T08:35:29">
+        2024年06月25日 08時35分29秒
       </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/integral-constant-like.md">
+          <a class="history" target="_blank" href="https://github.com/cpprefjp/site/commits/master/reference/span/integral-constant-like.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/integral-constant-like.md">
+          <a class="edit" target="_blank" href="https://github.com/cpprefjp/site/edit/master/reference/span/integral-constant-like.md">
             <span class="fa fa-fw fa-pencil"></span>編集
           </a>
         </p>
@@ -212,7 +212,7 @@
     <div class="row">
       <div class="col-sm-12 content-body">
 
-  <div class="identifier-type">concept</div><div class="header">&lt;mdspan&gt;</div><h1 itemprop="name"><span class="token">integral-constant-like</span><span class="cpp cpp26" title="C++26で追加">(C++26)</span></h1>
+  <div class="identifier-type">concept</div><div class="header">&lt;span&gt;</div><h1 itemprop="name"><span class="token">integral-constant-like</span><span class="cpp cpp26" title="C++26で追加">(C++26)</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="nc">T</span><span class="o">&gt;</span>
 <span class="n">concept</span> <span class="n">integral</span><span class="o">-</span><span class="n">constant</span><span class="o">-</span><span class="n">like</span> <span class="o">=</span>  <span class="c1">// exposition only</span>
   <span class="n"><a href="../type_traits/is_integral.html">is_integral_v</a></span><span class="o">&lt;</span><span class="k">decltype</span><span class="p">(</span><span class="n">T</span><span class="o">::</span><span class="n">value</span><span class="p">)</span><span class="o">&gt;</span> <span class="o">&amp;&amp;</span>
@@ -224,7 +224,7 @@
 </code></pre></div>
 </p>
 <h2>概要</h2>
-<p><code>integral-constant-like</code>は、型<code>T</code>が整数定数と互換があることを表す説明専用コンセプトである。</p>
+<p><code>integral-constant-like</code>は、型<code>T</code>が整数定数型<code><a href="../type_traits/integral_constant.html">std::integral_constant</a></code>と互換があることを表す説明専用コンセプトである。</p>
 <h2>バージョン</h2>
 <h3>言語</h3>
 <ul>
@@ -233,6 +233,7 @@ <h3>言語</h3>
 <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/p3029r1.html" target="_blank">P3029R1 Better <code>mdspan</code>'s CTAD</a></li>
 </ul></div>
 
       </div>