[mdspan.sub.overview] (original) (raw)

23 Containers library [containers]

The submdspan facilities create a new mdspanviewing a subset of elements of an existing input mdspan.

The subset viewed by the created mdspan is determined by the SliceSpecifier arguments.

For each function defined in [mdspan.sub] that takes a parameter pack named slices as an argument:

let index_type be
- M::index_type if the function is a member of a class M,
- otherwise,remove_reference_t<decltype(src)>::index_type if the function has a parameter named src,
- otherwise, the same type as the function's template argument IndexType;
let rank be the number of elements in slices;
let be the element of slices;
let be the type of ; and
let map-rank be an array<size_t, rank> such that for each k in the range [0, rank),_map-rank_[k] equals:
- dynamic_extent if models convertible_to<index_type>,
- otherwise, the number of types with that do not model convertible_to<index_type>.