Namespaces
Variants

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

From cppreference.net
Ranges library
Range adaptors
constexpr subrange & advance ( std:: iter_difference_t < I > n ) ;
(C++20 起)

递增或递减 begin_ :

等价于: ranges:: advance ( begin_  , n ) ;
if constexpr ( StoreSize  )
size_ + = to-unsigned-like  ( - n ) ;
return * this ;
等价于: 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 的副本,并将其迭代器后退指定距离
(公开成员函数)
将迭代器前进指定距离
(函数模板)
将迭代器前进指定距离或到达给定边界
(算法函数对象)