Namespaces
Variants

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

От ru.cppreference.net
 
 
Библиотека диапазонов
Адаптеры диапазонов
 
 
constexpr subrange& advance( std::iter_difference_t<I> n );
(начиная с C++20)

Увеличивает или уменьшает begin_ :

  • Если I удовлетворяет bidirectional_iterator и n < 0 является true, уменьшает begin_ на -n элементов.
Эквивалентно: ranges::advance(begin_ , n);
if constexpr (StoreSize )
    size_ += to-unsigned-like (-n);
return *this;
.
  • В противном случае, увеличивает begin_ на n элементов, или пока end_ не будет достигнут.
Эквивалентно: auto d = n - ranges::advance(begin_ , n, end_ );
if constexpr (StoreSize )
    size_ -= to-unsigned-like (d);
return *this;
.


Согласно предварительным условиям ranges::advance, если n < 0 равно true и begin_ не может быть уменьшен на -n элементов, поведение не определено.

Параметры

n - количество максимальных инкрементов итератора

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

* this

Пример

#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++.

DR Применяется к Поведение в опубликованной версии Корректное поведение
LWG 3433 C++20 поведение было неопределенным, если n < 0 стало определенным, если begin_ может быть декрементировано

Смотрите также

получает копию subrange с итератором, продвинутым на заданное расстояние
(публичная функция-член)
получает копию subrange с итератором, уменьшенным на заданное расстояние
(публичная функция-член)
продвигает итератор на заданное расстояние
(шаблон функции)
продвигает итератор на заданное расстояние или до заданной границы
(функциональный объект алгоритма)