std::ranges::prev

template< std::bidirectional_iterator I >
constexpr I prev( I i );

template< std::bidirectional_iterator I >
constexpr I prev( I i, std::iter_difference_t<I> n );

template< std::bidirectional_iterator I >
constexpr I prev( I i, std::iter_difference_t<I> n, I bound );

Возвращает предшественника итератора i на n позиций.

Описанные на этой странице функциональные объекты — это функциональные объекты алгоритмов (неофициально называемые niebloids), то есть:

• При вызове любого из них нельзя указывать явный список аргументов шаблона.
• Ни один из них не виден для поиска, зависящего от аргументов.
• Если любой из них найден при обычном неквалифицированном поиске как имя слева от оператора вызова функции, поиск, зависящий от аргументов блокируется.

Параметры

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

Сложность

Возможная реализация

struct prev_fn
{
    template<std::bidirectional_iterator I>
    constexpr I operator()(I i) const
    {
        --i;
        return i;
    }

    template<std::bidirectional_iterator I>
    constexpr I operator()(I i, std::iter_difference_t<I> n) const
    {
        ranges::advance(i, -n);
        return i;
    }

    template<std::bidirectional_iterator I>
    constexpr I operator()(I i, std::iter_difference_t<I> n, I bound) const
    {
        ranges::advance(i, -n, bound);
        return i;
    }
};

inline constexpr auto prev = prev_fn();

Примечания

Хотя выражение --r.end() часто компилируется для контейнеров, это не гарантируется: r.end() является выражением rvalue, и требования к итераторам не гарантируют, что декремент rvalue будет работать. В частности, если итераторы реализованы как указатели или operator-- квалифицировано как lvalue-ссылка, --r.end() не компилируется, тогда как ranges::prev(r.end()) компилируется.

Ситуация усугубляется для диапазонов, не соответствующих концепту ranges::common_range. Например, для некоторых базовых диапазонов ranges::transform_view::end имеет тип возвращаемого значения, отличный от ranges::transform_view::begin, поэтому --r.end() не компилируется. Это нельзя исправить с помощью ranges::prev, однако существуют обходные решения.

Пример

#include <iostream>
#include <iterator>
#include <vector>

int main() 
{
    std::vector<int> v{3, 1, 4};
    auto pv = std::ranges::prev(v.end(), 2);
    std::cout << *pv << '\n';

    pv = std::ranges::prev(pv, 42, v.begin());
    std::cout << *pv << '\n';
}

1
3

См. также