[views.multidim]

An integer r is a rank index of an index space S if r is in the range

[0, rank of S) .

A pack of integers idx is a multidimensional index in a multidimensional index space S (or representation thereof) if both of the following are true:

(3.1)
sizeof.(idx) is equal to the rank of S, and
(3.2)
for every rank index i of S, the ${i th value of idx is an integer in the interval [{L i, {U i) of S .}_{i) of S .}}_{i, {U i) of S .}_{i) of S .}}}^{th value of idx is an integer in the interval [{L i, {U i) of S .}_{i) of S .}}_{i, {U i) of S .}_{i) of S .}}}$

23.7.3.2 Header <mdspan> synopsis [mdspan.syn]

🔗

/ mostly freestanding namespace std { / [mdspan.extents], class template extents template<class IndexType, size_t.. Extents> class extents; / [mdspan.extents.dextents], alias template dextents template<class IndexType, size_t Rank> using dextents = see below; / [mdspan.extents.dims], alias template dims template<size_t Rank, class IndexType = size_t> using dims = see below; / [mdspan.layout], layout mapping struct layout_left; struct layout_right; struct layout_stride; template<size_t PaddingValue = dynamic_extent> struct layout_left_padded; template<size_t PaddingValue = dynamic_extent> struct layout_right_padded; / [mdspan.accessor.default], class template default_accessor template<class ElementType> class default_accessor; / [mdspan.accessor.aligned], class template aligned_accessor template<class ElementType, size_t ByteAlignment> class aligned_accessor; / [mdspan.mdspan], class template mdspan template<class ElementType, class Extents, class LayoutPolicy = layout_right, class AccessorPolicy = default_accessor<ElementType>> class mdspan; / partially freestanding / [mdspan.sub], submdspan creation template<class OffsetType, class LengthType, class StrideType> struct strided_slice; template<class LayoutMapping> struct submdspan_mapping_result; struct full_extent_t { explicit full_extent_t() = default; }; inline constexpr full_extent_t full_extent{}; template<class IndexType, size_t.. Extents, class. SliceSpecifiers> constexpr auto submdspan_extents(const extents<IndexType, Extents..>&, SliceSpecifiers..); / [mdspan.sub.canonical], submdspan slice canonicalization template<class IndexType, size_t.. Extents, class. Slices> constexpr auto submdspan_canonicalize_slices(const extents<IndexType, Extents..>& src, Slices.. slices); / [mdspan.sub.sub], submdspan function template template<class ElementType, class Extents, class LayoutPolicy, class AccessorPolicy, class. SliceSpecifiers> constexpr auto submdspan( const mdspan<ElementType, Extents, LayoutPolicy, AccessorPolicy>& src, SliceSpecifiers.. slices) -> see below; template<class T, class IndexType> concept index-pair-like = / exposition only pair-like<T> && convertible_to<tuple_element_t<0, T>, IndexType> && convertible_to<tuple_element_t<1, T>, IndexType>; }

23.7.3.3 Class template extents [mdspan.extents]

23.7.3.3.1 Overview [mdspan.extents.overview]

The class template extents represents a multidimensional index space of rank equal to sizeof.(Extents).

In [views], extents is used synonymously with multidimensional index space.

namespace std { template<class IndexType, size_t.. Extents> class extents { public: using index_type = IndexType; using size_type = make_unsigned_t<index_type>; using rank_type = size_t; / [mdspan.extents.obs], observers of the multidimensional index space static constexpr rank_type rank() noexcept { return sizeof.(Extents); } static constexpr rank_type rank_dynamic() noexcept { return dynamic-index(rank(); } static constexpr size_t static_extent(rank_type) noexcept; constexpr index_type extent(rank_type) const noexcept; / [mdspan.extents.cons], constructors constexpr extents() noexcept = default; template<class OtherIndexType, size_t.. OtherExtents> constexpr explicit(see below) extents(const extents<OtherIndexType, OtherExtents..>&) noexcept; template<class. OtherIndexTypes> constexpr explicit extents(OtherIndexTypes..) noexcept; template<class OtherIndexType, size_t N> constexpr explicit(N != rank_dynamic() extents(span<OtherIndexType, N>) noexcept; template<class OtherIndexType, size_t N> constexpr explicit(N != rank_dynamic() extents(const array<OtherIndexType, N>&) noexcept; / [mdspan.extents.cmp], comparison operators template<class OtherIndexType, size_t.. OtherExtents> friend constexpr bool operator=(const extents&, const extents<OtherIndexType, OtherExtents..>&) noexcept; / [mdspan.extents.expo], exposition-only helpers constexpr size_t fwd-prod-of-extents(rank_type) const noexcept; / exposition only constexpr size_t rev-prod-of-extents(rank_type) const noexcept; / exposition only template<class OtherIndexType> static constexpr auto index-cast(OtherIndexType&&) noexcept; / exposition only private: static constexpr rank_type dynamic-index(rank_type) noexcept; / exposition only static constexpr rank_type dynamic-index-inv(rank_type) noexcept; / exposition only array<index_type, rank_dynamic()> dynamic-extents{}; / exposition only }; template<class. Integrals> explicit extents(Integrals..) -> see below; }

Mandates:

(1.1)
IndexType is a signed or unsigned integer type, and
(1.2)
each element of Extents is either equal to dynamic_extent, or is representable as a value of type IndexType.

Each specialization of extents models regular and is trivially copyable.

Let

{E r be the {r th element of Extents .}^{th element of Extents .}}_{r be the {r th element of Extents .}^{th element of Extents .}}

{E r is a dynamic extent if it is equal to dynamic_extent, otherwise {E r is a static extent .}_{r is a static extent .}}_{r is a dynamic extent if it is equal to dynamic_extent, otherwise {E r is a static extent .}_{r is a static extent .}}

Let

{D r be the value of dynamic-extents [dynamic-index (r)] if {E r is a dynamic extent, otherwise {E r .}_{r .}}_{r is a dynamic extent, otherwise {E r .}_{r .}}}_{r be the value of dynamic-extents [dynamic-index (r)] if {E r is a dynamic extent, otherwise {E r .}_{r .}}_{r is a dynamic extent, otherwise {E r .}_{r .}}}

The

{r th interval of the multidimensional index space represented by an extents object is [0, {D r) .}_{r) .}}^{th interval of the multidimensional index space represented by an extents object is [0, {D r) .}_{r) .}}

23.7.3.3.2 Exposition-only helpers [mdspan.extents.expo]

🔗

static constexpr rank_type dynamic-index(rank_type i) noexcept;

Returns: The number of

{E r with r < i for which {E r is a dynamic extent .}_{r is a dynamic extent .}}_{r with r < i for which {E r is a dynamic extent .}_{r is a dynamic extent .}}

🔗

static constexpr rank_type dynamic-index-inv(rank_type i) noexcept;

Returns: The minimum value of r such that dynamic-index(r + 1) == i + 1 is true.

🔗

constexpr size_t fwd-prod-of-extents(rank_type i) const noexcept;

Returns: If i > 0 is true, the product of extent(k) for all k in the range [0, i), otherwise 1.

🔗

constexpr size_t rev-prod-of-extents(rank_type i) const noexcept;

Returns: If i + 1 < rank() is true, the product of extent(k) for all k in the range [i + 1, rank()), otherwise 1.

🔗

template<class OtherIndexType>
  static constexpr auto index-cast(OtherIndexType&& i) noexcept;

Effects:

(9.1)
If remove_cvref_t<OtherIndexType> is an integral type other than bool, then equivalent to return i;,
(9.2)
otherwise, equivalent to return static_cast<index_type>(i);.

[Note 1:

This function will always return an integral type other than bool.

Since this function's call sites are constrained on convertibility of OtherIndexType to index_type, integer-class types can use the static_cast branch without loss of precision.

— end note]

23.7.3.3.3 Constructors [mdspan.extents.cons]

🔗

template<class OtherIndexType, size_t.. OtherExtents>
  constexpr explicit(see below)
    extents(const extents<OtherIndexType, OtherExtents..>& other) noexcept;

Preconditions:

(2.1)
other.extent(r) equals ${E r for each r for which {E r is a static extent, and}_{r is a static extent, and}}_{r for each r for which {E r is a static extent, and}_{r is a static extent, and}}$
(2.2)
either
- (2.2.1)
  sizeof.(OtherExtents) is zero, or
- (2.2.2)
  other.extent(r) is representable as a value of type index_type for every rank index r of other.

Remarks: The expression inside explicit is equivalent to: ((Extents != dynamic_extent) && (OtherExtents == dynamic_extent)) || .. ) || (numeric_limits<index_type>::max() < numeric_limits<OtherIndexType>::max()

🔗

template<class. OtherIndexTypes>
  constexpr explicit extents(OtherIndexTypes.. exts) noexcept;

Let N be sizeof.(OtherIndexTypes), and let exts_arr be array<index_type, N>{static_cast<
index_type>(std::move(exts)).}.

Constraints:

(6.1)
(is_convertible_v<OtherIndexTypes, index_type> && ..) is true,
(6.2)
(is_nothrow_constructible_v<index_type, OtherIndexTypes> && ..) is true, and
(6.3)
N == rank_dynamic() || N == rank() is true.
[Note 1:
One can construct extents from just dynamic extents, which are all the values getting stored, or from all the extents with a precondition.
— end note]

Preconditions:

(7.1)
If N != rank_dynamic() is true, exts_arr[r] equals ${E r for each r for which {E r is a static extent, and}_{r is a static extent, and}}_{r for each r for which {E r is a static extent, and}_{r is a static extent, and}}$
(7.2)
either
- (7.2.1)
  sizeof.(exts) == 0 is true, or
- (7.2.2)
  each element of exts is representable as a nonnegative value of type index_type.

Postconditions: *this == extents(exts_arr) is true.

🔗

template<class OtherIndexType, size_t N>
  constexpr explicit(N != rank_dynamic()
    extents(span<OtherIndexType, N> exts) noexcept;
template<class OtherIndexType, size_t N>
  constexpr explicit(N != rank_dynamic()
    extents(const array<OtherIndexType, N>& exts) noexcept;

Preconditions:

(10.1)
If N != rank_dynamic() is true, exts[r] equals ${E r for each r for which {E r is a static extent, and}_{r is a static extent, and}}_{r for each r for which {E r is a static extent, and}_{r is a static extent, and}}$
(10.2)
either
- (10.2.1)
  N is zero, or
- (10.2.2)
  exts[r] is representable as a nonnegative value of type index_type for every rank index r.

Effects:

(11.1)
If N equals rank_dynamic(), for all d in the range [0, rank_dynamic()), direct-non-list-initializes dynamic-extents[d] with as_const(exts[d]).
(11.2)
Otherwise, for all d in the range [0, rank_dynamic()), direct-non-list-initializes dynamic-extents[d] with as_const(exts[dynamic-index-inv(d)]).

🔗

template<class. Integrals>
  explicit extents(Integrals..) -> see below;

Remarks: The deduced type is extents<size_t, maybe-static-ext<Integrals>.>.

23.7.3.3.4 Observers of the multidimensional index space [mdspan.extents.obs]

🔗

static constexpr size_t static_extent(rank_type i) noexcept;

Returns:

{E i .}_{i .}

🔗

constexpr index_type extent(rank_type i) const noexcept;

Returns:

{D i .}_{i .}

23.7.3.3.5 Comparison operators [mdspan.extents.cmp]

🔗

template<class OtherIndexType, size_t.. OtherExtents>
  friend constexpr bool operator=(const extents& lhs,
                                   const extents<OtherIndexType, OtherExtents..>& rhs) noexcept;

Returns: true if lhs.rank() equals rhs.rank() and if lhs.extent(r) equals rhs.extent(r) for every rank index r of rhs, otherwise false.

23.7.3.3.6 Alias template dextents [mdspan.extents.dextents]

🔗

template<class IndexType, size_t Rank>
  using dextents = see below;

Result: A type E that is a specialization of extents such that E::rank() == Rank && E::rank() == E::rank_dynamic() is true, and E::index_type denotes IndexType.

23.7.3.3.7 Alias template dims [mdspan.extents.dims]

🔗

template<size_t Rank, class IndexType = size_t>
  using dims = see below;

Result: A type E that is a specialization of extents such that E::rank() == Rank && E::rank() == E::rank_dynamic() is true, and E::index_type denotes IndexType.

23.7.3.4 Layout mapping [mdspan.layout]

23.7.3.4.1 General [mdspan.layout.general]

In [mdspan.layout.reqmts] and [mdspan.layout.policy.reqmts]:

(1.1)
M denotes a layout mapping class.
(1.2)
m denotes a (possibly const) value of type M.
(1.3)
i and j are packs of (possibly const) integers that are multidimensional indices in m.extents() ([mdspan.overview]).

[Note 1:
The type of each element of the packs can be a different integer type.
— end note]
(1.4)
r is a (possibly const) rank index of typename M::extents_type.
(1.5)
$d {r is a pack of (possibly const) integers for which sizeof . (d {r) = = M :: extents_type :: rank () is true, the {r th element is equal to 1, and all other elements are equal to 0 .}^{th element is equal to 1, and all other elements are equal to 0 .}}_{r) = = M :: extents_type :: rank ()}}_{r is a pack of (possibly const) integers for which sizeof . (d {r) = = M :: extents_type :: rank () is true, the {r th element is equal to 1, and all other elements are equal to 0 .}^{th element is equal to 1, and all other elements are equal to 0 .}}_{r) = = M :: extents_type :: rank ()}}$

In [mdspan.layout.reqmts] through [mdspan.layout.stride]:

(2.1)
Let is-mapping-of be the exposition-only variable template defined as follows: template<class Layout, class Mapping> constexpr bool is-mapping-of = / exposition only is_same_v<typename Layout::template mapping<typename Mapping::extents_type>, Mapping>;
(2.2)
Let is-layout-left-padded-mapping-of be the exposition-only variable template defined as follows: template<class Mapping> constexpr bool is-layout-left-padded-mapping-of = see below; / exposition only where is-layout-left-padded-mapping-of<Mapping> is true if and only if Mapping denotes a specialization of layout_left_padded<S>::mapping for some value S of type size_t.
(2.3)
Let is-layout-right-padded-mapping-of be the exposition-only variable template defined as follows: template<class Mapping> constexpr bool is-layout-right-padded-mapping-of = see below; / exposition only where is-layout-right-padded-mapping-of<Mapping> is true if and only if Mapping denotes a specialization of layout_right_padded<S>::mapping for some value S of type size_t.
(2.4)
For nonnegative integers x and y, let
LEAST-MULTIPLE-AT-LEAST(x,y) denote
(2.4.1)
y if x is zero,
(2.4.2)
otherwise, the least multiple of x that is greater than or equal to y.

23.7.3.4.2 Requirements [mdspan.layout.reqmts]

A type M meets the layout mapping requirements if

(1.1)
M models copyable and equality_comparable,
(1.2)
is_nothrow_move_constructible_v<M> is true,
(1.3)
is_nothrow_move_assignable_v<M> is true,
(1.4)
is_nothrow_swappable_v<M> is true, and
(1.5)
the following types and expressions are well-formed and have the specified semantics.

🔗

typename M::extents_type

Result: A type that is a specialization of extents.

🔗

typename M::index_type

Result: typename M::extents_type::index_type.

🔗

typename M::rank_type

Result: typename M::extents_type::rank_type.

🔗

typename M::layout_type

Result: A type MP that meets the layout mapping policy requirements ([mdspan.layout.policy.reqmts]) and for which is-mapping-of<MP, M> is true.

🔗

m.extents()

Result: const typename M::extents_type&

🔗

m(i..)

Returns: A nonnegative integer less than numeric_limits<typename M::index_type>::max() and less than or equal to numeric_limits<size_t>::max().

🔗

m(i..) == m(static_cast<typename M::index_type>(i).)

Returns: true

🔗

m.required_span_size()

Returns: If the size of the multidimensional index space m.extents() is 0, then 0, else 1 plus the maximum value of m(i..) for all i.

🔗

m.is_unique()

Returns: true only if for every i and j where (i != j || ..) is true, m(i..) != m(j..) is true.

[Note 1:

A mapping can return false even if the condition is met.

For certain layouts, it is possibly not feasible to determine efficiently whether the layout is unique.

— end note]

🔗

m.is_exhaustive()

Returns: true only if for all k in the range [0, m.required_span_size()) there exists an i such that m(i..) equals k.

[Note 2:

A mapping can return false even if the condition is met.

For certain layouts, it is possibly not feasible to determine efficiently whether the layout is exhaustive.

— end note]

🔗

m.is_strided()

Returns: true only if for every rank index r of m.extents() there exists an integer

{s r such that, for all i where (i + {d r) is a multidimensional index in m . extents () ([mdspan. overview]), m ((i + {d r) .) - m (i . .) equals {s r .}_{r .}}_{r) .) - m (i . .)}}_{r) is a multidimensional index in m . extents () ([mdspan. overview]), m ((i + {d r) .) - m (i . .) equals {s r .}_{r .}}_{r) .) - m (i . .)}}}_{r such that, for all i where (i + {d r) is a multidimensional index in m . extents () ([mdspan. overview]), m ((i + {d r) .) - m (i . .) equals {s r .}_{r .}}_{r) .) - m (i . .)}}_{r) is a multidimensional index in m . extents () ([mdspan. overview]), m ((i + {d r) .) - m (i . .) equals {s r .}_{r .}}_{r) .) - m (i . .)}}}

[Note 3:

This implies that for a strided layout

m ({i 0, \dots, {i k) = m (0, \dots, 0) + {i 0 \times {s 0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}_{0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}}_{0 \times {s 0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}_{0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}}}_{k) = m (0, \dots, 0) + {i 0 \times {s 0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}_{0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}}_{0 \times {s 0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}_{0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}}}}_{0, \dots, {i k) = m (0, \dots, 0) + {i 0 \times {s 0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}_{0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}}_{0 \times {s 0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}_{0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}}}_{k) = m (0, \dots, 0) + {i 0 \times {s 0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}_{0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}}_{0 \times {s 0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}_{0 + \dots + {i k \times {s k .}_{k .}}_{k \times {s k .}_{k .}}}}}}

— end note]

[Note 4:

A mapping can return false even if the condition is met.

For certain layouts, it is possibly not feasible to determine efficiently whether the layout is strided.

— end note]

🔗

m.stride(r)

[Note 5:

It is not required for m.stride(r) to be well-formed if m.extents().rank() is zero, even if m.is_always_strided() is true.

— end note]

🔗

M::is_always_unique()

Returns: true only if m.is_unique() is true for all possible objects m of type M.

[Note 6:

A mapping can return false even if the above condition is met.

For certain layout mappings, it is possibly not feasible to determine whether every instance is unique.

— end note]

🔗

M::is_always_exhaustive()

Returns: true only if m.is_exhaustive() is true for all possible objects m of type M.

[Note 7:

A mapping can return false even if the above condition is met.

For certain layout mappings, it is possibly not feasible to determine whether every instance is exhaustive.

— end note]

🔗

M::is_always_strided()

Returns: true only if m.is_strided() is true for all possible objects m of type M.

[Note 8:

A mapping can return false even if the above condition is met.

For certain layout mappings, it is possibly not feasible to determine whether every instance is strided.

— end note]

23.7.3.4.3 Layout mapping policy requirements [mdspan.layout.policy.reqmts]

A type MP meets the layout mapping policy requirements if for a type E that is a specialization of extents, MP::mapping<E> is valid and denotes a type X that meets the layout mapping requirements ([mdspan.layout.reqmts]), and for which the qualified-id X::layout_type is valid and denotes the type MP and the qualified-id X::extents_type denotes E.

23.7.3.4.4 Layout mapping policies [mdspan.layout.policy.overview]

namespace std { struct layout_left { template<class Extents> class mapping; }; struct layout_right { template<class Extents> class mapping; }; struct layout_stride { template<class Extents> class mapping; }; template<size_t PaddingValue> struct layout_left_padded { template<class Extents> class mapping; }; template<size_t PaddingValue> struct layout_right_padded { template<class Extents> class mapping; }; }

Each of layout_left, layout_right, and layout_stride, as well as each specialization of layout_left_padded and layout_right_padded, meets the layout mapping policy requirements and is a trivially copyable type.

Furthermore, is_trivially_default_constructible_v<T> is true for any such type T.

23.7.3.4.5 Class template layout_left::mapping [mdspan.layout.left]

23.7.3.4.5.1 Overview [mdspan.layout.left.overview]

layout_left provides a layout mapping where the leftmost extent has stride 1, and strides increase left-to-right as the product of extents.

namespace std { template<class Extents> class layout_left::mapping { public: using extents_type = Extents; using index_type = extents_type::index_type; using size_type = extents_type::size_type; using rank_type = extents_type::rank_type; using layout_type = layout_left; / [mdspan.layout.left.cons], constructors constexpr mapping() noexcept = default; constexpr mapping(const mapping&) noexcept = default; constexpr mapping(const extents_type&) noexcept; template<class OtherExtents> constexpr explicit(!is_convertible_v<OtherExtents, extents_type>) mapping(const mapping<OtherExtents>&) noexcept; template<class OtherExtents> constexpr explicit(!is_convertible_v<OtherExtents, extents_type>) mapping(const layout_right::mapping<OtherExtents>&) noexcept; template<class LayoutLeftPaddedMapping> constexpr explicit(!is_convertible_v<typename LayoutLeftPaddedMapping::extents_type, extents_type>) mapping(const LayoutLeftPaddedMapping&) noexcept; template<class OtherExtents> constexpr explicit(see below) mapping(const layout_stride::mapping<OtherExtents>&); constexpr mapping& operator=(const mapping&) noexcept = default; / [mdspan.layout.left.obs], observers constexpr const extents_type& extents() const noexcept { return extents_; } constexpr index_type required_span_size() const noexcept; template<class. Indices> constexpr index_type operator()(Indices..) const noexcept; static constexpr bool is_always_unique() noexcept { return true; } static constexpr bool is_always_exhaustive() noexcept { return true; } static constexpr bool is_always_strided() noexcept { return true; } static constexpr bool is_unique() noexcept { return true; } static constexpr bool is_exhaustive() noexcept { return true; } static constexpr bool is_strided() noexcept { return true; } constexpr index_type stride(rank_type) const noexcept; template<class OtherExtents> friend constexpr bool operator=(const mapping&, const mapping<OtherExtents>&) noexcept; private: extents_type extents_{}; / exposition only / [mdspan.sub.map], submdspan mapping specialization template<class. SliceSpecifiers> constexpr auto submdspan-mapping-impl(SliceSpecifiers..) const / exposition only -> see below; template<class. SliceSpecifiers> friend constexpr auto submdspan_mapping( const mapping& src, SliceSpecifiers.. slices) { return src.submdspan-mapping-impl(slices..); } }; }

If Extents is not a specialization of extents, then the program is ill-formed.

layout_left::mapping<E> is a trivially copyable type that models regular for each E.

Mandates: If Extents::rank_dynamic() == 0 is true, then the size of the multidimensional index space Extents() is representable as a value of type typename Extents::index_type.

23.7.3.4.5.2 Constructors [mdspan.layout.left.cons]

🔗

constexpr mapping(const extents_type& e) noexcept;

Preconditions: The size of the multidimensional index space e is representable as a value of type index_type ([basic.fundamental]).

Effects: Direct-non-list-initializes extents_ with e.

🔗

template<class OtherExtents>
  constexpr explicit(!is_convertible_v<OtherExtents, extents_type>)
    mapping(const mapping<OtherExtents>& other) noexcept;

Preconditions: other.required_span_size() is representable as a value of type index_type ([basic.fundamental]).

Effects: Direct-non-list-initializes extents_ with other.extents().

🔗

template<class OtherExtents>
  constexpr explicit(!is_convertible_v<OtherExtents, extents_type>)
    mapping(const layout_right::mapping<OtherExtents>& other) noexcept;

Preconditions: other.required_span_size() is representable as a value of type index_type ([basic.fundamental]).

Effects: Direct-non-list-initializes extents_ with other.extents().

🔗

template<class LayoutLeftPaddedMapping>
  constexpr explicit(!is_convertible_v<typename LayoutLeftPaddedMapping::extents_type,
                                       extents_type>)
    mapping(const LayoutLeftPaddedMapping&) noexcept;

Mandates: If

(10.1)
Extents::rank() is greater than one,
(10.2)
Extents::static_extent(0) does not equal dynamic_extent, and
(10.3)
LayoutLeftPaddedMapping::static-padding-stride does not equal dynamic_extent,

then Extents::static_extent(0) equals LayoutLeftPaddedMapping::static-padding-stride.

Preconditions:

(11.1)
If extents_type::rank() > 1 is true, then other.stride(1) equals other.extents().extent(0).
(11.2)
other.required_span_size() is representable as a value of type index_type.

Effects: Direct-non-list-initializes extents_ with other.extents().

🔗

template<class OtherExtents>
  constexpr explicit(see below)
    mapping(const layout_stride::mapping<OtherExtents>& other);

Preconditions:

(14.1)
If extents_type::rank() > 0 is true, then for all r in the range [0, extents_type::rank()), other.stride(r) equals other.extents().fwd-prod-of-extents(r), and
(14.2)
other.required_span_size() is representable as a value of type index_type ([basic.fundamental]).

Remarks: The expression inside explicit is equivalent to: !(extents_type::rank() == 0 && is_convertible_v<OtherExtents, extents_type>)

23.7.3.4.5.3 Observers [mdspan.layout.left.obs]

🔗

constexpr index_type required_span_size() const noexcept;

Returns: extents().fwd-prod-of-extents(extents_type::rank().

🔗

template<class. Indices>
  constexpr index_type operator()(Indices.. i) const noexcept;

Preconditions: extents_type::index-cast(i) is a multidimensional index in extents_ ([mdspan.overview]).

Effects: Let P be a parameter pack such that is_same_v<index_sequence_for<Indices..>, index_sequence<P..> is true.

Equivalent to: return ((static_cast<index_type>(i) * stride(P)) + .. + 0);

🔗

constexpr index_type stride(rank_type i) const noexcept;

Returns: extents().fwd-prod-of-extents(i).

🔗

template<class OtherExtents>
  friend constexpr bool operator=(const mapping& x, const mapping<OtherExtents>& y) noexcept;

layout_right provides a layout mapping where the rightmost extent is stride 1, and strides increase right-to-left as the product of extents.

namespace std { template<class Extents> class layout_right::mapping { public: using extents_type = Extents; using index_type = extents_type::index_type; using size_type = extents_type::size_type; using rank_type = extents_type::rank_type; using layout_type = layout_right; / [mdspan.layout.right.cons], constructors constexpr mapping() noexcept = default; constexpr mapping(const mapping&) noexcept = default; constexpr mapping(const extents_type&) noexcept; template<class OtherExtents> constexpr explicit(!is_convertible_v<OtherExtents, extents_type>) mapping(const mapping<OtherExtents>&) noexcept; template<class OtherExtents> constexpr explicit(!is_convertible_v<OtherExtents, extents_type>) mapping(const layout_left::mapping<OtherExtents>&) noexcept; template<class LayoutRightPaddedMapping> constexpr explicit(!is_convertible_v<typename LayoutRightPaddedMapping::extents_type, extents_type>) mapping(const LayoutRightPaddedMapping&) noexcept; template<class OtherExtents> constexpr explicit(see below) mapping(const layout_stride::mapping<OtherExtents>&) noexcept; constexpr mapping& operator=(const mapping&) noexcept = default; / [mdspan.layout.right.obs], observers constexpr const extents_type& extents() const noexcept { return extents_; } constexpr index_type required_span_size() const noexcept; template<class. Indices> constexpr index_type operator()(Indices..) const noexcept; static constexpr bool is_always_unique() noexcept { return true; } static constexpr bool is_always_exhaustive() noexcept { return true; } static constexpr bool is_always_strided() noexcept { return true; } static constexpr bool is_unique() noexcept { return true; } static constexpr bool is_exhaustive() noexcept { return true; } static constexpr bool is_strided() noexcept { return true; } constexpr index_type stride(rank_type) const noexcept; template<class OtherExtents> friend constexpr bool operator=(const mapping&, const mapping<OtherExtents>&) noexcept; private: extents_type extents_{}; / exposition only / [mdspan.sub.map], submdspan mapping specialization template<class. SliceSpecifiers> constexpr auto submdspan-mapping-impl(SliceSpecifiers..) const / exposition only -> see below; template<class. SliceSpecifiers> friend constexpr auto submdspan_mapping( const mapping& src, SliceSpecifiers.. slices) { return src.submdspan-mapping-impl(slices..); } }; }

If Extents is not a specialization of extents, then the program is ill-formed.

layout_right::mapping<E> is a trivially copyable type that models regular for each E.

Mandates: If Extents::rank_dynamic() == 0 is true, then the size of the multidimensional index space Extents() is representable as a value of type typename Extents::index_type.

23.7.3.4.6.2 Constructors [mdspan.layout.right.cons]

🔗

constexpr mapping(const extents_type& e) noexcept;

Preconditions: The size of the multidimensional index space e is representable as a value of type index_type ([basic.fundamental]).

Effects: Direct-non-list-initializes extents_ with e.

🔗

template<class OtherExtents>
  constexpr explicit(!is_convertible_v<OtherExtents, extents_type>)
    mapping(const mapping<OtherExtents>& other) noexcept;

Preconditions: other.required_span_size() is representable as a value of type index_type ([basic.fundamental]).

Effects: Direct-non-list-initializes extents_ with other.extents().

🔗

template<class OtherExtents>
  constexpr explicit(!is_convertible_v<OtherExtents, extents_type>)
    mapping(const layout_left::mapping<OtherExtents>& other) noexcept;

Preconditions: other.required_span_size() is representable as a value of type index_type ([basic.fundamental]).

Effects: Direct-non-list-initializes extents_ with other.extents().

🔗

template<class LayoutRightPaddedMapping>
  constexpr explicit(!is_convertible_v<typename LayoutRightPaddedMapping::extents_type,
                                       extents_type>)
    mapping(const LayoutRightPaddedMapping&) noexcept;

Constraints:

(9.1)
is-layout-right-padded-mapping-of<LayoutRightPaddedMapping> is true.
(9.2)
is_constructible_v<extents_type, typename LayoutRightPaddedMapping::extents_-
type> is true.

Mandates: If

(10.1)
Extents::rank() is greater than one,
(10.2)
Extents::static_extent(Extents::rank() - 1) does not equal dynamic_extent, and
(10.3)
LayoutRightPaddedMapping::static-padding-stride does not equal dynamic_extent,

then Extents::static_extent(Extents::rank() - 1) equals LayoutRightPaddedMapping::static-padding-stride.

Preconditions:

(11.1)
If extents_type::rank() > 1 is true, then other.stride(extents_type::rank() - 2)
equals other.extents().extent(extents_type::rank() - 1).
(11.2)
other.required_span_size() is representable as a value of type index_type.

Effects: Direct-non-list-initializes extents_ with other.extents().

🔗

template<class OtherExtents>
  constexpr explicit(see below)
    mapping(const layout_stride::mapping<OtherExtents>& other) noexcept;

Preconditions:

(14.1)
If extents_type::rank() > 0 is true, then for all r in the range [0, extents_type::rank()), other.stride(r) equals other.extents().rev-prod-of-extents(r).
(14.2)
other.required_span_size() is representable as a value of type index_type ([basic.fundamental]).

Remarks: The expression inside explicit is equivalent to: !(extents_type::rank() == 0 && is_convertible_v<OtherExtents, extents_type>)

23.7.3.4.6.3 Observers [mdspan.layout.right.obs]

🔗

constexpr index_type required_span_size() const noexcept;

Returns: extents().fwd-prod-of-extents(extents_type::rank().

🔗

template<class. Indices>
  constexpr index_type operator()(Indices.. i) const noexcept;

Constraints:

(2.1)
sizeof.(Indices) == extents_type::rank() is true,
(2.2)
(is_convertible_v<Indices, index_type> && ..) is true, and
(2.3)
(is_nothrow_constructible_v<index_type, Indices> && ..) is true.

Preconditions: extents_type::index-cast(i) is a multidimensional index in extents_ ([mdspan.overview]).

Effects: Let P be a parameter pack such that is_same_v<index_sequence_for<Indices..>, index_sequence<P..> is true.

Equivalent to: return ((static_cast<index_type>(i) * stride(P)) + .. + 0);

🔗

constexpr index_type stride(rank_type i) const noexcept;

Returns: extents().rev-prod-of-extents(i).

🔗

template<class OtherExtents>
  friend constexpr bool operator=(const mapping& x, const mapping<OtherExtents>& y) noexcept;

layout_stride provides a layout mapping where the strides are user-defined.

namespace std { template<class Extents> class layout_stride::mapping { public: using extents_type = Extents; using index_type = extents_type::index_type; using size_type = extents_type::size_type; using rank_type = extents_type::rank_type; using layout_type = layout_stride; private: static constexpr rank_type rank_ = extents_type::rank(); / exposition only public: / [mdspan.layout.stride.cons], constructors constexpr mapping() noexcept; constexpr mapping(const mapping&) noexcept = default; template<class OtherIndexType> constexpr mapping(const extents_type&, span<OtherIndexType, rank_>) noexcept; template<class OtherIndexType> constexpr mapping(const extents_type&, const array<OtherIndexType, rank_>&) noexcept; template<class StridedLayoutMapping> constexpr explicit(see below) mapping(const StridedLayoutMapping&) noexcept; constexpr mapping& operator=(const mapping&) noexcept = default; / [mdspan.layout.stride.obs], observers constexpr const extents_type& extents() const noexcept { return extents_; } constexpr array<index_type, rank_> strides() const noexcept { return strides_; } constexpr index_type required_span_size() const noexcept; template<class. Indices> constexpr index_type operator()(Indices..) const noexcept; static constexpr bool is_always_unique() noexcept { return true; } static constexpr bool is_always_exhaustive() noexcept; static constexpr bool is_always_strided() noexcept { return true; } static constexpr bool is_unique() noexcept { return true; } constexpr bool is_exhaustive() const noexcept; static constexpr bool is_strided() noexcept { return true; } constexpr index_type stride(rank_type i) const noexcept { return strides_[i]; } template<class OtherMapping> friend constexpr bool operator=(const mapping&, const OtherMapping&) noexcept; private: extents_type extents_{}; / exposition only array<index_type, rank_> strides_{}; / exposition only / [mdspan.sub.map], submdspan mapping specialization template<class. SliceSpecifiers> constexpr auto submdspan-mapping-impl(SliceSpecifiers..) const / exposition only -> see below; template<class. SliceSpecifiers> friend constexpr auto submdspan_mapping( const mapping& src, SliceSpecifiers.. slices) { return src.submdspan-mapping-impl(slices..); } }; }

If Extents is not a specialization of extents, then the program is ill-formed.

layout_stride::mapping<E> is a trivially copyable type that models regular for each E.

Mandates: If Extents::rank_dynamic() == 0 is true, then the size of the multidimensional index space Extents() is representable as a value of type typename Extents::index_type.

23.7.3.4.7.2 Exposition-only helpers [mdspan.layout.stride.expo]

Let REQUIRED-SPAN-SIZE(e, strides) be:

(1.1)
1, if e.rank() == 0 is true,
(1.2)
otherwise 0, if the size of the multidimensional index space e is 0,
(1.3)
otherwise 1 plus the sum of products of (e.extent(r) - 1) and extents_type::index-cast(strides[r]) for all r in the range [0, e.rank()).

Let OFFSET(m) be:

(2.1)
m(), if e.rank() == 0 is true,
(2.2)
otherwise 0, if the size of the multidimensional index space e is 0,
(2.3)
otherwise m(z..) for a pack of integers z that is a multidimensional index in m.extents() and each element of z equals 0.

Let is-extents be the exposition-only variable template defined as follows: template<class T> constexpr bool is-extents = false; / exposition only template<class IndexType, size_t.. Args> constexpr bool is-extents<extents<IndexType, Args..> = true; / exposition only

Let layout-mapping-alike be the exposition-only concept defined as follows: template<class M> concept layout-mapping-alike = requires { / exposition only requires is-extents<typename M::extents_type>; { M::is_always_strided() } -> same_as<bool>; { M::is_always_exhaustive() } -> same_as<bool>; { M::is_always_unique() } -> same_as<bool>; bool_constant<M::is_always_strided()>::value; bool_constant<M::is_always_exhaustive()>::value; bool_constant<M::is_always_unique()>::value; };

[Note 1:

This concept checks that the functions M::is_always_strided(), M::is_always_exhaustive(), and M::is_always_unique() exist, are constant expressions, and have a return type of bool.

— end note]

23.7.3.4.7.3 Constructors [mdspan.layout.stride.cons]

🔗

constexpr mapping() noexcept;

Preconditions: layout_right::mapping<extents_type>().required_span_size() is representable as a value of type index_type ([basic.fundamental]).

Effects: Direct-non-list-initializes extents_ with extents_type(), and for all d in the range [0, rank_), direct-non-list-initializes strides_[d] with layout_right::mapping<extents_type>().stride(d).

🔗

template<class OtherIndexType>
  constexpr mapping(const extents_type& e, span<OtherIndexType, rank_> s) noexcept;
template<class OtherIndexType>
  constexpr mapping(const extents_type& e, const array<OtherIndexType, rank_>& s) noexcept;

Preconditions:

(4.1)
The result of converting s[i] to index_type is greater than 0 for all i in the range [0, rank_).
(4.2)
REQUIRED-SPAN-SIZE(e, s) is representable as a value of type index_type ([basic.fundamental]).
(4.3)
If rank_ is greater than 0, then there exists a permutation P of the integers in the range [0, rank_), such that s[ ${p i] > = s [{p i - 1] * e . extent (p {i - 1) is true for all i in the range [1, rank_), where {p i is the {i th element of P .}^{th element of P .}}_{i is the {i th element of P .}^{th element of P .}}}_{i - 1) is true for all i in the range [1, rank_), where {p i is the {i th element of P .}^{th element of P .}}_{i is the {i th element of P .}^{th element of P .}}}}_{i - 1] * e . extent (p {i - 1) is true for all i in the range [1, rank_), where {p i is the {i th element of P .}^{th element of P .}}_{i is the {i th element of P .}^{th element of P .}}}_{i - 1) is true for all i in the range [1, rank_), where {p i is the {i th element of P .}^{th element of P .}}_{i is the {i th element of P .}^{th element of P .}}}}}_{i] > = s [{p i - 1] * e . extent (p {i - 1) is true for all i in the range [1, rank_), where {p i is the {i th element of P .}^{th element of P .}}_{i is the {i th element of P .}^{th element of P .}}}_{i - 1) is true for all i in the range [1, rank_), where {p i is the {i th element of P .}^{th element of P .}}_{i is the {i th element of P .}^{th element of P .}}}}_{i - 1] * e . extent (p {i - 1) is true for all i in the range [1, rank_), where {p i is the {i th element of P .}^{th element of P .}}_{i is the {i th element of P .}^{th element of P .}}}_{i - 1) is true for all i in the range [1, rank_), where {p i is the {i th element of P .}^{th element of P .}}_{i is the {i th element of P .}^{th element of P .}}}}}$

[Note 1:
For layout_stride, this condition is necessary and sufficient for is_unique() to be true.
— end note]

Effects: Direct-non-list-initializes extents_ with e, and for all d in the range [0, rank_), direct-non-list-initializes strides_[d] with as_const(s[d]).

🔗

template<class StridedLayoutMapping>
  constexpr explicit(see below)
    mapping(const StridedLayoutMapping& other) noexcept;

Preconditions:

(7.1)
StridedLayoutMapping meets the layout mapping requirements ([mdspan.layout.reqmts]),
(7.2)
other.stride(r) > 0 is true for every rank index r of extents(),
(7.3)
other.required_span_size() is representable as a value of type index_type ([basic.fundamental]), and
(7.4)
OFFSET(other) == 0 is true.

Effects: Direct-non-list-initializes extents_ with other.extents(), and for all d in the range [0, rank_), direct-non-list-initializes strides_[d] with other.stride(d).

Remarks: The expression inside explicit is equivalent to: !(is_convertible_v<typename StridedLayoutMapping::extents_type, extents_type> && (is-mapping-of<layout_left, StridedLayoutMapping> || is-mapping-of<layout_right, StridedLayoutMapping> || is-layout-left-padded-mapping-of<StridedLayoutMapping> || is-layout-right-padded-mapping-of<StridedLayoutMapping> || is-mapping-of<layout_stride, StridedLayoutMapping>)

23.7.3.4.7.4 Observers [mdspan.layout.stride.obs]

🔗

constexpr index_type required_span_size() const noexcept;

Returns: REQUIRED-SPAN-SIZE(extents(), strides_).

🔗

template<class. Indices>
  constexpr index_type operator()(Indices.. i) const noexcept;

Preconditions: extents_type::index-cast(i) is a multidimensional index in extents_ ([mdspan.overview]).

Effects: Let P be a parameter pack such that is_same_v<index_sequence_for<Indices..>, index_sequence<P..> is true.

Equivalent to: return ((static_cast<index_type>(i) * stride(P)) + .. + 0);

🔗

static constexpr bool is_always_exhaustive() noexcept;

Returns: true if rank_ is 0 or if there is a rank index r of extents() such that extents_type::static_extent(r) is 0, otherwise false.

🔗

constexpr bool is_exhaustive() const noexcept;

Returns:

(6.1)
true if rank_ or the size of the multidimensional index space m.extents() is 0.
(6.2)
Otherwise, true if there is a permutation P of the integers in the range [0, rank_) such that stride( ${p 0) equals 1, and stride ({p i) equals stride ({p i - 1) * extents () . extent ({p i - 1) for i in the range [1, rank_), where {p i is the {i th element of P .}^{th element of P .}}_{i is the {i th element of P .}^{th element of P .}}}_{i - 1) for i in the range [1, rank_), where {p i is the {i th element of P .}^{th element of P .}}_{i is the {i th element of P .}^{th element of P .}}}}_{i - 1) * extents () . extent ({p i - 1) for i in the range [1, rank_), where {p i is the {i th element of P .}^{th element of P .}}_{i is the {i th element of P .}^{th element of P .}}}_{i - 1) for i in the range [1, rank_), where {p i is the {i th element of P .}^{th element of P .}}_{i is the {i th element of P .}^{th element of P .}}}}}_{i)}}_{0)}$
(6.3)
Otherwise, false.

🔗

template<class OtherMapping>
  friend constexpr bool operator=(const mapping& x, const OtherMapping& y) noexcept;

Returns: true if x.extents() == y.extents() is true, OFFSET(y) == 0 is true, and each of x.stride(r) == y.stride(r) is true for r in the range [0, x.extents().rank()).

Otherwise, false.

23.7.3.4.8 Class template layout_left_padded::mapping [mdspan.layout.leftpad]

23.7.3.4.8.1 Overview [mdspan.layout.leftpad.overview]

layout_left_padded provides a layout mapping that behaves like layout_left::mapping, except that the padding stride stride(1) can be greater than or equal to extent(0).

namespace std { template<size_t PaddingValue> template<class Extents> class layout_left_padded<PaddingValue>::mapping { public: static constexpr size_t padding_value = PaddingValue; using extents_type = Extents; using index_type = extents_type::index_type; using size_type = extents_type::size_type; using rank_type = extents_type::rank_type; using layout_type = layout_left_padded<PaddingValue>; private: static constexpr size_t rank_ = extents_type::rank(); / exposition only static constexpr size_t first-static-extent = / exposition only extents_type::static_extent(0); / [mdspan.layout.leftpad.expo], exposition-only members static constexpr size_t static-padding-stride = see below; / exposition only public: / [mdspan.layout.leftpad.cons], constructors constexpr mapping() noexcept : mapping(extents_type{}) {} constexpr mapping(const mapping&) noexcept = default; constexpr mapping(const extents_type&); template<class OtherIndexType> constexpr mapping(const extents_type&, OtherIndexType); template<class OtherExtents> constexpr explicit(!is_convertible_v<OtherExtents, extents_type>) mapping(const layout_left::mapping<OtherExtents>&); template<class OtherExtents> constexpr explicit(see below) mapping(const layout_stride::mapping<OtherExtents>&); template<class LayoutLeftPaddedMapping> constexpr explicit(see below) mapping(const LayoutLeftPaddedMapping&); template<class LayoutRightPaddedMapping> constexpr explicit(see below) mapping(const LayoutRightPaddedMapping&) noexcept; constexpr mapping& operator=(const mapping&) noexcept = default; / [mdspan.layout.leftpad.obs], observers constexpr const extents_type& extents() const noexcept { return extents_; } constexpr array<index_type, rank_> strides() const noexcept; constexpr index_type required_span_size() const noexcept; template<class. Indices> constexpr index_type operator()(Indices..) const noexcept; static constexpr bool is_always_unique() noexcept { return true; } static constexpr bool is_always_exhaustive() noexcept; static constexpr bool is_always_strided() noexcept { return true; } static constexpr bool is_unique() noexcept { return true; } constexpr bool is_exhaustive() const noexcept; static constexpr bool is_strided() noexcept { return true; } constexpr index_type stride(rank_type) const noexcept; template<class LayoutLeftPaddedMapping> friend constexpr bool operator=(const mapping&, const LayoutLeftPaddedMapping&) noexcept; private: / [mdspan.layout.leftpad.expo], exposition-only members index_type stride-1 = static-padding-stride; / exposition only extents_type extents_{}; / exposition only / [mdspan.sub.map], submdspan mapping specialization template<class. SliceSpecifiers> constexpr auto submdspan-mapping-impl(SliceSpecifiers..) const / exposition only -> see below; template<class. SliceSpecifiers> friend constexpr auto submdspan_mapping(const mapping& src, SliceSpecifiers.. slices) { return src.submdspan-mapping-impl(slices..); } }; }

If Extents is not a specialization of extents, then the program is ill-formed.

layout_left_padded::mapping<E> is a trivially copyable type that models regular for each E.

Throughout [mdspan.layout.leftpad], let P_rank be the following size rank_ parameter pack of size_t values:

(4.1)
the empty parameter pack, if rank_ equals zero;
(4.2)
otherwise, 0zu, if rank_ equals one;
(4.3)
otherwise, the parameter pack 0zu, 1zu, …, rank_- 1.

Mandates:

(5.1)
If rank_dynamic() == 0 is true, then the size of the multidimensional index space Extents() is representable as a value of type index_type.
(5.2)
If padding_value is not equal to dynamic_extent, then padding_value is representable as a value of type index_type.
(5.3)
If
- (5.3.1)
  rank_ is greater than one,
- (5.3.2)
  padding_value does not equal dynamic_extent, and
- (5.3.3)
  first-static-extent does not equal dynamic_extent,
then LEAST-MULTIPLE-AT-LEAST(padding_value, first-static-extent) is representable as a value of type size_t, and is representable as a value of type index_type.
(5.4)
If
- (5.4.1)
  rank_ is greater than one,
- (5.4.2)
  padding_value does not equal dynamic_extent, and
- (5.4.3)
  extents_type::static_extent(k) does not equal dynamic_extent for all k in the range [0, extents_type::rank()),
then the product of LEAST-MULTIPLE-AT-LEAST(padding_value, ext.static_extent(0) and all values ext.static_extent(k) with k in the range of [1, rank_) is representable as a value of type size_t, and is representable as a value of type index_type.

23.7.3.4.8.2 Exposition-only members [mdspan.layout.leftpad.expo]

🔗

static constexpr size_t static-padding-stride = see below;

The value is

(1.1)
0, if rank_ equals zero or one;
(1.2)
otherwise, dynamic_extent, if padding_value or first-static-extent equals dynamic_extent;
(1.3)
otherwise, the size_t value which is LEAST-MULTIPLE-AT-LEAST(padding_value, first-static-extent).

🔗

index_type stride-1 = static-padding-stride;

Recommended practice: Implementations should not store this value if static-padding-stride is not dynamic_extent.

[Note 1:

Using extents<index_type, static-padding-stride> instead of index_type as the type of stride-1 would achieve this.

— end note]

23.7.3.4.8.3 Constructors [mdspan.layout.leftpad.cons]

🔗

constexpr mapping(const extents_type& ext);

Preconditions:

(1.1)
The size of the multidimensional index space ext is representable as a value of type index_type.
(1.2)
If rank_ is greater than one and padding_value does not equal dynamic_extent, then LEAST-MULTIPLE-AT-LEAST(padding_value, ext.extent(0) is representable as a value of type index_type.
(1.3)
If rank_ is greater than one and padding_value does not equal dynamic_extent, then the product of LEAST-MULTIPLE-AT-LEAST(padding_value, ext.extent(0) and all values ext.extent(k) with k in the range of [1, rank_) is representable as a value of type index_type.

Effects:

(2.1)
Direct-non-list-initializes extents_ with ext; and
(2.2)
if rank_ is greater than one, direct-non-list-initializes stride-1
- (2.2.1)
  with ext.extent(0) if padding_value is dynamic_extent,
- (2.2.2)
  otherwise with LEAST-MULTIPLE-AT-LEAST(padding_value, ext.extent(0).

🔗

template<class OtherIndexType>
constexpr mapping(const extents_type& ext, OtherIndexType pad);

Preconditions:

(4.1)
pad is representable as a value of type index_type.
(4.2)
extents_type::index-cast(pad) is greater than zero.
(4.3)
If rank_ is greater than one, then LEAST-MULTIPLE-AT-LEAST(pad, ext.extent(0) is representable as a value of type index_type.
(4.4)
If rank_ is greater than one, then the product of LEAST-MULTIPLE-AT-LEAST(pad, ext.extent(0) and all values ext.extent(k) with k in the range of [1, rank_) is representable as a value of type index_type.
(4.5)
If padding_value is not equal to dynamic_extent, padding_value equals extents_type::index-cast(pad).

Effects: Direct-non-list-initializes extents_ with ext, and if rank_ is greater than one, direct-non-list-initializes stride-1 with LEAST-MULTIPLE-AT-LEAST(pad, ext.extent(0).

🔗

template<class OtherExtents>
  constexpr explicit(!is_convertible_v<OtherExtents, extents_type>)
    mapping(const layout_left::mapping<OtherExtents>& other);

Mandates: If OtherExtents::rank() is greater than 1, then (static-padding-stride == dynamic_extent) || (OtherExtents::static_extent(0) == dynamic_extent) || (static-padding-stride == OtherExtents::static_extent(0) is true.

Preconditions:

(8.1)
If extents_type::rank() > 1 is true and padding_value == dynamic_extent is false, then other.stride(1) equals LEAST-MULTIPLE-AT-LEAST(padding_value, extents_type::index-cast(other.extents().extent(0) and
(8.2)
other.required_span_size() is representable as a value of type index_type.

Effects: Equivalent to mapping(other.extents().

🔗

template<class OtherExtents>
  constexpr explicit(see below)
    mapping(const layout_stride::mapping<OtherExtents>& other);

Preconditions:

(11.1)
If rank_ is greater than 1 and padding_value does not equal dynamic_extent, then other.stride(1) equals LEAST-MULTIPLE-AT-LEAST(padding_value, extents_type::index-cast(other.extents().extent(0)
(11.2)
If rank_ is greater than 0, then other.stride(0) equals 1.
(11.3)
If rank_ is greater than 2, then for all r in the range [2, rank_), other.stride(r) equals (other.extents().fwd-prod-of-extents(r) / other.extents().extent(0) * other.stride(1)
(11.4)
other.required_span_size() is representable as a value of type index_type.

Effects:

(12.1)
Direct-non-list-initializes extents_ with other.extents() and
(12.2)
if rank_ is greater than one, direct-non-list-initializes stride-1 with other.stride(1).

Remarks: The expression inside explicit is equivalent to: !(rank_ == 0 && is_convertible_v<OtherExtents, extents_type>)

🔗

template<class LayoutLeftPaddedMapping>
  constexpr explicit(see below)
    mapping(const LayoutLeftPaddedMapping& other);

Constraints:

(14.1)
is-layout-left-padded-mapping-of<LayoutLeftPaddedMapping> is true.
(14.2)
is_constructible_v<extents_type, typename LayoutLeftPaddedMapping::extents_type>
is true.

Mandates: If rank_ is greater than 1, then padding_value == dynamic_extent || LayoutLeftPaddedMapping::padding_value == dynamic_extent || padding_value == LayoutLeftPaddedMapping::padding_value is true.

Preconditions:

(16.1)
If rank_ is greater than 1 and padding_value does not equal dynamic_extent, then other.stride(1) equals LEAST-MULTIPLE-AT-LEAST(padding_value, extents_type::index-cast(other.extent(0)
(16.2)
other.required_span_size() is representable as a value of type index_type.

Effects:

(17.1)
Direct-non-list-initializes extents_ with other.extents() and
(17.2)
if rank_ is greater than one, direct-non-list-initializes stride-1 with other.stride(1).

Remarks: The expression inside explicit is equivalent to: !is_convertible_v<typename LayoutLeftPaddedMapping::extents_type, extents_type> || rank_> 1 && (padding_value != dynamic_extent || LayoutLeftPaddedMapping::padding_value == dynamic_extent)

🔗

template<class LayoutRightPaddedMapping>
  constexpr explicit(see below)
    mapping(const LayoutRightPaddedMapping& other) noexcept;

Constraints:

(19.1)
is-layout-right-padded-mapping-of<LayoutRightPaddedMapping> is true or
is-mapping-of<layout_right, LayoutRightPaddedMapping> is true.
(19.2)
rank_ equals zero or one.
(19.3)
is_constructible_v<extents_type, typename LayoutRightPaddedMapping::extents_-
type> is true.

Preconditions: other.required_span_size() is representable as a value of type index_type.

Remarks: The expression inside explicit is equivalent to: !is_convertible_v<typename LayoutRightPaddedMapping::extents_type, extents_type>

[Note 1:

Neither the input mapping nor the mapping to be constructed uses the padding stride in the rank-0 or rank-1 case, so the padding stride does not affect either the constraints or the preconditions.

— end note]

23.7.3.4.8.4 Observers [mdspan.layout.leftpad.obs]

🔗

constexpr array<index_type, rank_> strides() const noexcept;

Returns: array<index_type, rank_>({stride(P_rank).}).

🔗

constexpr index_type required_span_size() const noexcept;

Returns:

(2.1)
0 if the multidimensional index space extents_ is empty,
(2.2)
otherwise, (*this)(extents_.extent(P_rank) - index_type(1).) + 1.

🔗

template<class. Indices>
constexpr size_t operator()(Indices.. idxs) const noexcept;

Preconditions: extents_type::index-cast(idxs) is a multidimensional index in extents() ([mdspan.overview]).

Returns: ((static_cast<index_type>(idxs) * stride(P_rank)) + .. + 0).

🔗

static constexpr bool is_always_exhaustive() noexcept;

Returns:

(6.1)
If rank_ equals zero or one, then true;
(6.2)
otherwise, if neither static-padding-stride nor first-static-extent equal dynamic_extent, then static-padding-stride == first-static-extent;
(6.3)
otherwise, false.

🔗

constexpr bool is_exhaustive() const noexcept;

Returns: true if rank_ equals zero or one; otherwise, extents_.extent(0) == stride(1).

🔗

constexpr index_type stride(rank_type r) const noexcept;

Returns:

(9.1)
If r equals zero: 1;
(9.2)
otherwise, if r equals one: stride-1;
(9.3)
otherwise, the product of stride-1 and all values extents_.extent(k) with k in the range [1, r).

🔗

template<class LayoutLeftPaddedMapping>
  friend constexpr bool operator=(const mapping& x, const LayoutLeftPaddedMapping& y) noexcept;

Constraints:

(10.1)
is-layout-left-padded-mapping-of<LayoutLeftPaddedMapping> is true.
(10.2)
LayoutLeftPaddedMapping::extents_type::rank() == rank_ is true.

Returns: true if x.extents() == y.extents() is true and rank_ < 2 || x.stride(1) == y.
stride(1) is true.

Otherwise, false.

23.7.3.4.9 Class template layout_right_padded::mapping [mdspan.layout.rightpad]

23.7.3.4.9.1 Overview [mdspan.layout.rightpad.overview]

layout_right_padded provides a layout mapping that behaves like layout_right::mapping, except that the padding stride stride(extents_type::rank() - 2) can be greater than or equal to extents_type::extent(extents_type::rank() - 1).

namespace std { template<size_t PaddingValue> template<class Extents> class layout_right_padded<PaddingValue>::mapping { public: static constexpr size_t padding_value = PaddingValue; using extents_type = Extents; using index_type = extents_type::index_type; using size_type = extents_type::size_type; using rank_type = extents_type::rank_type; using layout_type = layout_right_padded<PaddingValue>; private: static constexpr size_t rank_ = extents_type::rank(); / exposition only static constexpr size_t last-static-extent = / exposition only extents_type::static_extent(rank_ - 1); / [mdspan.layout.rightpad.expo], exposition-only members static constexpr size_t static-padding-stride = see below; / exposition only public: / [mdspan.layout.rightpad.cons], constructors constexpr mapping() noexcept : mapping(extents_type{}) {} constexpr mapping(const mapping&) noexcept = default; constexpr mapping(const extents_type&); template<class OtherIndexType> constexpr mapping(const extents_type&, OtherIndexType); template<class OtherExtents> constexpr explicit(!is_convertible_v<OtherExtents, extents_type>) mapping(const layout_right::mapping<OtherExtents>&); template<class OtherExtents> constexpr explicit(see below) mapping(const layout_stride::mapping<OtherExtents>&); template<class LayoutRightPaddedMapping> constexpr explicit(see below) mapping(const LayoutRightPaddedMapping&); template<class LayoutLeftPaddedMapping> constexpr explicit(see below) mapping(const LayoutLeftPaddedMapping&) noexcept; constexpr mapping& operator=(const mapping&) noexcept = default; / [mdspan.layout.rightpad.obs], observers constexpr const extents_type& extents() const noexcept { return extents_; } constexpr array<index_type, rank_> strides() const noexcept; constexpr index_type required_span_size() const noexcept; template<class. Indices> constexpr index_type operator()(Indices..) const noexcept; static constexpr bool is_always_unique() noexcept { return true; } static constexpr bool is_always_exhaustive() noexcept; static constexpr bool is_always_strided() noexcept { return true; } static constexpr bool is_unique() noexcept { return true; } constexpr bool is_exhaustive() const noexcept; static constexpr bool is_strided() noexcept { return true; } constexpr index_type stride(rank_type) const noexcept; template<class LayoutRightPaddedMapping> friend constexpr bool operator=(const mapping&, const LayoutRightPaddedMapping&) noexcept; private: / [mdspan.layout.rightpad.expo], exposition-only members index_type stride-rm2 = static-padding-stride; / exposition only extents_type extents_{}; / exposition only / [mdspan.sub.map], submdspan mapping specialization template<class. SliceSpecifiers> constexpr auto submdspan-mapping-impl(SliceSpecifiers..) const / exposition only -> see below; template<class. SliceSpecifiers> friend constexpr auto submdspan_mapping(const mapping& src, SliceSpecifiers.. slices) { return src.submdspan-mapping-impl(slices..); } }; }

If Extents is not a specialization of extents, then the program is ill-formed.

layout_right_padded::mapping<E> is a trivially copyable type that models regular for each E.

Throughout [mdspan.layout.rightpad], let P_rank be the following size rank_ parameter pack of size_t values:

(4.1)
the empty parameter pack, if rank_ equals zero;
(4.2)
otherwise, 0zu, if rank_ equals one;
(4.3)
otherwise, the parameter pack 0zu, 1zu, …, rank_- 1.

Mandates:

(5.1)
If rank_dynamic() == 0 is true, then the size of the multidimensional index space Extents() is representable as a value of type index_type.
(5.2)
If padding_value is not equal to dynamic_extent, then padding_value is representable as a value of type index_type.
(5.3)
If
- (5.3.1)
  rank_ is greater than one,
- (5.3.2)
  padding_value does not equal dynamic_extent, and
- (5.3.3)
  last-static-extent does not equal dynamic_extent,
then LEAST-MULTIPLE-AT-LEAST(padding_value, last-static-extent) is representable as a value of type size_t, and is representable as a value of type index_type.
(5.4)
If
- (5.4.1)
  rank_ is greater than one,
- (5.4.2)
  padding_value does not equal dynamic_extent, and
- (5.4.3)
  extents_type::static_extent(k) does not equal dynamic_extent for all k in the range [0, rank_),
then the product of LEAST-MULTIPLE-AT-LEAST(padding_value, ext.static_extent(rank_ - 1) and all values ext.static_extent(k) with k in the range of [0, rank_ - 1) is representable as a value of type size_t, and is representable as a value of type index_type.

23.7.3.4.9.2 Exposition-only members [mdspan.layout.rightpad.expo]

🔗

static constexpr size_t static-padding-stride = see below;

The value is

(1.1)
0, if rank_ equals zero or one;
(1.2)
otherwise, dynamic_extent, if padding_value or last-static-extent equals dynamic_extent;
(1.3)
otherwise, the size_t value which is LEAST-MULTIPLE-AT-LEAST(padding_value, last-static-extent).

🔗

index_type stride-rm2 = static-padding-stride;

Recommended practice: Implementations should not store this value if static-padding-stride is not dynamic_extent.

[Note 1:

Using extents<index_type, static-padding-stride> instead of index_type as the type of stride-rm2 would achieve this.

— end note]

23.7.3.4.9.3 Constructors [mdspan.layout.rightpad.cons]

🔗

constexpr mapping(const extents_type& ext);

Preconditions:

(1.1)
The size of the multidimensional index space ext is representable as a value of type index_type.
(1.2)
If rank_ is greater than one and padding_value does not equal dynamic_extent, then LEAST-MULTIPLE-AT-LEAST(padding_value, ext.extent(rank_ - 1) is representable as a value of type index_type.
(1.3)
If rank_ is greater than one and padding_value does not equal dynamic_extent, then the product of LEAST-MULTIPLE-AT-LEAST(padding_value, ext.extent(rank_ - 1) and all values ext.extent(k) with k in the range of [0, rank_ - 1) is representable as a value of type index_type.

Effects:

(2.1)
Direct-non-list-initializes extents_ with ext; and
(2.2)
if rank_ is greater than one, direct-non-list-initializes stride-rm2
- (2.2.1)
  with ext.extent(rank_ - 1) if padding_value is dynamic_extent,
- (2.2.2)
  otherwise with LEAST-MULTIPLE-AT-LEAST(padding_value, ext.extent(rank_ - 1).

🔗

template<class OtherIndexType>
constexpr mapping(const extents_type& ext, OtherIndexType pad);

Preconditions:

(4.1)
pad is representable as a value of type index_type.
(4.2)
extents_type::index-cast(pad) is greater than zero.
(4.3)
If rank_ is greater than one, then LEAST-MULTIPLE-AT-LEAST(pad, ext.extent(rank_ - 1) is representable as a value of type index_type.
(4.4)
If rank_ is greater than one, then the product of LEAST-MULTIPLE-AT-LEAST(pad, ext.extent(rank_ - 1) and all values ext.extent(k) with k in the range of [0, rank_ - 1) is representable as a value of type index_type.
(4.5)
If padding_value is not equal to dynamic_extent, padding_value equals extents_type::index-cast(pad).

Effects: Direct-non-list-initializes extents_ with ext, and if rank_ is greater than one, direct-non-list-initializes stride-rm2 with LEAST-MULTIPLE-AT-LEAST(pad, ext.extent(rank_ - 1).

🔗

template<class OtherExtents>
  constexpr explicit(!is_convertible_v<OtherExtents, extents_type>)
    mapping(const layout_right::mapping<OtherExtents>& other);

Mandates: If OtherExtents::rank() is greater than 1, then (static-padding-stride == dynamic_extent) || (OtherExtents::static_extent(rank_ - 1) == dynamic_extent) || (static-padding-stride == OtherExtents::static_extent(rank_ - 1) is true.

Preconditions:

(8.1)
If rank_ > 1 is true and padding_value == dynamic_extent is false, then other.stride(
rank_ - 2) equals LEAST-MULTIPLE-AT-LEAST(padding_value, extents_type::index-cast(other.extents().extent(rank_ - 1) and
(8.2)
other.required_span_size() is representable as a value of type index_type.

Effects: Equivalent to mapping(other.extents().

🔗

template<class OtherExtents>
  constexpr explicit(see below)
    mapping(const layout_stride::mapping<OtherExtents>& other);

Preconditions:

(11.1)
If rank_ is greater than 1 and padding_value does not equal dynamic_extent, then other.stride(rank_ - 2) equals LEAST-MULTIPLE-AT-LEAST(padding_value, extents_type::index-cast(other.extents().extent(rank_ - 1)
(11.2)
If rank_ is greater than 0, then other.stride(rank_ - 1) equals 1.
(11.3)
If rank_ is greater than 2, then for all r in the range [0, rank_ - 2), other.stride(r) equals (other.extents().rev-prod-of-extents(r) / other.extents().extent(rank_ - 1) * other.stride(rank_ - 2)
(11.4)
other.required_span_size() is representable as a value of type index_type.

Effects:

(12.1)
Direct-non-list-initializes extents_ with other.extents(); and
(12.2)
if rank_ is greater than one, direct-non-list-initializes stride-rm2 with other.stride(rank_ - 2).

Remarks: The expression inside explicit is equivalent to: !(rank_ == 0 && is_convertible_v<OtherExtents, extents_type>)

🔗

template<class LayoutRightPaddedMapping>
  constexpr explicit(see below)
    mapping(const LayoutRightPaddedMapping& other);

Constraints:

(14.1)
is-layout-right-padded-mapping-of<LayoutRightPaddedMapping> is true.
(14.2)
is_constructible_v<extents_type, typename LayoutRightPaddedMapping::extents_-
type> is true.

Mandates: If rank_ is greater than 1, then padding_value == dynamic_extent || LayoutRightPaddedMapping::padding_value == dynamic_extent || padding_value == LayoutRightPaddedMapping::padding_value is true.

Preconditions:

(16.1)
If rank_ is greater than 1 and padding_value does not equal dynamic_extent, then other.stride(rank_ - 2) equals LEAST-MULTIPLE-AT-LEAST(padding_value, extents_type::index-cast(other.extent(rank_ - 1)
(16.2)
other.required_span_size() is representable as a value of type index_type.

Effects:

(17.1)
Direct-non-list-initializes extents_ with other.extents(); and
(17.2)
if rank_ is greater than one, direct-non-list-initializes stride-rm2 with other.stride(rank_ - 2).

Remarks: The expression inside explicit is equivalent to: !is_convertible_v<typename LayoutRightPaddedMapping::extents_type, extents_type> || rank_ > 1 && (padding_value != dynamic_extent || LayoutRightPaddedMapping::padding_value == dynamic_extent)

🔗

template<class LayoutLeftPaddedMapping>
  constexpr explicit(see below)
    mapping(const LayoutLeftPaddedMapping& other) noexcept;

Constraints:

(19.1)
is-layout-left-padded-mapping-of<LayoutLeftPaddedMapping> is true or
is-mapping-of<layout_left, LayoutLeftPaddedMapping> is true.
(19.2)
rank_ equals zero or one.
(19.3)
is_constructible_v<extents_type, typename LayoutLeftPaddedMapping::extents_type>
is true.

Preconditions: other.required_span_size() is representable as a value of type index_type.

Remarks: The expression inside explicit is equivalent to: !is_convertible_v<typename LayoutLeftPaddedMapping::extents_type, extents_type>

[Note 1:

Neither the input mapping nor the mapping to be constructed uses the padding stride in the rank-0 or rank-1 case, so the padding stride affects neither the constraints nor the preconditions.

— end note]

23.7.3.4.9.4 Observers [mdspan.layout.rightpad.obs]

🔗

constexpr array<index_type, rank_> strides() const noexcept;

Returns: array<index_type, rank_>(stride(P_rank).).

🔗

constexpr index_type required_span_size() const noexcept;

Returns: 0 if the multidimensional index space extents_ is empty, otherwise (*this)(extents_.extent(P_rank) - index_type(1).) + 1.

🔗

template<class. Indices>
constexpr size_t operator()(Indices.. idxs) const noexcept;

Preconditions: extents_type::index-cast(idxs) is a multidimensional index in extents() ([mdspan.overview]).

Returns: ((static_cast<index_type>(idxs) * stride(P_rank)) + .. + 0).

🔗

static constexpr bool is_always_exhaustive() noexcept;

Returns:

(6.1)
If rank_ equals zero or one, then true;
(6.2)
otherwise, if neither static-padding-stride nor last-static-extent equal dynamic_extent, then static-padding-stride == last-static-extent;
(6.3)
otherwise, false.

🔗

constexpr bool is_exhaustive() const noexcept;

Returns: true if rank_ equals zero or one; otherwise, extents_.extent(rank_ - 1) == stride(rank_ - 2)

🔗

constexpr index_type stride(rank_type r) const noexcept;

Returns:

(9.1)
If r equals rank_ - 1: 1;
(9.2)
otherwise, if r equals rank_ - 2: stride-rm2;
(9.3)
otherwise, the product of stride-rm2 and all values extents_.extent(k) with k in the range of [r + 1, rank_ - 1).

🔗

template<class LayoutRightPaddedMapping>
  friend constexpr bool operator=(const mapping& x, const LayoutRightPaddedMapping& y) noexcept;

Constraints:

(10.1)
is-layout-right-padded-mapping-of<LayoutRightPaddedMapping> is true.
(10.2)
LayoutRightPaddedMapping::extents_type::rank() == rank_ is true.

Returns: true if x.extents() == y.extents() is true and rank_ < 2 || x.stride(rank_ - 2) == y.stride(rank_ - 2) is true.

Otherwise, false.

23.7.3.5 Accessor policy [mdspan.accessor]

23.7.3.5.1 General [mdspan.accessor.general]

An accessor policy defines types and operations by which a reference to a single object is created from an abstract data handle to a number of such objects and an index.

A range of indices

[0, N) is an accessible range of a given data handle and an accessor if, for each i in the range, the accessor policy's access function produces a valid reference to an object .

A type meets the accessor policy requirements if

(1.1)
A models copyable,
(1.2)
is_nothrow_move_constructible_v<A> is true,
(1.3)
is_nothrow_move_assignable_v<A> is true,
(1.4)
is_nothrow_swappable_v<A> is true, and
(1.5)
the following types and expressions are well-formed and have the specified semantics.

typename A::element_type

23.7.3.2 Header <mdspan> synopsis [mdspan.syn]

23.7.3.3 Class template extents [mdspan.extents]

23.7.3.3.1 Overview [mdspan.extents.overview]

23.7.3.3.2 Exposition-only helpers [mdspan.extents.expo]

23.7.3.3.3 Constructors [mdspan.extents.cons]

23.7.3.3.4 Observers of the multidimensional index space [mdspan.extents.obs]

23.7.3.3.5 Comparison operators [mdspan.extents.cmp]

23.7.3.3.6 Alias template dextents [mdspan.extents.dextents]

23.7.3.3.7 Alias template dims [mdspan.extents.dims]

23.7.3.4 Layout mapping [mdspan.layout]

23.7.3.4.1 General [mdspan.layout.general]

23.7.3.4.2 Requirements [mdspan.layout.reqmts]

23.7.3.4.3 Layout mapping policy requirements [mdspan.layout.policy.reqmts]

23.7.3.4.4 Layout mapping policies [mdspan.layout.policy.overview]

23.7.3.4.5 Class template layout_left​::​mapping [mdspan.layout.left]

23.7.3.4.5.1 Overview [mdspan.layout.left.overview]

23.7.3.4.5.2 Constructors [mdspan.layout.left.cons]

23.7.3.4.5.3 Observers [mdspan.layout.left.obs]

23.7.3.4.6.2 Constructors [mdspan.layout.right.cons]

23.7.3.4.6.3 Observers [mdspan.layout.right.obs]

23.7.3.4.7.2 Exposition-only helpers [mdspan.layout.stride.expo]

23.7.3.4.7.3 Constructors [mdspan.layout.stride.cons]

23.7.3.4.7.4 Observers [mdspan.layout.stride.obs]

23.7.3.4.8 Class template layout_left_padded​::​mapping [mdspan.layout.leftpad]

23.7.3.4.8.1 Overview [mdspan.layout.leftpad.overview]

23.7.3.4.8.2 Exposition-only members [mdspan.layout.leftpad.expo]

23.7.3.4.8.3 Constructors [mdspan.layout.leftpad.cons]

23.7.3.4.8.4 Observers [mdspan.layout.leftpad.obs]

23.7.3.4.9 Class template layout_right_padded​::​mapping [mdspan.layout.rightpad]

23.7.3.4.9.1 Overview [mdspan.layout.rightpad.overview]

23.7.3.4.9.2 Exposition-only members [mdspan.layout.rightpad.expo]

23.7.3.4.9.3 Constructors [mdspan.layout.rightpad.cons]

23.7.3.4.9.4 Observers [mdspan.layout.rightpad.obs]

23.7.3.5 Accessor policy [mdspan.accessor]

23.7.3.5.1 General [mdspan.accessor.general]

23.7.3.5.3 Class template default_accessor [mdspan.accessor.default]

23.7.3.5.3.1 Overview [mdspan.accessor.default.overview]

23.7.3.5.3.2 Members [mdspan.accessor.default.members]

23.7.3.5.4 Class template aligned_accessor [mdspan.accessor.aligned]

23.7.3.5.4.1 Overview [mdspan.accessor.aligned.overview]

23.7.3.5.4.2 Members [mdspan.accessor.aligned.members]

23.7.3.6.2 Constructors [mdspan.mdspan.cons]

23.7.3.6.3 Members [mdspan.mdspan.members]

23.7.3.7 submdspan [mdspan.sub]

23.7.3.7.1 Overview [mdspan.sub.overview]

23.7.3.7.2 strided_slice [mdspan.sub.strided.slice]

23.7.3.7.3 submdspan_mapping_result [mdspan.sub.map.result]

23.7.3.7.4 Exposition-only helpers [mdspan.sub.helpers]

23.7.3.7.5 submdspan slice canonicalization [mdspan.sub.canonical]

23.7.3.7.6 submdspan_extents function [mdspan.sub.extents]

23.7.3.7.7 Specializations of submdspan_mapping [mdspan.sub.map]

23.7.3.7.7.1 Sliceable layout mapping requirements [mdspan.sub.map.sliceable]

23.7.3.7.7.2 Common [mdspan.sub.map.common]

23.7.3.7.7.3 layout_left specialization of submdspan_mapping [mdspan.sub.map.left]

23.7.3.7.7.4 layout_right specialization of submdspan_mapping [mdspan.sub.map.right]

23.7.3.7.7.5 layout_stride specialization of submdspan_mapping [mdspan.sub.map.stride]

23.7.3.7.7.6 layout_left_padded specialization of submdspan_mapping [mdspan.sub.map.leftpad]

23.7.3.7.7.7 layout_right_padded specialization of submdspan_mapping [mdspan.sub.map.rightpad]

23.7.3.7.8 submdspan function template [mdspan.sub.sub]

23.7.3.4.5 Class template layout_left::mapping [mdspan.layout.left]

23.7.3.4.8 Class template layout_left_padded::mapping [mdspan.layout.leftpad]

23.7.3.4.9 Class template layout_right_padded::mapping [mdspan.layout.rightpad]