std::ranges::subrange<I,S,K>::advance

constexpr subrange& advance( std::iter_difference_t<I> n );

Если n >= 0, увеличивает сохранённый итератор на n раз или до тех пор, пока он не станет равен сохранённому конечнику, в зависимости от того, что произойдёт раньше. В противном случае уменьшает сохранённый итератор на -n раз.

Сохранённый размер, если он есть, корректируется соответствующим образом (увеличивается на -n если n < 0, уменьшается на m в противном случае, где m — количество фактически применённых приращений к итератору).

Поведение не определено, если

• I не моделирует двунаправленный итератор и n < 0, или
• сохранённый итератор уменьшается после того, как становится недопустимым для уменьшения.

Параметры

Возвращаемое значение

*this

Сложность

В общем случае min(n, size()) приращений или -n уменьшений итератора, когда n >= 0 или n < 0 соответственно.

Постоянная, если I моделирует случайный доступ к итератору, и либо n < 0 либо std::sized_sentinel_for<S, I> моделируется.

Примечания

Сохранённый размер появляется тогда и только тогда, когда K == ranges::subrange_kind::sized но std::sized_sentinel_for<S, I> не выполняется.

Пример

#include <algorithm>
#include <array>
#include <iostream>
#include <iterator>
#include <ranges>
 
void print(auto name, auto const sub) {
    std::cout << name << ".size() == " << sub.size() << "; { ";
    std::ranges::for_each(sub, [](int x) { std::cout << x << ' '; });
    std::cout << "}\n";
};
 
int main()
{
    std::array arr{1,2,3,4,5,6,7};
    std::ranges::subrange sub{ std::next(arr.begin()), std::prev(arr.end()) };
    print("1) sub", sub);
    print("2) sub", sub.advance(3));
    print("3) sub", sub.advance(-2));
}

1) sub.size() == 5; { 2 3 4 5 6 }
2) sub.size() == 2; { 5 6 }
3) sub.size() == 4; { 3 4 5 6 }

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

См. также