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

在标头 `<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) 范围适配器对象。对于任何合适的子表达式 e 和 p ，表达式 views::split(e, p) 表达式等价于 split_view(e, p) 。

在底层 view V 实现概念 forward_range 和 common_range 时， split_view 相对应地实现该概念。

内层范围（ ranges::range_reference_t<split_view> ）是一个实现了 common_range 的 ranges::subrange<ranges::iterator_t<V>> ，并且在 ranges::iterator_t<V> 实现了 std::sized_sentinel_for<ranges::iterator_t<V>> 时实现 sized_range ，并且在 V 实现了 contiguous_range ， random_access_range ， bidirectional_range ，和 forward_range 时相对应地实现该概念。

表达式等价

表达式 e 表达式等价于表达式 f ，若 e 与 f 拥有相同效果，均为潜在抛出或均非潜在抛出（即 noexcept(e) == noexcept(f) ），且均为常量子表达式或均非常量子表达式。

数据成员

split_view 的典型实现拥有三个非静态数据成员：

V 类型的底层 view （此处仅为阐释示为 base_ ），
用作切割底层 view 的分隔符的模式（此处仅为阐释示为 pattern_ ），以及
一个等价于 std::optional<ranges::subrange<ranges::iterator_t<V>>> （此处仅为阐释示为 cached_begin_ ）的对象，缓存了第一次调用 begin() 的结果。

成员函数

(构造函数) (C++20)	构造 `split_view` (公开成员函数)
base (C++20)	返回底层（适配的）视图的副本 (公开成员函数)
begin (C++20)	返回指向起始的迭代器 (公开成员函数)
end (C++20)	返回指向末尾的迭代器或哨位 (公开成员函数)
find_next (C++20)	寻找存在的下一个模式 (仅用于阐释的成员函数)
继承自 std::ranges::view_interface
empty (C++20)	返回视图是否为空。若视图满足 `forward_range` 则提供。 (`std::ranges::view_interface<D>` 的公开成员函数)
operator bool (C++20)	返回派生视图是否为非空。若 ranges::empty 可应用于它则提供。 (`std::ranges::view_interface<D>` 的公开成员函数)
front (C++20)	返回派生视图中的首元素。若视图满足 `forward_range` 则提供。 (`std::ranges::view_interface<D>` 的公开成员函数)

嵌套类

iterator (C++20)	迭代器类型 (仅用于阐释的成员类)
sentinel (C++20)	哨位类型 (仅用于阐释的成员类)

推导指引

注解

在 P2210R2 之前， split_view 在切割时使用了一种惰性的机制，这使得其无法保持底层视图的双向、随机访问和连续性质，也无法使内部范围的迭代器类型与底层视图相同。因此，其被 P2210R2 重新设计，而惰性机制被移动到了 lazy_split_view 。

示例

去往示例的链接： wandbox

运行此代码

#include <iostream>
#include <iomanip>
#include <ranges>
#include <string_view>
 
int main() {
    constexpr std::string_view words{"Hello-_-C++-_-20-_-!"};
    constexpr std::string_view delim{"-_-"};
    for (const auto word : std::views::split(words, delim)) {
        std::cout << std::quoted(std::string_view(word.begin(), word.end())) << ' ';
    }
}

输出：

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

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
P2210R2	C++20	旧的 `split_view` 过于惰性而无法易用	其被重新设计

参阅

ranges::lazy_split_viewviews::lazy_split (C++20)	用某个分隔符切割另一 `view` 所获得的子范围的 `view` (类模板) (范围适配器对象)
ranges::join_viewviews::join (C++20)	由拉平 `range` 组成的 `view` 所获得的序列构成的 `view` (类模板) (范围适配器对象)

语言
标准库
标准库头文件
自立与有宿主
具名要求
语言支持库
概念库 (C++20)
诊断库
工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库

成员函数
split_view::split_view (C++20)
split_view::base (C++20)
split_view::begin (C++20)
split_view::end (C++20)
嵌套类
split_view::iterator (C++20)
split_view::sentinel (C++20)
推导指引