uni20::MdspanLike Concept Reference

A readable type implementing the mdspan observers and multidimensional subscript contract. More...

#include <concepts.hpp>

Concept definition

template<class S>
concept uni20::MdspanLike =  detail::SpanDescriptor<S> && AccessorPolicy<typename detail::span_type_t<S>::accessor_type> &&
                     detail::span_has_ranked_subscript<S>(std::make_index_sequence<detail::span_type_t<S>::rank()>{})

Detailed Description

A readable type implementing the mdspan observers and multidimensional subscript contract.

In addition to the standard mdspan descriptor aliases, a model exposes its static rank, extents, mapping, accessor, data handle, and an operator[] accepting one index per rank whose result is exactly reference.

Template Parameters

S	The type being tested for MdspanLike requirements.