# 23 Iterators library [iterators]

## 23.4 Iterator primitives [iterator.primitives]

### 23.4.4 Range iterator operations [range.iter.ops]

```template<input_­or_­output_­iterator I> constexpr void ranges::advance(I& i, iter_difference_t<I> n); ```
Preconditions: If I does not model bidirectional_­iterator, n is not negative.
Effects:
```template<input_­or_­output_­iterator I, sentinel_­for<I> S> constexpr void ranges::advance(I& i, S bound); ```
Preconditions: Either assignable_­from<I&, S> || sized_­sentinel_­for<S, I> is modeled, or [i, bound) denotes a range.
Effects:
```template<input_­or_­output_­iterator I, sentinel_­for<I> S> constexpr iter_difference_t<I> ranges::advance(I& i, iter_difference_t<I> n, S bound); ```
Preconditions: If n > 0, [i, bound) denotes a range.
If n == 0, [i, bound) or [bound, i) denotes a range.
If n < 0, [bound, i) denotes a range, I models bidirectional_­iterator, and I and S model same_­as<I, S>.
Effects:
• If S and I model sized_­sentinel_­for<S, I>:
• If ​, equivalent to ranges​::​advance(i, bound).
• Otherwise, equivalent to ranges​::​advance(i, n).
• Otherwise,
• if n is non-negative, while bool(i != bound) is true, increments i but at most n times.
• Otherwise, while bool(i != bound) is true, decrements i but at most -n times.
Returns: n - M, where M is the difference between the ending and starting positions of i.