template<class IndexType, size_t k, class ... SliceSpecifiers>
constexpr IndexType first_(SliceSpecifiers... slices);
概要
first_
はsubmdspan
動作説明用の関数テンプレートである。
S_k
をSliceSpecifiers
のk
番目の型、s_k
をslices
のk
番目の値としたとき、説明用のP_k
の値を次のように定義する。
- 型
S_k
がconvertible_to<IndexType>
のモデルのときs_k
、そうでなければ - 型
S_k
がindex-pair-like<IndexType>
のモデルのときget<0>(s_k)
、そうでなければ - 型
S_k
がstrided_slice
の特殊化のときde-ice(s_k.offset)
、そうでなければ - 値
0
適格要件
IndexType
は符号付き整数型または符号無し整数型であること。
事前条件
P_k
がIndexType
型で表現可能な値であること。
戻り値
extents<IndexType>::index-cast(P_k)
バージョン
言語
- C++26