std::layout_stride::mapping<Extents>::mapping-traits

 

C++

Compiler support

Freestanding and hosted

Language

Standard library

Standard library headers

Named requirements

Feature test macros (C++20)

Language support library

Concepts library (C++20)

Diagnostics library

Memory management library

Metaprogramming library (C++11)

General utilities library

Containers library

Iterators library

Ranges library (C++20)

Algorithms library

Strings library

Text processing library

Numerics library

Date and time library

Input/output library

Filesystem library (C++17)

Concurrency support library (C++11)

Execution support library (C++26)

Technical specifications

Symbols index

External libraries

 

Containers library

Sequence

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

deque

forward_list (C++11)

list

Associative

set

multiset

map

multimap

Unordered associative

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

Adaptors

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

Views

span (C++20)

mdspan (C++23)

Tables

Iterator invalidation

Member function table

Non-member function table

 

std::mdspan

Member functions mdspan::mdspan mdspan::operator= Element access mdspan::operator[] Observers mdspan::rank mdspan::rank_dynamic mdspan::static_extent mdspan::extent mdspan::size mdspan::empty mdspan::stride mdspan::extents mdspan::data_handle mdspan::mapping mdspan::accessor mdspan::is_uniquemdspan::is_exhaustivemdspan::is_stridedmdspan::is_always_uniquemdspan::is_always_exhaustivemdspan::is_always_strided

Non-member functions swap(std::mdspan) Subviews submdspan (C++26) submdspan_extents (C++26) Helper types and templates extentsdextents dims (C++26) default_accessor aligned_accessor (C++26) Layout mapping policies layout_left layout_right layout_stride layout_left_padded (C++26) layout_right_padded (C++26) Subviews helpers full_extent (C++26) strided_slice (C++26) submdspan_mapping_result (C++26) Deduction guides

 

std::layout_stride::mapping

Member functions

mapping::mapping

Observers

mapping::extents

mapping::strides

mapping::required_span_size

mapping::operator()

mapping::is_uniquemapping::is_exhaustivemapping::is_stridedmapping::is_always_uniquemapping::is_always_exhaustivemapping::is_always_strided

mapping::stride

Non-member functions

operator==

submdspan_mapping(std::layout_stride::mapping) (C++26)

 

static constexpr bool is_unique() noexcept;	(1)	(since C++23)
constexpr bool is_exhaustive() const noexcept;	(2)	(since C++23)
static constexpr bool is_strided() noexcept;	(3)	(since C++23)
static constexpr bool is_always_unique() noexcept;	(4)	(since C++23)
static constexpr bool is_always_exhaustive() noexcept;	(5)	(since C++23)
static constexpr bool is_always_strided() noexcept;	(6)	(since C++23)

Every instance of every specialization of mapping is unique and strided.

The mapping is exhaustive if one of the following conditions is true:

• rank_ is ​0​, or
• there exists 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 all i in [1, rank_), where p[i] is the i^th element of p.

(rank_ is an exposition-only static member constant defined in std::layout_stride::mapping.)

See LayoutMapping for the semantics of these predicate mapping traits.

Parameters

(none)

Return value

1,3-4,6) true

2) true if the mapping is exhaustive (see above)

5) false