first_.md

first_

• mdspan[meta header]
• function template[meta id-type]
• cpp26[meta cpp]

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

参照

• P2630R4 Submdspan