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