C++ 名前付き要件： LayoutMapping (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)

 

LayoutMapping は、std::mdspan において、多次元インデックスを 1 次元オフセットからデータハンドルへのマッピングを制御します。

要件

型 M は、copyable および equality_comparable をモデルとし、以下の条件が true である場合、LayoutMapping を満たします。

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

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

凡例

型	定義
M	レイアウトマッピングクラス
値	定義
m	型（const 修飾されている場合がある）M の値
i, j	m.extents() における多次元インデックスである（const 修飾されている場合がある）整数のパック
r	typename M​::​extents_type の（const 修飾されている場合がある）ランクインデックス
d_r	（const 修飾されている場合がある）整数のパックで、sizeof...(d_r) = M​::​extents_type​::​rank() が true であり、ランクインデックス r における要素は 1 に等しく、他のすべての要素は ​0​ に等しい。

メンバ型

名前	型	要件
M::extents_type	クラステンプレート std::extents の特殊化
M::index_type	typename M::extents_type::index_type
M::rank_type	typename M::extents_type::rank_type
M::layout_type	レイアウトマッピングポリシー MP。ここで typename MP::template mapping<E> は M である。 ある E という extents 型に対して	M が MP のマッピング型であるような LayoutMappingPolicy

メンバ関数と演算子

Expression	戻り値の型	セマンティクス
m.extents()	const typename M​::​extents_type&	関連する多次元インデックス空間への const 参照を返します。
m(i...)	typename M​::​index_type	o < std::numeric_limits<typename M​::​index_type>​::​max() および o <= std::numeric_limits<std::size_t>​::​max() が両方とも true である非負整数 o を返します。 このような式は m(static_cast<typename M::index_type>(i)...) に相当します。
m.required_span_size()	typename M​::​index_type	多次元インデックス空間 m.extents() のサイズが 0 でない場合、m(i...) の最大値に 1 を加えた値を返します。 それ以外の場合、​0​ を返します。
m.is_unique()	bool	すべての i および j に対して、(i != j || ...) が true である場合にのみ m(i...) != m(j...) が true となる場合、true を返します。
m.is_exhaustive()	bool	m.required_span_size() の範囲 [​0​, m.required_span_size()) 内のすべての k に対して、m(i...) が k に等しくなるような i が存在する場合、true を返します。
m.is_strided()	bool	m.extents() のすべてのランクインデックス r に対して、(i + d_r) が m.extents() における多次元インデックスとなるようなすべての i に対して、m((i + d_r)...) - m(i...) が s_r に等しくなるような整数 s_r が存在する場合、true を返します。
m.stride(r)	typename M​::​index_type	前提条件は m.is_strided() が true であることです。 上記の m.is_strided() で定義されているランクインデックス r におけるストライド s_r を返します。
M::is_always_unique()	bool	型 M のすべての可能なオブジェクト m に対して m.is_unique() が true である場合にのみ true を返します。 戻り値は常に定数式です。
M::is_always_exhaustive()	bool	型 M のすべての可能なオブジェクト m に対して m.is_exhaustive() が true である場合にのみ true を返します。 戻り値は常に定数式です。
M::is_always_strided()	bool	型 M のすべての可能なオブジェクト m に対して m.is_strided() が true である場合にのみ true を返します。 戻り値は常に定数式です。

コンセプト

std::layout_stride::mapping の下での制約のために、以下の説明専用コンセプトが定義されています。

template< class M > concept /*layout-mapping-alike*/ = requires {     requires /*is-extents*/<typename M::extents_type>;     { M::is_always_strided() }    -> std::same_as<bool>;     { M::is_always_exhaustive() } -> std::same_as<bool>;     { M::is_always_unique() }     -> std::same_as<bool>;     std::bool_constant<M::is_always_strided()>::value;     std::bool_constant<M::is_always_exhaustive()>::value;     std::bool_constant<M::is_always_unique()>::value; };		(説明用*)

上記の述語マッピング特性関数が存在し、定数式であり、戻り値の型が bool であることをチェックします。これは LayoutMapping 要件の最小限のユーザビリティ制約を定義します。

/*is-extents*/<E> が true であるのは、E が std::extents の特殊化である場合、かつその場合に限ります。

標準ライブラリ

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

mapping	layout_left のレイアウトマッピング (std::layout_left の public メンバクラステンプレート)
mapping	layout_right のレイアウトマッピング (std::layout_right の public メンバクラステンプレート)
mapping	layout_stride のレイアウトマッピング (std::layout_stride の public メンバクラステンプレート)
mapping	layout_left_padded のレイアウトマッピング (std::layout_left_padded<PaddingValue> の public メンバクラステンプレート)
mapping	layout_right_padded のレイアウトマッピング (std::layout_right_padded<PaddingValue> の public メンバクラステンプレート)

関連項目

• LayoutMappingPolicy