tmp/tmphc9wrf3j/{from.md → to.md}
RENAMED
|
@@ -5,16 +5,20 @@ friend constexpr iter_rvalue_reference_t<I>
|
|
| 5 |
iter_move(const counted_iterator& i)
|
| 6 |
noexcept(noexcept(ranges::iter_move(i.current)))
|
| 7 |
requires input_iterator<I>;
|
| 8 |
```
|
| 9 |
|
|
|
|
|
|
|
| 10 |
*Effects:* Equivalent to: `return ranges::iter_move(i.current);`
|
| 11 |
|
| 12 |
``` cpp
|
| 13 |
template<indirectly_swappable<I> I2>
|
| 14 |
friend constexpr void
|
| 15 |
iter_swap(const counted_iterator& x, const counted_iterator<I2>& y)
|
| 16 |
noexcept(noexcept(ranges::iter_swap(x.current, y.current)));
|
| 17 |
```
|
| 18 |
|
|
|
|
|
|
|
| 19 |
*Effects:* Equivalent to `ranges::iter_swap(x.current, y.current)`.
|
| 20 |
|
|
|
|
| 5 |
iter_move(const counted_iterator& i)
|
| 6 |
noexcept(noexcept(ranges::iter_move(i.current)))
|
| 7 |
requires input_iterator<I>;
|
| 8 |
```
|
| 9 |
|
| 10 |
+
*Preconditions:* `i.length > 0` is `true`.
|
| 11 |
+
|
| 12 |
*Effects:* Equivalent to: `return ranges::iter_move(i.current);`
|
| 13 |
|
| 14 |
``` cpp
|
| 15 |
template<indirectly_swappable<I> I2>
|
| 16 |
friend constexpr void
|
| 17 |
iter_swap(const counted_iterator& x, const counted_iterator<I2>& y)
|
| 18 |
noexcept(noexcept(ranges::iter_swap(x.current, y.current)));
|
| 19 |
```
|
| 20 |
|
| 21 |
+
*Preconditions:* Both `x.length > 0` and `y.length > 0` are `true`.
|
| 22 |
+
|
| 23 |
*Effects:* Equivalent to `ranges::iter_swap(x.current, y.current)`.
|
| 24 |
|