cppdraft_translate/cppdraft/mdspan/accessor/general.md

[mdspan.accessor.general]

23 Containers library [containers]

23.7 Views [views]

23.7.3 Multidimensional access [views.multidim]

23.7.3.5 Accessor policy [mdspan.accessor]

23.7.3.5.1 General [mdspan.accessor.general]

1

#

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.

2

#

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.

3

#

In [mdspan.accessor.reqmts],

• (3.1)

  A denotes an accessor policy.

• (3.2)

  a denotes a value of type A or const A.

• (3.3)

  p denotes a value of type A​::​data_handle_type or const A​::​data_handle_type. [Note 1: The type A​::​data_handle_type need not be dereferenceable. — end note]

• (3.4)

  n, i, and j each denote values of type size_t.