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

< 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 /* 未指定 */ split = /* 未指定 */;

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

    requires /* 见下文 */

constexpr ranges::view auto split( R&& r, Pattern&& pattern );
 (C++20 起)
template< class Pattern >
constexpr /* 范围适配器闭包 */ 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 时相对应地实现该概念。

数据成员

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

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

成员函数

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

嵌套类

(C++20)
 迭代器类型
(仅用于阐述的成员类*)
(C++20)
 哨位类型
(仅用于阐述的成员类*)

推导指引

注解

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

示例

#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 过于惰性而无法易用 其被重新设计

参阅

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