[mdspan.sub.canonical]

🔗

template<class IndexType, size_t.. Extents, class. SliceSpecifiers>
  constexpr auto submdspan_canonicalize_slices(const extents<IndexType, Extents..>& src,
                                               SliceSpecifiers.. slices);

Mandates: For each rank index k of src:

(2.1)
SliceSpecifiers..[k] is a submdspan slice type for IndexType, and
(2.2)
decltype(canonical-slice<IndexType>(slices..[k]) is a valid submdspan slice type for the ${k th extent of extents < IndexType, Extents . . > .}^{th extent of extents < IndexType, Extents . . > .}$

Preconditions: For each rank index k of src, canonical-slice<IndexType>(slices..[k]) is a valid submdspan slice for the

{k th extent of src .}^{th extent of src .}

Returns: make_tuple(canonical-slice<IndexType>(slices).).

23 Containers library [containers]

23.7 Views [views]

23.7.3 Multidimensional access [views.multidim]

23.7.3.7 submdspan [mdspan.sub]

23.7.3.7.5 submdspan slice canonicalization [mdspan.sub.canonical]