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...)...)
説明専用のsubmdspan-mapping-impl
関数テンプレートは下記の値を返す。
Extents::rank() == 0
のとき、submdspan_mapping_result{*this, 0}
rank_ == 1
またはSubExtents::rank() == 0
のとき、submdspan_mapping_result{layout_left::mapping(sub_ext), offset}
- 以下を満たすとき、
submdspan_mapping_result{layout_left::mapping(sub_ext), offset}
SubExtents::rank() == 1
、かつ- 型
S_0
がindex-pair-like<index_type>
のモデルもしくはis_convertible_v<S_0, full_extent_t>
がtrue
- 以下を満たすとき、
submdspan_mapping_result{layout_left_padded<S_static>::mapping(sub_ext, stride(u + 1)), offset}
- 型
S_p
がindex-pair-like<index_type>
のモデルもしくはis_convertible_v<S_k, full_extent_t>
がtrue
を満たす0
より大きい最小値p
に対して、u+1
がp
となる値u
を用いて- 型
S_0
がindex-pair-like<index_type>
のモデルもしくはis_convertible_v<S_0, full_extent_t>
がtrue
、かつ - 半開区間
[u+1, u+SubExtents::rank()-1)
の値k
に対して、is_convertible_v<S_k, full_extent_t>
、かつ u+SubExtents::rank()-1
に等しい値k
に対して、型S_k
がindex-pair-like<index_type>
のモデルもしくはis_convertible_v<S_k, full_extent_t>
がtrue
- 型
- ここで定数
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}
バージョン
言語
- C++26
処理系
- Clang: ??
- GCC: ??
- ICC: ??
- Visual C++: ??