[range.iter.op.advance] (original) (raw)

23 Iterators library [iterators]

23.4 Iterator primitives [iterator.primitives]

23.4.4 Range iterator operations [range.iter.ops]

23.4.4.2 ranges​::​advance [range.iter.op.advance]

Effects:

• Otherwise, if n is non-negative, incrementsi by n.
• Otherwise, decrements i by -n.

Preconditions: [i, bound) denotes a range.

Effects:

• Otherwise, if S and I model sized_­sentinel_­for<S, I>, equivalent to ranges​::​advance(i, bound - i).
• Otherwise, while bool(i != bound) is true, increments i.

Preconditions: If n > 0, [i, bound) denotes a range.

If n == 0, [i, bound) or [bound, i) denotes a range.

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.