tmp/tmpxxh4k5pw/{from.md → to.md}
RENAMED
|
@@ -8,13 +8,14 @@ resulting view is empty.
|
|
| 8 |
|
| 9 |
The name `views::adjacent_transform<N>` denotes a range adaptor object
|
| 10 |
[[range.adaptor.object]]. Given subexpressions `E` and `F` and a
|
| 11 |
constant expression `N`:
|
| 12 |
|
| 13 |
-
- If `N` is equal to `0`
|
| 14 |
-
|
| 15 |
-
|
|
|
|
| 16 |
- Otherwise, the expression `views::adjacent_transform<N>(E, F)` is
|
| 17 |
expression-equivalent to
|
| 18 |
`adjacent_transform_view<views::all_t<decltype((E))>, decay_t<decltype((F))>, N>(E, F)`.
|
| 19 |
|
| 20 |
[*Example 1*:
|
|
|
|
| 8 |
|
| 9 |
The name `views::adjacent_transform<N>` denotes a range adaptor object
|
| 10 |
[[range.adaptor.object]]. Given subexpressions `E` and `F` and a
|
| 11 |
constant expression `N`:
|
| 12 |
|
| 13 |
+
- If `N` is equal to `0` and `decltype((E))` models `forward_range`,
|
| 14 |
+
`views::adjacent_transform<N>(E, F)` is expression-equivalent to
|
| 15 |
+
`((void)E, views::zip_transform(F))`, except that the evaluations of
|
| 16 |
+
`E` and `F` are indeterminately sequenced.
|
| 17 |
- Otherwise, the expression `views::adjacent_transform<N>(E, F)` is
|
| 18 |
expression-equivalent to
|
| 19 |
`adjacent_transform_view<views::all_t<decltype((E))>, decay_t<decltype((F))>, N>(E, F)`.
|
| 20 |
|
| 21 |
[*Example 1*:
|