uni20::MdspecLike Concept Reference

Mdspan metadata whose data handle is immediate or available through a data descriptor. More...

#include <concepts.hpp>

Concept definition

template<class S>
concept uni20::MdspecLike = 
    MdspanLike<S> || (detail::MdspecDescriptor<S> && AccessorPolicy<typename detail::span_type_t<S>::accessor_type>)

Detailed Description

Mdspan metadata whose data handle is immediate or available through a data descriptor.

Ordinary MdspanLike values model this concept as the immediate case. A deferred model instead exposes data_descriptor_type and data_descriptor() while retaining the actual mapping and accessor that will be used after handle acquisition. The concept does not require the concrete mdspec class.

Template Parameters

S	The type being tested for mdspec requirements.