std::ranges:: next

イテレータ i の n ^番目 の後続要素を返します。

このページで説明されている関数ライクな実体は、 アルゴリズム関数オブジェクト (非公式には niebloids として知られる)です。つまり：

• 明示的なテンプレート引数リストは、いずれかを呼び出す際に指定できません。
• いずれも 実引数依存の名前探索 では可視になりません。
• いずれかが関数呼び出し演算子の左側の名前として 通常の非修飾名前探索 によって発見された場合、 実引数依存の名前探索 は抑制されます。

パラメータ

戻り値

計算量

実装例

struct next_fn
{
    template<std::input_or_output_iterator I>
    constexpr I operator()(I i) const
    {
        ++i;
        return i;
    }
    template<std::input_or_output_iterator I>
    constexpr I operator()(I i, std::iter_difference_t<I> n) const
    {
        ranges::advance(i, n);
        return i;
    }
    template<std::input_or_output_iterator I, std::sentinel_for<I> S>
    constexpr I operator()(I i, S bound) const
    {
        ranges::advance(i, bound);
        return i;
    }
    template<std::input_or_output_iterator I, std::sentinel_for<I> S>
    constexpr I operator()(I i, std::iter_difference_t<I> n, S bound) const
    {
        ranges::advance(i, n, bound);
        return i;
    }
};
inline constexpr auto next = next_fn();

`, `$`タグ内のテキストは翻訳対象外（このケースでは`$
`タグ内のC++コード）
- C++固有の用語（`struct`, `template`, `constexpr`, `operator()`など）は翻訳せず保持
翻訳が必要なテキスト部分が存在しないため、元のHTML構造とC++コードを完全に保持したまま返却しています。

注記

式 ++ x. begin ( ) はしばしばコンパイル可能ですが、保証されているわけではありません: x. begin ( ) は右辺値式であり、右辺値のインクリメントが保証されることを規定する要件は存在しません。特に、イテレータがポインタとして実装されている場合や、その operator++ が左辺値参照修飾されている場合、 ++ x. begin ( ) はコンパイルできませんが、 ranges :: next ( x. begin ( ) ) はコンパイルできます。

例

#include <cassert>
#include <iterator>
int main() 
{
    auto v = {3, 1, 4};
    {
        auto n = std::ranges::next(v.begin());
        assert(*n == 1);
    }
    {
        auto n = std::ranges::next(v.begin(), 2);
        assert(*n == 4);
    }
    {
        auto n = std::ranges::next(v.begin(), v.end());
        assert(n == v.end());
    }
    {
        auto n = std::ranges::next(v.begin(), 42, v.end());
        assert(n == v.end());
    }
}

関連項目