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() является выражением-значением, и нет требования к итераторам, указывающего, что декремент выражения-значения гарантированно работает. В частности, когда итераторы реализованы как указатели или их operator-- имеет квалификатор lvalue-ссылка, --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

См. также