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

参考文献