tmp/tmp9wzei0bq/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,18 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
#### Overview <a id="range.to.input.overview">[[range.to.input.overview]]</a>
|
| 2 |
+
|
| 3 |
+
`to_input_view` presents a view of an underlying sequence as an
|
| 4 |
+
input-only non-common range.
|
| 5 |
+
|
| 6 |
+
[*Note 1*: This is useful to avoid overhead that can be necessary to
|
| 7 |
+
provide support for the operations needed for greater iterator
|
| 8 |
+
strength. — *end note*]
|
| 9 |
+
|
| 10 |
+
The name `views::to_input` denotes a range adaptor object
|
| 11 |
+
[[range.adaptor.object]]. Let `E` be an expression and let `T` be
|
| 12 |
+
`decltype((E))`. The expression `views::to_input(E)` is
|
| 13 |
+
expression-equivalent to:
|
| 14 |
+
|
| 15 |
+
- `views::all(E)` if `T` models `input_range`, does not satisfy
|
| 16 |
+
`common_range`, and does not satisfy `forward_range`.
|
| 17 |
+
- Otherwise, `to_input_view(E)`.
|
| 18 |
+
|