std::prev

template< class BidirIt >
BidirIt prev( BidirIt it, typename std::iterator_traits<BidirIt>::difference_type n = 1 );

template< class BidirIt >
constexpr
BidirIt prev( BidirIt it, typename std::iterator_traits<BidirIt>::difference_type n = 1 );

Возвращает итератор, предшествующий на n позиций (или следующий на -n позиций, если n отрицательно) относительно итератора it.

Параметры

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

Итератор типа BidirIt, указывающий на элемент, предшествующий на n позиций (или следующий на -n позиций, если n отрицательно) относительно итератора it.

Сложность

Линейная.

Однако если BidirIt также соответствует требованиям LegacyRandomAccessIterator, сложность постоянная.

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

template<class BidirIt>
constexpr // since C++17
BidirIt prev(BidirIt it, typename std::iterator_traits<BidirIt>::difference_type n = 1)
{
    std::advance(it, -n);
    return it;
}

Примечания

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

Пример

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

int main()
{
    std::vector<int> v{3, 1, 4};

    auto it = v.end();
    auto pv = std::prev(it, 2);
    std::cout << *pv << '\n';

    it = v.begin();
    pv = std::prev(it, -2);
    std::cout << *pv << '\n';
}

1
4

См. также