mdspan/layout_stride/mapping: 全メンバ(#1077)

Author: yohhoy

reference/mdspan/LayoutMapping.md

@@ -44,7 +44,7 @@ std::mdspan<int, Extents> mat3x2{a};
 ```
 
 - Unique特性 : 異なる多次元インデクス値は、異なる要素位置に対応する。参照先が重複することはない。
-- Exhaustive特性 : 全ての多次元インデクス値に対応する要素位置は連続している。
+- Exhaustive特性 : 全ての多次元インデクス値に対応する要素位置は隣接配置される。
 - Strided特性 : 多次元インデクス値`i,j`に対応する要素位置は、ストライド幅`2,1`を用いて`i*2+j*1`と計算できる。
 
 

reference/mdspan/layout_left/mapping/op_call.md

@@ -15,7 +15,7 @@ constexpr index_type operator()(Indices... i) const noexcept;
 
 
 ## テンプレートパラメータ制約
-- `sizeof...(Indices) ==` [`extents_tyoe::rank()`](../../extents/rank.md)が`true`、かつ
+- `sizeof...(Indices) ==` [`extents_type::rank()`](../../extents/rank.md)が`true`、かつ
 - `(`[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<Indices, index_type> && ...)`が`true`、かつ
 - `(`[`is_nothrow_constructible_v`](/reference/type_traits/is_nothrow_constructible.md)`<index_type, Indices> && ...)`が`true`であること。
 

reference/mdspan/layout_left/mapping/op_constructor.md

@@ -27,15 +27,15 @@ constexpr explicit(extents_type::rank() > 0)
 * is_convertible_v[link /reference/type_traits/is_convertible.md]
 * rank()[link ../../extents/rank.md]
 * layout_right::mapping[link ../../layout_right/mapping.md]
-* layout_stride::mapping[link ../../layout_stride/mapping.md.nolink]
+* layout_stride::mapping[link ../../layout_stride/mapping.md]
 
 ## 概要
 - (1) : デフォルトコンストラクタ
 - (2) : コピーコンストラクタ
 - (3) : [`extents`](../../extents.md)からの変換コンストラクタ
 - (4) : 他`layout_left::mapping`からの変換コンストラクタ
 - (5) : [`layout_right::mapping`](../../layout_right/mapping.md)からの変換コンストラクタ
-- (6) : [`layout_stride::mapping`](../../layout_stride/mapping.md.nolink)からの変換コンストラクタ
+- (6) : [`layout_stride::mapping`](../../layout_stride/mapping.md)からの変換コンストラクタ
 
 
 ## テンプレートパラメータ制約
@@ -52,7 +52,7 @@ constexpr explicit(extents_type::rank() > 0)
 - (5) : `other.`[`required_span_size()`](../../layout_left/mapping/required_span_size.md)を、`index_type`型で表現できること。
 - (6) :
     - `extents_type::`[`rank()`](../../extents/rank.md) `> 0`のとき、`other`における全次元のストライド幅が[`layout_left::mapping`相当の制約](stride.md)をもつこと。
-    - `other.`[`required_span_size()`](../../layout_stride/mapping/required_span_size.md.nolink)を、`index_type`型で表現できること。
+    - `other.`[`required_span_size()`](../../layout_stride/mapping/required_span_size.md)を、`index_type`型で表現できること。
 
 
 ## 効果
@@ -78,34 +78,34 @@ constexpr explicit(extents_type::rank() > 0)
 using Ext3x4 = std::extents<size_t, 3, 4>;
 using Ext3xN = std::extents<size_t, 3, std::dynamic_extent>;
 
-using Mapping3x4 = std::layout_left::mapping<Ext3x4>;
-using Mapping3xN = std::layout_left::mapping<Ext3xN>;
+using Mapping3x4 = ;
+using Mapping3xN = ;
 
 int main()
 {
   // (1) : デフォルトコンストラクタ
   {
-    Mapping3x4 map1_3x4;
-    Mapping3xN map1_3xN;
+    std::layout_left::mapping<Ext3x4> map1_3x4;
+    std::layout_left::mapping<Ext3xN> map1_3xN;
     assert(map1_3x4.required_span_size() == 12);
     assert(map1_3xN.required_span_size() == 0);
   }
   // (2) : コピーコンストラクタ
   {
-    Mapping3xN map2_a;
-    Mapping3xN map2_b = map2_a;
+    std::layout_left::mapping<Ext3xN> map2_a;
+    std::layout_left::mapping<Ext3xN> map2_b = map2_a;
     assert(map2_a == map2_b);
   }
   // (3) : extentsからの変換コンストラクタ
   {
     Ext3xN ext{4};
-    Mapping3xN map3 = ext;
+    std::layout_left::mapping<Ext3xN> map3 = ext;
     assert(map3.extents() == ext);
   }
   // (4) : layout_left::mappingからの変換コンストラクタ
   {
-    Mapping3x4 map4_3x4;
-    Mapping3xN map4_3xN = map4_3x4;
+    std::layout_left::mapping<Ext3x4> map4_3x4;
+    std::layout_left::mapping<Ext3xN> map4_3xN = map4_3x4;
     assert(map4_3x4 == map4_3xN);
   }
   // (5) : layout_right::mappingからの変換コンストラクタ
@@ -122,11 +122,11 @@ int main()
   }
 }
 ```
+* std::layout_left::mapping[color ff0000]
 * std::extents[link ../../extents.md]
 * std::dextents[link ../../extents.md]
-* std::layout_left::mapping[link ../mapping.md]
 * std::layout_right::mapping[link ../../layout_right/mapping.md]
-* std::layout_stride::mapping[link ../../layout_stride/mapping.md.nolink]
+* std::layout_stride::mapping[link ../../layout_stride/mapping.md]
 * required_span_size()[link required_span_size.md]
 
 ### 出力
@@ -147,7 +147,7 @@ int main()
 
 ## 関連項目
 - [`layout_right::mapping`](../../layout_right/mapping.md)
-- [`layout_stride::mapping`](../../layout_stride/mapping.md.nolink)
+- [`layout_stride::mapping`](../../layout_stride/mapping.md)
 
 
 ## 参照

reference/mdspan/layout_left/mapping/required_span_size.md

@@ -6,7 +6,7 @@
 * cpp23[meta cpp]
 
 ```cpp
-index_type required_span_size() const noexcept;
+constexpr index_type required_span_size() const noexcept;
 ```
 
 ## 概要

reference/mdspan/layout_right/mapping/op_call.md

@@ -15,7 +15,7 @@ constexpr index_type operator()(Indices... i) const noexcept;
 
 
 ## テンプレートパラメータ制約
-- `sizeof...(Indices) ==` [`extents_tyoe::rank()`](../../extents/rank.md)が`true`、かつ
+- `sizeof...(Indices) ==` [`extents_type::rank()`](../../extents/rank.md)が`true`、かつ
 - `(`[`is_convertible_v`](/reference/type_traits/is_convertible.md)`<Indices, index_type> && ...)`が`true`、かつ
 - `(`[`is_nothrow_constructible_v`](/reference/type_traits/is_nothrow_constructible.md)`<index_type, Indices> && ...)`が`true`であること。
 
@@ -45,6 +45,10 @@ return ((static_cast<index_type>(Indices...) * stride(P)) + ... + 0);
 int main()
 {
   using Ext3x4 = std::extents<size_t, 3, 4>;
+  using Mapping = std::layout_stride::mapping<Ext2x3>;
+  std::array strides{4, 1};
+  std::mdspan mat{arr, Mapping{{}, strides}};
+
   using Mapping3x4 = std::layout_right::mapping<Ext3x4>;
   Mapping3x4 map;
   assert(map(0,0) == 0);
@@ -54,7 +58,7 @@ int main()
 }
 ```
 * std::extents[link ../../extents.md]
-* std::layout_right::mapping[link ../mapping.md]
+* std::layout_stride::mapping[link ../mapping.md]
 
 ### 出力
 ```

reference/mdspan/layout_right/mapping/op_constructor.md

@@ -27,15 +27,15 @@ constexpr explicit(extents_type::rank() > 0)
 * is_convertible_v[link /reference/type_traits/is_convertible.md]
 * rank()[link ../../extents/rank.md]
 * layout_left::mapping[link ../../layout_left/mapping.md]
-* layout_stride::mapping[link ../../layout_stride/mapping.md.nolink]
+* layout_stride::mapping[link ../../layout_stride/mapping.md]
 
 ## 概要
 - (1) : デフォルトコンストラクタ
 - (2) : コピーコンストラクタ
 - (3) : [`extents`](../../extents.md)からの変換コンストラクタ
 - (4) : 他`layout_right::mapping`からの変換コンストラクタ
 - (5) : [`layout_left::mapping`](../../layout_left/mapping.md)からの変換コンストラクタ
-- (6) : [`layout_stride::mapping`](../../layout_stride/mapping.md.nolink)からの変換コンストラクタ
+- (6) : [`layout_stride::mapping`](../../layout_stride/mapping.md)からの変換コンストラクタ
 
 
 ## テンプレートパラメータ制約
@@ -52,7 +52,7 @@ constexpr explicit(extents_type::rank() > 0)
 - (5) : `other.`[`required_span_size()`](../../layout_left/mapping/required_span_size.md)を、`index_type`型で表現できること。
 - (6) :
     - `extents_type::`[`rank()`](../../extents/rank.md) `> 0`のとき、`other`における全次元のストライド幅が[`layout_right::mapping`相当の制約](stride.md)をもつこと。
-    - `other.`[`required_span_size()`](../../layout_stride/mapping/required_span_size.md.nolink)を、`index_type`型で表現できること。
+    - `other.`[`required_span_size()`](../../layout_stride/mapping/required_span_size.md)を、`index_type`型で表現できること。
 
 
 ## 効果
@@ -78,34 +78,31 @@ constexpr explicit(extents_type::rank() > 0)
 using Ext3x4 = std::extents<size_t, 3, 4>;
 using Ext3xN = std::extents<size_t, 3, std::dynamic_extent>;
 
-using Mapping3x4 = std::layout_right::mapping<Ext3x4>;
-using Mapping3xN = std::layout_right::mapping<Ext3xN>;
-
 int main()
 {
   // (1) : デフォルトコンストラクタ
   {
-    Mapping3x4 map1_3x4;
-    Mapping3xN map1_3xN;
+    std::layout_right::mapping<Ext3x4> map1_3x4;
+    std::layout_right::mapping<Ext3xN> map1_3xN;
     assert(map1_3x4.required_span_size() == 12);
     assert(map1_3xN.required_span_size() == 0);
   }
   // (2) : コピーコンストラクタ
   {
-    Mapping3xN map2_a;
-    Mapping3xN map2_b = map2_a;
+    std::layout_right::mapping<Ext3xN> map2_a;
+    std::layout_right::mapping<Ext3xN> map2_b = map2_a;
     assert(map2_a == map2_b);
   }
   // (3) : extentsからの変換コンストラクタ
   {
     Ext3xN ext{4};
-    Mapping3xN map3 = ext;
+    std::layout_right::mapping<Ext3xN> map3 = ext;
     assert(map3.extents() == ext);
   }
   // (4) : layout_right::mappingからの変換コンストラクタ
   {
-    Mapping3x4 map4_3x4;
-    Mapping3xN map4_3xN = map4_3x4;
+    std::layout_right::mapping<Ext3x4> map4_3x4;
+    std::layout_right::mapping<Ext3xN> map4_3xN = map4_3x4;
     assert(map4_3x4 == map4_3xN);
   }
   // (5) : layout_left::mappingからの変換コンストラクタ
@@ -122,11 +119,11 @@ int main()
   }
 }
 ```
+* std::layout_right::mapping[color ff0000]
 * std::extents[link ../../extents.md]
 * std::dextents[link ../../extents.md]
-* std::layout_right::mapping[link ../mapping.md]
 * std::layout_left::mapping[link ../../layout_left/mapping.md]
-* std::layout_stride::mapping[link ../../layout_stride/mapping.md.nolink]
+* std::layout_stride::mapping[link ../../layout_stride/mapping.md]
 * required_span_size()[link required_span_size.md]
 
 ### 出力
@@ -147,7 +144,7 @@ int main()
 
 ## 関連項目
 - [`layout_left::mapping`](../../layout_left/mapping.md)
-- [`layout_stride::mapping`](../../layout_stride/mapping.md.nolink)
+- [`layout_stride::mapping`](../../layout_stride/mapping.md)
 
 
 ## 参照

reference/mdspan/layout_right/mapping/required_span_size.md

@@ -6,7 +6,7 @@
 * cpp23[meta cpp]
 
 ```cpp
-index_type required_span_size() const noexcept;
+constexpr index_type required_span_size() const noexcept;
 ```
 
 ## 概要

reference/mdspan/layout_stride.md

@@ -13,7 +13,7 @@ namespace std {
 }
 ```
 * Extents[link extents.md]
-* mapping[link layout_stride/mapping.md.nolink]
+* mapping[link layout_stride/mapping.md]
 
 ## 概要
 `layout_stride`は、多次元配列ビュー[`mdspan`](mdspan.md)に対して、次元毎に任意ストライド幅を指定した[レイアウトマッピング](LayoutMapping.md)を表現するポリシークラスである。
@@ -25,7 +25,7 @@ namespace std {
 
 | 名前 | 説明 | 対応バージョン |
 |------|------|----------------|
-| [`mapping`](mapping.md.nolink) | レイアウトマッピング | C++23 |
+| [`mapping`](layout_stride/mapping.md) | レイアウトマッピング | C++23 |
 
 
 ## 例