mdspan: layout_{left,right}_padded概要 P2645R5

Author: yohhoy

reference/mdspan.md

@@ -21,6 +21,8 @@
 | [`layout_left`](mdspan/layout_left.md)     | 列優先(Fortran/Matlabスタイル)レイアウトマッピングポリシー (class) | C++23 |
 | [`layout_right`](mdspan/layout_right.md)   | 行優先(C/C++スタイル)レイアウトマッピングポリシー (class) | C++23 |
 | [`layout_stride`](mdspan/layout_stride.md) | ストライド幅指定レイアウトマッピングポリシー (class) | C++23 |
+| [`layout_left_padded`](mdspan/layout_left_padded.md) | パディングあり列優先レイアウトマッピングポリシー (class templte) | C++26 |
+| [`layout_right_padded`](mdspan/layout_right_padded.md) | パディングあり行優先レイアウトマッピングポリシー (class templte) | C++26 |
 
 
 ## 要素アクセサ
@@ -62,3 +64,4 @@
 ## 参照
 - [P0009R18 MDSPAN](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p0009r18.html)
 - [P2630R4 Submdspan](https://open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2630r4.html)
+- [P2642R5 Padded mdspan layouts](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2642r5.html)

reference/mdspan/LayoutMapping.md

@@ -93,6 +93,8 @@ LayoutMappingを満たす型`M`は
 - [`layout_left::mapping<E>`](layout_left/mapping.md)
 - [`layout_right::mapping<E>`](layout_right/mapping.md)
 - [`layout_stride::mapping<E>`](layout_stride/mapping.md)
+- [`layout_left_padded<PV>::mapping<E>`](layout_left_padded/mapping.md.nolink)
+- [`layout_right_padded<PV>::mapping<E>`](layout_right_padded/mapping.md.nolink)
 - [`layout_blas_packed<T,SO>::mapping<E>`](/reference/linalg/layout_blas_packed/mapping.md)
 
 

reference/mdspan/LayoutMappingPolicy.md

@@ -40,6 +40,8 @@ LayoutMappingPolicyを満たす型`MP`は
 - [`layout_left`](layout_left.md)
 - [`layout_right`](layout_right.md)
 - [`layout_stride`](layout_stride.md)
+- [`layout_left_padded<PV>`](layout_left_padded.md)
+- [`layout_right_padded<PV>`](layout_right_padded.md)
 - [`linalg::layout_blas_packed<T,SO>`](/reference/linalg/layout_blas_packed.md)
 
 

reference/mdspan/layout_left_padded.md

@@ -0,0 +1,86 @@
+# layout_left_padded
+* mdspan[meta header]
+* class template[meta id-type]
+* std[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std {
+  template<size_t PaddingValue = dynamic_extent>
+  struct layout_left_padded {
+    template<class Extents>
+    class mapping;
+  };
+}
+```
+* dynamic_extent[link /reference/span/dynamic_extent.md]
+* Extents[link extents.md]
+* mapping[link layout_left_padded/mapping.md.nolink]
+
+## 概要
+`layout_left_padded`は、多次元配列ビュー[`mdspan`](mdspan.md)に対して、パディングあり列優先(column major)[レイアウトマッピング](LayoutMapping.md)を表現するポリシークラスである。
+
+全要素が隣接配置される[`layout_left`](layout_left.md)とは異なり、`layout_left_padded`では最左次元の隣次元（第1次元）ストライド幅`stride(1)`が最左次元の要素数`extent(0)`よりも大きい、つまり第1次元においてパディングが挿入される可能性がある。
+
+`layout_left_padded`の特殊化は、[レイアウトマッピングポリシー要件](LayoutMappingPolicy.md)を満たす[トリビアル型](/reference/type_traits/is_trivial.md)である。
+
+
+## メンバ型
+
+| 名前 | 説明 | 対応バージョン |
+|------|------|----------------|
+| [`mapping`](layout_left_padded/mapping.md.nolink) | レイアウトマッピング | C++26 |
+
+
+## 例
+```cpp example
+#include <mdspan>
+#include <print>
+
+int main()
+{
+  double arr[] = {1, 2, 0, 0, 3, 4, 0, 0, 5, 6, 0, 0};
+  // 1 3 5
+  // 2 4 6
+  // - - -
+  // - - -
+
+  // 要素数2x3の2次元配列／列優先レイアウト／アライメント4
+  using Ext2x3 = std::extents<size_t, 2, 3>
+  std::mdspan<double, Ext2x3, std::layout_left_padded<4>> mat{arr};
+
+  for (size_t i = 0; i < mat.extent(0); ++i) {
+    for (size_t j = 0; j < mat.extent(1); ++j) {
+      std::print("{}{}", (j ? " " : ""), mat[i, j]);
+    }
+    std::println();
+  }
+}
+```
+* std::layout_left_padded[color ff0000]
+* extent[link mdspan/extent.md]
+
+### 出力
+```
+1 3 5
+2 4 6
+```
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`layout_left`](layout_left.md)
+
+
+## 参照
+- [P2642R5 Padded mdspan layouts](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2642r5.html)

reference/mdspan/layout_right_padded.md

@@ -0,0 +1,84 @@
+# layout_right_padded
+* mdspan[meta header]
+* class template[meta id-type]
+* std[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std {
+  template<size_t PaddingValue = dynamic_extent>
+  struct layout_right_padded {
+    template<class Extents>
+    class mapping;
+  };
+}
+```
+* dynamic_extent[link /reference/span/dynamic_extent.md]
+* Extents[link extents.md]
+* mapping[link layout_right_padded/mapping.md.nolink]
+
+## 概要
+`layout_right_padded`は、多次元配列ビュー[`mdspan`](mdspan.md)に対して、パディングあり行優先(row major)[レイアウトマッピング](LayoutMapping.md)を表現するポリシークラスである。
+
+全要素が隣接配置される[`layout_right`](layout_right.md)とは異なり、`layout_right_padded`では最右次元の隣次元（第R-2次元）ストライド幅`stride(`[`extents_type​::​rank()`](extents/rank.md) `- 2)`が最右次元の要素数`extent(extents_type​::​rank() - 1)`よりも大きい、つまり第R-2次元においてパディングが挿入される可能性がある。
+
+`layout_right_padded`の特殊化は、[レイアウトマッピングポリシー要件](LayoutMappingPolicy.md)を満たす[トリビアル型](/reference/type_traits/is_trivial.md)である。
+
+
+## メンバ型
+
+| 名前 | 説明 | 対応バージョン |
+|------|------|----------------|
+| [`mapping`](layout_right_padded/mapping.md.nolink) | レイアウトマッピング | C++26 |
+
+
+## 例
+```cpp example
+#include <mdspan>
+#include <print>
+
+int main()
+{
+  double arr[] = {1, 2, 3, 0, 4, 5, 6, 0};
+  // 1 2 3 -
+  // 4 5 6 -
+
+  // 要素数2x3の2次元配列／行優先レイアウト／アライメント4
+  using Ext2x3 = std::extents<size_t, 2, 3>
+  std::mdspan<double, Ext2x3, std::layout_right_padded<4>> mat{arr};
+
+  for (size_t i = 0; i < mat.extent(0); ++i) {
+    for (size_t j = 0; j < mat.extent(1); ++j) {
+      std::print("{}{}", (j ? " " : ""), mat[i, j]);
+    }
+    std::println();
+  }
+}
+```
+* std::layout_right_padded[color ff0000]
+* extent[link mdspan/extent.md]
+
+### 出力
+```
+1 2 3
+4 5 6
+```
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`layout_right`](layout_right.md)
+
+
+## 参照
+- [P2642R5 Padded mdspan layouts](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2023/p2642r5.html)