mdspan: aligned_accessor概要 P2897R7(#1380)

Author: yohhoy

lang/cpp26.md

@@ -115,7 +115,7 @@ C++26とは、2026年中に改訂される予定の、C++バージョンの通
 - [`std::mdspan`](/reference/mdspan/mdspan.md)から部分ビューを取り出す[`std::submdspan()`](/reference/mdspan/submdspan.md)を追加
 - [`std::mdspan`](/reference/mdspan/mdspan.md)に対する[`std::dextents`](/reference/mdspan/extents.md)指定の冗長さを解決する[`std::dims`](/reference/mdspan/extents.md)を追加
 - [`std::mdspan`](/reference/mdspan/mdspan.md)のレイアウトとして、[`std::layout_left_padded`](/reference/mdspan/layout_left_padded.md)と[`std::layout_right_padded`](/reference/mdspan/layout_right_padded.md)を追加
-- [`<mdspan>`](/reference/mdspan.md)に、ポインタのアライメントをしながらアクセスする[`std::aligned_accessor`](/reference/mdspan/aligned_accessor.md.nolink)を追加
+- [`<mdspan>`](/reference/mdspan.md)に、要素アクセスにアライメント保証を与える[`std::aligned_accessor`](/reference/mdspan/aligned_accessor.md)を追加
 - [`std::span`](/reference/span/span.md)に、以下を追加
     - [`std::initializer_list`](/reference/initializer_list/initializer_list.md)をとるコンストラクタ
     - インデックスアクセスのための[`at()`](/reference/span/span/at.md)メンバ関数
@@ -357,6 +357,7 @@ C++26とは、2026年中に改訂される予定の、C++バージョンの通
     - [`<typeinfo>`](/reference/typeinfo.md)ヘッダの以下の機能
         - [`std::bad_cast`](/reference/typeinfo/bad_cast.md)クラスの`what()`メンバ関数
         - [`std::bad_typeid`](/reference/typeinfo/bad_typeid.md)クラスの`what()`メンバ関数
+- [<memory>](/reference/memory.md)に、ポインタのアライメントを判定する[`std::is_sufficiently_aligned()`](/reference/memory/is_sufficiently_aligned.md)関数を追加。
 
 
 ### デバッグ

reference/mdspan.md

@@ -30,6 +30,7 @@
 | 名前 | 説明 | 対応バージョン |
 |------|------|-------|
 | [`default_accessor`](mdspan/default_accessor.md) | デフォルト要素アクセサ (class template) | C++23 |
+| [`aligned_accessor`](mdspan/aligned_accessor.md) | アライメント保証付き要素アクセサ (class template) | C++26 |
 
 
 ## 多次元配列ビュー
@@ -65,3 +66,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)
 - [P2642R6 Padded mdspan layouts](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2642r6.pdf)
+- [P2897R7 `aligned_accessor`: An mdspan accessor expressing pointer over-alignment](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2897r7.html)

reference/mdspan/AccessorPolicy.md

@@ -32,7 +32,12 @@ AccessorPolicyを満たす型`A`は
 
 ## `AccessorPolicy`に該当する型
 
-- [`default_accessor`](default_accessor.md)
+- [`<mdspan>`](/reference/mdspan.md)ヘッダ
+    - C++23 [`default_accessor`](default_accessor.md)
+    - C++26 [`aligned_accessor`](aligned_accessor.md)
+- [`<linalg>`](/reference/linalg.md)ヘッダ
+    - C++26 [`scaled_accessor`](/reference/linalg/scaled_accessor.md)
+    - C++26 [`conjugated_accessor`](/reference/linalg/conjugated_accessor.md)
 
 
 ## バージョン

reference/mdspan/LayoutMapping.md

@@ -90,12 +90,14 @@ LayoutMappingを満たす型`M`は
 
 ## `LayoutMapping`に該当する型
 
-- [`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<S>::mapping<E>`](layout_left_padded/mapping.md)
-- [`layout_right_padded<S>::mapping<E>`](layout_right_padded/mapping.md)
-- [`layout_blas_packed<T,SO>::mapping<E>`](/reference/linalg/layout_blas_packed/mapping.md)
+- [`<mdspan>`](/reference/mdspan.md)ヘッダ
+    - C++23 [`layout_left::mapping<E>`](layout_left/mapping.md)
+    - C++23 [`layout_right::mapping<E>`](layout_right/mapping.md)
+    - C++23 [`layout_stride::mapping<E>`](layout_stride/mapping.md)
+    - C++26 [`layout_left_padded<S>::mapping<E>`](layout_left_padded/mapping.md)
+    - C++26 [`layout_right_padded<S>::mapping<E>`](layout_right_padded/mapping.md)
+- [`<linalg>`](/reference/linalg.md)ヘッダ
+    - C++26 [`layout_blas_packed<T,SO>::mapping<E>`](/reference/linalg/layout_blas_packed/mapping.md)
 
 
 ## バージョン

reference/mdspan/LayoutMappingPolicy.md

@@ -37,12 +37,14 @@ LayoutMappingPolicyを満たす型`MP`は
 
 ## `LayoutMappingPolicy`に該当する型
 
-- [`layout_left`](layout_left.md)
-- [`layout_right`](layout_right.md)
-- [`layout_stride`](layout_stride.md)
-- [`layout_left_padded<S>`](layout_left_padded.md)
-- [`layout_right_padded<S>`](layout_right_padded.md)
-- [`linalg::layout_blas_packed<T,SO>`](/reference/linalg/layout_blas_packed.md)
+- [`<mdspan>`](/reference/mdspan.md)ヘッダ
+    - C++23 [`layout_left`](layout_left.md)
+    - C++23 [`layout_right`](layout_right.md)
+    - C++23 [`layout_stride`](layout_stride.md)
+    - C++26 [`layout_left_padded<S>`](layout_left_padded.md)
+    - C++26 [`layout_right_padded<S>`](layout_right_padded.md)
+- [`<linalg>`](/reference/linalg.md)ヘッダ
+    - C++26 [`layout_blas_packed<T,SO>`](/reference/linalg/layout_blas_packed.md)
 
 
 ## バージョン

reference/mdspan/aligned_accessor.md

@@ -0,0 +1,74 @@
+# aligned_accessor
+* mdspan[meta header]
+* class template[meta id-type]
+* std[meta namespace]
+* cpp26[meta cpp]
+
+```cpp
+namespace std {
+  template<class ElementType, size_t ByteAlignment>
+  class aligned_accessor;
+}
+```
+
+## 概要
+`aligned_accessor`は、多次元配列ビュー[`mdspan`](mdspan.md)を介した要素アクセスにおいて、メモリアドレスに対するアライメント保証を与える。それ以外の動作は[`default_accessor`](default_accessor.md)と等価である。
+
+`ElementType`は抽象クラス型もしくは配列型のいずれでもない完全型であること。
+
+`aligned_accessor`は[トリビアルコピー可能](/reference/type_traits/is_trivially_copyable.md)であり、[`semiregular`](/reference/concepts/semiregular.md)のモデルである。
+
+`aligned_accessor`は[アクセサポリシー要件](AccessorPolicy.md)を満たす。
+
+
+## 適格要件
+- `ByteAlignment`は2のべき乗であること
+- `ByteAlignment >=` [`alignof`](/lang/cpp11/alignof.md)`(ElementType)`
+
+
+## メンバ変数
+
+| 名前 | 説明 | 対応バージョン |
+|------|------|----------------|
+| `static constexpr size_t byte_alignment` | `ByteAlignment` | C++26 |
+
+
+## メンバ関数
+
+| 名前 | 説明 | 対応バージョン |
+|------|------|----------------|
+| [`(constructor)`](aligned_accessor/op_constructor.md.nolink) | コンストラクタ | C++26 |
+| `(destructor)` | デストラクタ | C++26 |
+| [`operator default_accessor`](aligned_accessor/op_default_accessor.md.nolink) | [`default_accessor`](default_accessor.md)型への変換演算子 | C++26 |
+| [`access`](aligned_accessor/access.md.nolink) | 指定オフセット位置にある要素へアクセスする | C++26 |
+| [`offset`](aligned_accessor/offset.md.nolink) | 指定オフセット位置のハンドルを取得する | C++26 |
+
+
+## メンバ型
+
+| 名前 | 説明 | 対応バージョン |
+|------|------|----------------|
+| `offset_policy` | [`default_accessor<ElementType>`](default_accessor.md) | C++26 |
+| `element_type`     | `ElementType`  | C++26 |
+| `reference`        | `ElementType&` | C++26 |
+| `data_handle_type` | `ElementType*` | C++26 |
+
+
+## バージョン
+### 言語
+- C++26
+
+### 処理系
+- [Clang](/implementation.md#clang): ??
+- [GCC](/implementation.md#gcc): ??
+- [ICC](/implementation.md#icc): ??
+- [Visual C++](/implementation.md#visual_cpp): ??
+
+
+## 関連項目
+- [`mdspan`](mdspan.md)
+- [`default_accessor`](default_accessor.md)
+
+
+## 参照
+- [P2897R7 `aligned_accessor`: An mdspan accessor expressing pointer over-alignment](https://open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2897r7.html)

reference/memory/is_sufficiently_aligned.md

@@ -28,7 +28,7 @@ namespace std {
 
 
 ## この機能が必要になった背景・経緯
-この関数テンプレートは[`<mdspan>`](/reference/mdspan.md)ヘッダへの[`aligned_accessor`](/reference/mdspan/aligned_accessor.md.nolink)導入に伴って必要とされた機能である。
+この関数テンプレートは[`<mdspan>`](/reference/mdspan.md)ヘッダへの[`aligned_accessor`](/reference/mdspan/aligned_accessor.md)導入に伴って必要とされた機能である。
 一方で、ポインタ値のアライメント要件を検査するユースケースは一般的と考えられたため、汎用ユーティリティとして`<memory>`ヘッダに対して機能追加された。