std::ranges::concat_view<Views...>:: iterator

テンプレートパラメータ

ネスト型

イテレータコンセプトの決定

iterator_concept は以下のように定義されます:

• concat-is-random-access  < Const, Views... > がモデル化されている場合、 iterator_concept は std::random_access_iterator_tag を示す。
• それ以外の場合、 concat-is-bidirectional  < Const, Views... > がモデル化されている場合、 iterator_concept は std::bidirectional_iterator_tag を示す。
• それ以外の場合、 all-forward  < Const, Views... > がモデル化されている場合、 iterator_concept は std::forward_iterator_tag を示す。
• それ以外の場合、 iterator_concept は std::input_iterator_tag を示す。

イテレータカテゴリの判定

iterator_category は、 all-forward  < Const, Views... > がモデル化されている場合にのみ定義されます。この場合、以下のように定義されます：

• std:: is_reference_v < concat-reference-t  < maybe-const  < Const, Views > ... >> が false の場合、 iterator_category は std::input_iterator_tag を示す。
• それ以外の場合、 Cs を型のパック std:: iterator_traits < ranges:: iterator_t < maybe-const  < Const, Views >>> :: iterator_category ... とする：
  • ( std:: derived_from < Cs, std:: random_access_iterator_tag > && ... ) &&
    concat-is-random-access  < Const, Views... > が true の場合、 iterator_category は std::random_access_iterator_tag を示す。
  • それ以外で、 ( std:: derived_from < Cs, std:: bidirectional_iterator_tag > && ... ) &&
    concat-is-bidirectional  < Const, Views... > が true の場合、 iterator_category は std::bidirectional_iterator_tag を示す。
  • それ以外で、 ( std:: derived_from < Cs, std:: forward_iterator_tag > && ... ) が true の場合、 iterator_category は std::forward_iterator_tag を示す。
  • それ以外の場合、 iterator_category は std::input_iterator_tag を示す。

データメンバ

メンバー関数

非メンバー関数

例

#include <iostream>
#include <iterator>
#include <ranges>
int main()
{
    namespace views = std::views;
    static constexpr int p[]{1, 2, 3};
    static constexpr auto e = {4, 5};
    auto t = views::iota(6, 9);
    auto cat = views::concat(p, e, t);
    auto dog = views::concat(cat, cat);
    for (auto i{dog.begin()}; i != std::default_sentinel; ++i)
        std::cout << *i << ' ';
    std::cout << '\n';
}

1 2 3 4 5 6 7 8 1 2 3 4 5 6 7 8

参考文献