std::layout_left::mapping::submdspan_mapping(C++26)

template<class... SliceSpecifiers>
constexpr auto submdspan-mapping-impl(  // exposition only
  SliceSpecifiers ... slices) const -> see below;

template<class... SliceSpecifiers>
friend constexpr auto submdspan_mapping(
  const mapping& src, SliceSpecifiers... slices)
{
  return src.submdspan-mapping-impl(slices...);
}

概要

submdspan関数をサポートするためのカスタマイゼーションポイント。

説明用の型index_typeをExtents::index_type、型S_kをSliceSpecifiersのk番目の型とする。

テンプレートパラメータ制約

sizeof...(slices)がExtents::rank()と等しいこと。

適格要件

extents()の各次元インデクスkにおいて、下記いずれかのうち1つだけを満たすこと。

型S_kがconvertible_to<index_type>のモデル
型S_kがindex-pair-like<index_type>のモデル
is_convertible_v<S_k, full_extent_t>がtrue
型S_kがstrided_sliceの特殊化

事前条件

extents()の各次元インデクスkにおいて、s_kをslicesのk番目の値としたとき、下記を全て満たすこと。

型S_kがstrided_sliceの特殊化のとき
- s_k.extent == 0、または
- s_k.stride > 0
0 ≤ first_<index_type, k>(slices...) ≤ last_<k>(extents(), slices...) ≤ extents().extent(k)

戻り値

説明用の値や型を次の通り定義する。

値sub_ext : 式submdspan_extents(extents(), slices...)の結果
型SubExtents : decltype(sub_ext)
値sub_strides : extents()の各次元インデクスkにおいて、map-rank[k]がdynamic_extentではないkに対しsub_strides[map-rank[k]]が下記を満たす、array<SubExtents::index_type, SubExtents::rank()>型の配列値
- 型S_kがstrided_sliceの特殊化かつs_k.stride < s_k.extentの場合、stride(k) * de-ice(s_k.stride)
- そうでなければ、stride(k)
パラメータパックP : is_same_v<make_index_sequence<rank()>, index_sequence<P...>> == true
値offset : size_t型の値(*this)(first_<index_type, P>(slices...)...)

下記を満たす型Sを、単位ストライド幅スライス(unit-stride slice)と定義する。

型Sがstrided_sliceの特殊化であり型S::stride_typeがintegral-constant-likeのモデルかつS::stride_type::valueが1に等しい、もしくは
型Sがindex-pair-like<index_type>のモデル、もしくは
is_convertible_v<S, full_extent_t>がtrue

説明専用のsubmdspan-mapping-impl関数テンプレートは下記の値を返す。

Extents::rank() == 0のとき、submdspan_mapping_result{*this, 0}
SubExtents::rank() == 0のとき、submdspan_mapping_result{layout_left::mapping(sub_ext), offset}
以下を満たすとき、submdspan_mapping_result{layout_left::mapping(sub_ext), offset}
- 半開区間[0, SubExtents::rank()-1)の値kに対して、is_convertible_v<S_k, full_extent_t>がtrue、かつ
- SubExtents::rank()-1に等しい値kに対して、型S_kが単位ストライド幅スライスである
以下を満たすとき、submdspan_mapping_result{layout_left_padded<S_static>::mapping(sub_ext, stride(u + 1)), offset}
- 型S_pが単位ストライド幅スライスを満たす0より大きい最小値pに対して、u+1がpとなる値uを用いて
  - 型S_0が単位ストライド幅スライスであり、かつ
  - 半開区間[u+1, u+SubExtents::rank()-1)の値kに対して、is_convertible_v<S_k, full_extent_t>、かつ
  - u+SubExtents::rank()-1に等しい値kに対して、型S_kが単位ストライド幅スライスである
- ここで定数S_staticは
  - 半開区間[0, u+1)のいずれかの値kに対してstatic_extent(k)がdynamic_extentのとき、dynamic_extent
  - そうでなければ、半開区間[0, u+1)の全ての値kに対してstatic_extent(k)を乗算した値
submdspan_mapping_result{layout_stride::mapping(sub_ext, sub_strides), offset}

std::layout_left::mapping::submdspan_mapping(C++26)

概要

テンプレートパラメータ制約

適格要件

事前条件

戻り値

バージョン

言語

処理系

関連項目

参照