C++ 名前付き要件: AccessorPolicy (C++23 以降)

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

C++ 名前付き要件

基本 DefaultConstructible MoveConstructible (C++11) CopyConstructible CopyAssignable MoveAssignable (C++11) Destructible 型のプロパティ ScalarType PODType TriviallyCopyable (C++11) TrivialType (C++11) StandardLayoutType (C++11)   ImplicitLifetimeType ライブラリワイド BooleanTestable EqualityComparable LessThanComparable Swappable ValueSwappable (C++11) NullablePointer (C++11) Hash (C++11) アロケータ FunctionObject Callable Predicate BinaryPredicate Compare

コンテナ コンテナ ReversibleContainer AllocatorAwareContainer SequenceContainer ContiguousContainer (C++17) AssociativeContainer UnorderedAssociativeContainer (C++11)   コンテナ要素 DefaultInsertable (C++11) CopyInsertable (C++11) MoveInsertable (C++11) EmplaceConstructible (C++11) Erasable (C++11) イテレータ LegacyIterator LegacyInputIterator LegacyOutputIterator LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator (C++17) ConstexprIterator (C++20) ストリームI/O FormattedInputFunction UnformattedInputFunction FormattedOutputFunction UnformattedOutputFunction フォーマッタ BasicFormatter (C++20) フォーマッタ (C++20)

乱数 SeedSequence (C++11) RandomNumberEngine (C++11) RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11) RandomNumberEngineAdaptor (C++11) 並行性 BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11) SharedLockable (C++14) SharedTimedLockable (C++14) Mutex (C++11) TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14) Ranges RangeAdaptorObject (C++20) RangeAdaptorClosureObject (C++20) 多次元ビュー LayoutMapping (C++23) LayoutMappingPolicy (C++23) AccessorPolicy (C++23) その他 CharTraits RegexTraits (C++11)   BitmaskType LiteralType (C++11) NumericType UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11) Clock (C++11) TrivialClock (C++11)

 

AccessorPolicy は、特定のデータハンドルとインデックスから要素にアクセスする方法を定義します。std::mdspan のポリシーとして使用され、基になる 1D インデックスを使用して要素の参照へのアクセスを指定します。

要件

型 A が AccessorPolicy を満たすのは、それが copyable をモデル化し、かつ以下が true である場合です。

• std::is_nothrow_move_constructible_v<A>
• std::is_nothrow_move_assignable_v<A>
• std::is_nothrow_swappable_v<A>

そして、以下の型と値が与えられた場合、以下の表に示す式は有効であり、示された意味を持ちます。

凡例

型	定義
A	アクセサポリシー型
OP	オフセットポリシー型
値	定義
a	型 A (const 修飾子付きの場合あり) の値
p	型 A::data_handle_type (const 修飾子付きの場合あり) の値
i, j, n	型 std::size_t の値

メンバ型

名前	型	要件
A::element_type	(未指定)	抽象クラス型ではない完全なオブジェクト型
A::data_handle_type	(未指定) ただし、型は element_type* である必要はありません。	copyable をモデル化する 以下の条件はすべて true です。 std::is_nothrow_move_constructible_v<typename A::data_handle_type> std::is_nothrow_move_assignable_v<typename A::data_handle_type> std::is_nothrow_swappable_v<typename A::data_handle_type>
A::reference	(未指定) ただし、型は element_type& である必要はありません。	std::common_reference_with<typename A::reference&&, typename A::element_type&> は true です。
A::offset_policy	OP	AccessorPolicy の要件を満たす std::constructible_from<OP, const A&> は true です。 typename OP​::​element_type と typename A​::​element_type は同じ型です。

メンバ関数

Expression	戻り値の型	セマンティクス
a.access(p, i)	typename A::reference	この式は 等価性を保持します。
a.offset(p, i)	typename A::offset_policy::data_handle_type	q という値は、b が A::offset_policy(a) であり、[​0​, n) が p と a のアクセス可能な範囲である任意の整数 n に対して、以下の条件を満たします。 [​0​, n - i) は q と b のアクセス可能な範囲です。そして b.access(q, j) は、範囲 [​0​, n - i) 内のすべての j に対して、a.access(p, i + j) と同じ要素へのアクセスを提供します。 この式は 等価性を保持します。

標準ライブラリ

以下の標準ライブラリ型は AccessorPolicy の要件を満たします。

default_accessor (C++23)	mdspan の要素へのインデックス付きアクセスのための型 (class template)
aligned_accessor (C++26)	mdspan の要素へのアラインメントされたアクセスのための型 (class template)
名前空間 std::linalg で定義
scaled_accessor (C++26)	参照が、固定されたスケーリング因子とネストされた std::mdspan アクセッサの参照との積を表す std::mdspan アクセッサポリシー (クラステンプレート)
conjugated_accessor (C++26)	参照が、ネストされた std::mdspan アクセッサの参照の複素共役を表す std::mdspan アクセッサポリシー (クラステンプレート)