Namespaces
Variants

std:: advance

From cppreference.net
C++
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
Common algorithm requirements
(C++20)
(C++20)
(C++20)
Utilities
(C++20)
Iterator adaptors
Range access
(C++11) (C++14)
(C++14) (C++14)
(C++11) (C++14)
(C++14) (C++14)
(C++17) (C++20)
(C++17)
(C++17)
定义于头文件 <iterator>
template < class InputIt, class Distance >
void advance ( InputIt & it, Distance n ) ;
(C++17 前)
template < class InputIt, class Distance >
constexpr void advance ( InputIt & it, Distance n ) ;
(C++17 起)

将给定迭代器 it 前进 n 个元素。

若 n 为负值，则迭代器将递减。此时 InputIt 必须满足 LegacyBidirectionalIterator 的要求，否则行为未定义。

目录

参数

it - 要前进的迭代器
n - it 应前进的元素数量
类型要求
-
InputIt 必须满足 LegacyInputIterator 的要求。

返回值

(无)

复杂度

线性。

然而，若 InputIt 额外满足 LegacyRandomAccessIterator 的要求，则复杂度为常数级。

注释

如果指定的递增或递减序列要求对不可递增的迭代器（如尾后迭代器）进行递增，或对不可递减的迭代器（如首前迭代器或 奇异迭代器 ）进行递减，则行为未定义。

可能的实现

另请参阅 libstdc++ 与 libc++ 中的实现。


非 constexpr 版本 
namespace detail
{
    template<class It>
    void do_advance(It& it, typename std::iterator_traits<It>::difference_type n,
                    std::input_iterator_tag)
    {
        while (n > 0)
        {
            --n;
            ++it;
        }
    }
    template<class It>
    void do_advance(It& it, typename std::iterator_traits<It>::difference_type n,
                    std::bidirectional_iterator_tag)
    {
        while (n > 0)
        {
            --n;
            ++it;
        }
        while (n < 0)
        {
            ++n;
            --it;
        }
    }
    template<class It>
    void do_advance(It& it, typename std::iterator_traits<It>::difference_type n,
                    std::random_access_iterator_tag)
    {
        it += n;
    }
} // namespace detail
template<class It, class Distance>
void advance(It& it, Distance n)
{
    detail::do_advance(it, typename std::iterator_traits<It>::difference_type(n),
                       typename std::iterator_traits<It>::iterator_category());
}
constexpr 版本 
template<class It, class Distance>
constexpr void advance(It& it, Distance n)
{
    using category = typename std::iterator_traits<It>::iterator_category;
    static_assert(std::is_base_of_v<std::input_iterator_tag, category>);
    auto dist = typename std::iterator_traits<It>::difference_type(n);
    if constexpr (std::is_base_of_v<std::random_access_iterator_tag, category>)
        it += dist;
    else
    {
        while (dist > 0)
        {
            --dist;
            ++it;
        }
        if constexpr (std::is_base_of_v<std::bidirectional_iterator_tag, category>)
            while (dist < 0)
            {
                ++dist;
                --it;
            }
    }
}

示例

运行此代码 
#include <iostream>
#include <iterator>
#include <vector>
int main() 
{
    std::vector<int> v{3, 1, 4};
    auto vi = v.begin();
    std::advance(vi, 2);
    std::cout << *vi << ' ';
    vi = v.end();
    std::advance(vi, -2);
    std::cout << *vi << '\n';
}

输出： 

4 1

参见

(C++11)
递增迭代器
(函数模板)
(C++11)
递减迭代器
(函数模板)
返回两个迭代器间的距离
(函数模板)
(C++20)
按给定距离或至给定边界推进迭代器
(算法函数对象)