tmp/tmphd52kqp2/{from.md → to.md}
RENAMED
|
@@ -82,5 +82,18 @@ type whose elements are not modifiable.
|
|
| 82 |
template<class T>
|
| 83 |
concept constant_range =
|
| 84 |
input_range<T> && constant-iterator<iterator_t<T>>;
|
| 85 |
```
|
| 86 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 82 |
template<class T>
|
| 83 |
concept constant_range =
|
| 84 |
input_range<T> && constant-iterator<iterator_t<T>>;
|
| 85 |
```
|
| 86 |
|
| 87 |
+
The exposition-only concept `sized-random-access-range` specifies the
|
| 88 |
+
requirements of a `range` type that is sized and allows random access to
|
| 89 |
+
its elements.
|
| 90 |
+
|
| 91 |
+
``` cpp
|
| 92 |
+
template<class T>
|
| 93 |
+
concept sized-random-access-range = // exposition only
|
| 94 |
+
random_access_range<T> && sized_range<T>;
|
| 95 |
+
```
|
| 96 |
+
|
| 97 |
+
[*Note 1*: This concept constrains some parallel algorithm overloads;
|
| 98 |
+
see [[algorithms]]. — *end note*]
|
| 99 |
+
|