split_view 类(C++ 标准库)

根据分隔符将视图拆分为子范围。 分隔符可以是单个元素或元素视图。 分隔符不是生成的 split_view 的一部分。

相关视图是 lazy_split_view 类。 split_viewlazy_split_view 之间的主要区别包括:

视图 可以拆分 const 范围 范围类型
split_view 支持 forward_range 或更高版本。
lazy_split_view 支持 input_range 或更高版本。

首选 split_view,因为效率更高,除非必须拆分 const 范围。

语法

template<forward_range V, forward_range Pattern>
    requires view<V> && view<Pattern> &&
    indirectly_comparable<iterator_t<V>, iterator_t<Pattern>, ranges::equal_to>
class split_view : public view_interface<split_view<V, Pattern>>;

模板参数

Pattern
用于指定分隔符序列的视图的类型。

V
基础视图的类型。

视图特征

有关下列条目的说明,请参阅视图类特征

特征 说明
范围适配器 views::split
基础范围 与基础范围相同
元素类型 range_reference_t<V>
视图枚举器类别 满足 forward_range
已设置大小
const 可迭代
常见范围 仅当基础范围满足 common_range 要求时
借入范围

成员

成员函数 描述
构造函数 构造视图。
baseC++20 获取基础范围。
beginC++20 获取指向第一个元素的迭代器。
endC++20 获取视图末尾的 sentinel。
view_interface 继承 描述
emptyC++20 测试视图是否为空。
frontC++20 获取第一个元素。
operator boolC++20 测试视图是否不为空。

要求

标头: <ranges> (自C++20以来)

命名空间std::ranges

编译器选项:/std:c++20或更高版本是必需的。

构造函数

构造 split_view 的实例

1) split_view() requires default_initializable<V> && default_initializable<Pattern> = default;
2) constexpr split_view(V base, Pattern pattern);
3) template<input_range R> requires constructible_from<V, views::all_t<R>> &&
     constructible_from<Pattern, single_view<range_value_t<R>>>
     constexpr split_view(R&& rg, range_value_t<R> e);

参数

e
用于标识视图拆分位置的单个元素。 该元素不是生成的视图的一部分。

base
基础视图。

pattern
用于标识视图拆分位置的元素视图。 元素视图不是生成的视图的一部分。

rg
要拆分的范围。

有关模板参数类型的信息,请参阅模板参数

返回值

包含一个或多个子范围的 split_view 实例。

注解

创建 split_view 的最佳方法是使用 views::split 范围适配器。 范围适配器是创建视图类的预期方法。 仅当要创建自己的自定义视图类型时,才会公开视图类型。

1) 创建默认构造的 split_view。 基础视图和 pattern 是默认构造的。 base() 返回 V() 的副本。
2) 使用分隔符序列拆分视图来创建 split_view
3) 使用单个分隔符拆分视图来创建 split_view

示例 split_view

// requires /std:c++20 or later
#include <ranges>
#include <iostream>
#include <vector>

int main()
{
    std::vector<int> rg{ 1, 2, 3, 1, 2, 3, 4, 5, 6 };

    // pipe syntax using range adaptor
    for (const auto& subrange : rg | std::views::split(3))
    {
        // outputs
        // 1 2
        // 1 2
        // 4 5 6
        for (const auto& elem : subrange)
        {
            std::cout << elem << ' ';
        }
        std::cout << '\n';
    }
    
    int delimiters[] = {2, 3};
    for (auto splitRange : std::views::split(rg, delimiters)) // ctor syntax
    {
        for (auto& i : splitRange)
        {
            std::cout << i << " "; // 1 1 4 5 6
        }
    }
}
1 2
1 2
4 5 6
1 1 4 5 6

base

获取基础视图的副本。

// Uses a copy constructor to return the underlying view
1) constexpr V base() const & requires std::copy_constructible<V>;

// Uses a move constructor to return the underlying view
2) constexpr V base() &&;

参数

无。

返回

基础视图。

begin

获取指向视图中第一个元素的迭代器。

constexpr auto begin();

参数

无。

返回值

指向视图中第一个元素的迭代器。

包含元素 10、20 和 30 的矢量的图片。第一个元素包含 10,被标记为 begin()。最后一个元素包含 30,被标记为“last element”。最后一个元素之后的虚框指示 sentinel,被标记为 end()。

end

获取视图末尾的 sentinel。

constexpr auto end();

参数

无。

返回值

视图中最后一个元素后面的 sentinel:

包含元素 10、20 和 30 的矢量的图片。第一个元素包含 10,被标记为 begin()。最后一个元素包含 30,被标记为“last element”。最后一个元素之后的虚框指示 sentinel,被标记为 end()。

另请参阅

<ranges>
split_view 范围适配器
lazy_split_view
视图类