[mdspan.sub.map.right] (original) (raw)
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.6 Specializations of submdspan_mapping [mdspan.sub.map]
23.7.3.7.6.3 layout_right specialization of submdspan_mapping [mdspan.sub.map.right]
template<class Extents> template<class... SliceSpecifiers> constexpr auto layout_right::mapping<Extents>::_submdspan-mapping-impl_( SliceSpecifiers... slices) const -> _see below_;
Returns:
- submdspan_mapping_result{*this, 0}, if Extents::rank() == 0 is true;
- otherwise,submdspan_mapping_result{layout_right::mapping(sub_ext), offset}, if SubExtents::rank() == 0 is true;
- otherwise,submdspan_mapping_result{layout_left::mapping(sub_ext), offset}, if
- otherwise,submdspan_mapping_result{layout_right_padded<S_static>::mapping(sub_ext, stride(rank_ - u - 2)), offset} if for a value u for which is the largest value p smaller than rank_ - 1for which is a unit-stride slice for mapping, the following conditions are met:
- for k equal to rank_ - 1, is a unit-stride slice for mapping; and
- for each k in the range [rank_ - SubExtents::rank() - u + 1, rank_ - u - 1),is_convertible_v<, full_extent_t> is true; and
- for k equal to rank_ - SubExtents::rank() - u,
is a unit-stride slice for mapping;
and where S_static is: - dynamic_extent, if static_extent(k) is dynamic_extentfor any k in the range [rank_ - u - 1, rank_),
- otherwise, the product of all valuesstatic_extent(k)for k in the range [rank_ - u - 1, rank_);
- otherwise,submdspan_mapping_result{layout_stride::mapping(sub_ext, sub_strides), offset}