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