tmp/tmpinb9z7bv/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,19 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
##### General <a id="mdspan.accessor.general">[[mdspan.accessor.general]]</a>
|
| 2 |
+
|
| 3 |
+
An *accessor policy* defines types and operations by which a reference
|
| 4 |
+
to a single object is created from an abstract data handle to a number
|
| 5 |
+
of such objects and an index.
|
| 6 |
+
|
| 7 |
+
A range of indices [0, N) is an *accessible range* of a given data
|
| 8 |
+
handle and an accessor if, for each i in the range, the accessor
|
| 9 |
+
policy’s `access` function produces a valid reference to an object.
|
| 10 |
+
|
| 11 |
+
In subclause [[mdspan.accessor.reqmts]],
|
| 12 |
+
|
| 13 |
+
- `A` denotes an accessor policy.
|
| 14 |
+
- `a` denotes a value of type `A` or `const A`.
|
| 15 |
+
- `p` denotes a value of type `A::data_handle_type` or
|
| 16 |
+
`const A::data_handle_type`. \[*Note 1*: The type
|
| 17 |
+
`A::data_handle_type` need not be dereferenceable. — *end note*]
|
| 18 |
+
- `n`, `i`, and `j` each denote values of type `size_t`.
|
| 19 |
+
|