命名空间
变体
操作

std::ranges::views::split,std::ranges::split_view

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
 
定义在头文件 <ranges>
template< ranges::forward_range V, ranges::forward_range Pattern >

requires ranges::view<V> &&
         ranges::view<Pattern> &&
         std::indirectly_comparable<ranges::iterator_t<V>,
                                    ranges::iterator_t<Pattern>,
                                    ranges::equal_to>
class split_view

    : public ranges::view_interface<split_view<V, Pattern>>
(1) (自 C++20)
namespace views {

    inline constexpr /* unspecified */ split = /* unspecified */;

}
(2) (自 C++20)
调用签名
template< ranges::viewable_range R, class Pattern >

    requires /* see below */

constexpr ranges::view auto split( R&& r, Pattern&& pattern );
(自 C++20)
template< class Pattern >
constexpr /* range adaptor closure */ split( Pattern&& pattern );
(自 C++20)
1) split_view 接受一个 view 和一个分隔符,并将 view 在分隔符处拆分为子范围。
2) RangeAdaptorObject。表达式 views::split(e, p)split_view(e, p) 表达式等价,适用于任何合适的子表达式 ep

split_view 模仿概念 forward_rangecommon_range,当底层 view V 模仿相应概念时。

内部范围 (ranges::range_reference_t<split_view>) 是一个 ranges::subrange<ranges::iterator_t<V>>,它模仿 common_range,当 ranges::iterator_t<V> 模仿 std::sized_sentinel_for<ranges::iterator_t<V>> 时,模仿 sized_range,并且当 V 模仿相应概念时,模仿 contiguous_rangerandom_access_rangebidirectional_rangeforward_range

内容

[编辑] 数据成员

成员名称 定义
base_ (私有) 底层(适配)view,类型为 V
(仅作说明目的的成员对象*)
pattern_ (私有) 用作分隔符来拆分底层 view 的模式对象
(仅作说明目的的成员对象*)
cached_begin_ (私有) 一个类型为 /*non-propagating-cache*/<ranges::subrange<ranges::iterator_t<V>>>类似 optional 的 对象,它缓存了对 begin() 的第一次调用的结果。
(仅作说明目的的成员对象*)

[编辑] 成员函数

构造一个 split_view
(公有成员函数) [编辑]
返回底层(已适配)视图的副本
(公有成员函数) [编辑]
返回指向开头的迭代器
(公有成员函数) [编辑]
返回指向结尾的迭代器或哨兵
(公有成员函数) [编辑]
搜索模式的下一个出现位置
(仅供说明的成员函数*)
继承自 std::ranges::view_interface
返回派生视图是否为空。如果它满足 sized_rangeforward_range,则提供此函数。
(std::ranges::view_interface<D> 的公有成员函数) [编辑]
(C++23)
返回指向范围开头的常量迭代器。
(std::ranges::view_interface<D> 的公有成员函数) [编辑]
(C++23)
返回范围的常量迭代器的哨兵。
(std::ranges::view_interface<D> 的公有成员函数) [编辑]
返回派生视图是否不为空。如果 ranges::empty 对其适用,则提供此函数。
(std::ranges::view_interface<D> 的公有成员函数) [编辑]
返回派生视图中的第一个元素。如果它满足 forward_range,则提供此函数。
(std::ranges::view_interface<D> 的公有成员函数) [编辑]

[编辑] 嵌套类

迭代器类型
(仅供说明的成员类*)
哨兵类型
(仅供说明的成员类*)

[编辑] 推导指南

[编辑] 注释

P2210R2 之前,split_view 使用了一种延迟机制进行分割,因此无法保持底层视图的双向、随机访问或连续属性,也无法使内部范围的迭代器类型与底层视图的迭代器类型相同。因此,它在 P2210R2 中进行了重新设计,延迟机制已移至 lazy_split_view

分隔符 pattern 通常不应该是一个普通的字符串字面量,因为它会将空终止符视为分隔符的必要部分;因此,建议使用 std::string_view 字面量。

[编辑] 示例

#include <iomanip>
#include <iostream>
#include <ranges>
#include <string_view>
 
int main()
{
    using std::operator""sv;
    constexpr auto words{"Hello^_^C++^_^20^_^!"sv};
    constexpr auto delim{"^_^"sv};
 
    for (const auto word : std::views::split(words, delim))
        // with string_view's C++23 range constructor:
        std::cout << std::quoted(std::string_view(word)) << ' ';
    std::cout << '\n';
}

输出

"Hello" "C++" "20" "!"

[编辑] 缺陷报告

以下更改行为的缺陷报告已追溯应用于以前发布的 C++ 标准。

DR 应用于 已发布的行为 正确行为
P2210R2 C++20 旧的 split_view 太过延迟,难以使用 它已被重新设计

[编辑] 另请参阅

一个 view,它包含使用分隔符分割另一个 view 所获得的子范围。
(类模板) (范围适配器对象)[编辑]
一个 view,它包含从扁平化一个 view(它包含 range)得到的序列。
(类模板) (范围适配器对象)[编辑]