tmp/tmpufjwni__/{from.md → to.md}
RENAMED
|
@@ -54,12 +54,12 @@ template<class OtherIndexType, size_t N>
|
|
| 54 |
```
|
| 55 |
|
| 56 |
*Constraints:*
|
| 57 |
|
| 58 |
- `is_convertible_v<const OtherIndexType&, index_type>` is `true`,
|
| 59 |
-
- `
|
| 60 |
-
|
| 61 |
- `N == rank() || N == rank_dynamic()` is `true`,
|
| 62 |
- `is_constructible_v<mapping_type, extents_type>` is `true`, and
|
| 63 |
- `is_default_constructible_v<accessor_type>` is `true`.
|
| 64 |
|
| 65 |
*Preconditions:* $[0, \texttt{\textit{map_}.required_span_size()})$ is
|
|
@@ -138,18 +138,17 @@ template<class OtherElementType, class OtherExtents,
|
|
| 138 |
|
| 139 |
- `is_constructible_v<data_handle_type, const OtherAccessor::data_handle_type&>`
|
| 140 |
is `true`, and
|
| 141 |
- `is_constructible_v<extents_type, OtherExtents>` is `true`.
|
| 142 |
|
| 143 |
-
*Preconditions:*
|
|
|
|
|
|
|
| 144 |
|
| 145 |
-
|
| 146 |
`static_extent(r) == dynamic_extent || static_extent(r) == other.extent(r)`
|
| 147 |
is `true`.
|
| 148 |
-
- $[0, \texttt{\textit{map_}.required_span_size()})$ is an accessible
|
| 149 |
-
range of *ptr\_* and *acc\_* for values of *ptr\_*, *map\_*, and
|
| 150 |
-
*acc\_* after the invocation of this constructor.
|
| 151 |
|
| 152 |
*Effects:*
|
| 153 |
|
| 154 |
- Direct-non-list-initializes *ptr\_* with `other.`*`ptr_`*,
|
| 155 |
- direct-non-list-initializes *map\_* with `other.`*`map_`*, and
|
|
|
|
| 54 |
```
|
| 55 |
|
| 56 |
*Constraints:*
|
| 57 |
|
| 58 |
- `is_convertible_v<const OtherIndexType&, index_type>` is `true`,
|
| 59 |
+
- `is_nothrow_constructible_v<index_type, const OtherIndexType&>` is
|
| 60 |
+
`true`,
|
| 61 |
- `N == rank() || N == rank_dynamic()` is `true`,
|
| 62 |
- `is_constructible_v<mapping_type, extents_type>` is `true`, and
|
| 63 |
- `is_default_constructible_v<accessor_type>` is `true`.
|
| 64 |
|
| 65 |
*Preconditions:* $[0, \texttt{\textit{map_}.required_span_size()})$ is
|
|
|
|
| 138 |
|
| 139 |
- `is_constructible_v<data_handle_type, const OtherAccessor::data_handle_type&>`
|
| 140 |
is `true`, and
|
| 141 |
- `is_constructible_v<extents_type, OtherExtents>` is `true`.
|
| 142 |
|
| 143 |
+
*Preconditions:* $[0, \texttt{\textit{map_}.required_span_size()})$ is
|
| 144 |
+
an accessible range of *ptr\_* and *acc\_* for values of *ptr\_*,
|
| 145 |
+
*map\_*, and *acc\_* after the invocation of this constructor.
|
| 146 |
|
| 147 |
+
For each rank index `r` of `extents_type`,
|
| 148 |
`static_extent(r) == dynamic_extent || static_extent(r) == other.extent(r)`
|
| 149 |
is `true`.
|
|
|
|
|
|
|
|
|
|
| 150 |
|
| 151 |
*Effects:*
|
| 152 |
|
| 153 |
- Direct-non-list-initializes *ptr\_* with `other.`*`ptr_`*,
|
| 154 |
- direct-non-list-initializes *map\_* with `other.`*`map_`*, and
|