[mdspan.accessor.general] (original) (raw)

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]

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 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 denotes an accessor policy.
• a denotes a value of type A or const A.
• 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_]
• n, i, and j each denote values of type size_t.