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

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>>

namespace views {
    inline constexpr /* unspecified */ split = /* unspecified */;
}

template< ranges::viewable_range R, class Pattern >
    requires /* see below */
constexpr ranges::view auto split( R&& r, Pattern&& pattern );

template< class Pattern >
constexpr /* range adaptor closure */ split( Pattern&& pattern );

split_view 模型化概念 forward_range，并且当底层 view 模型化相应概念时，也模型化 common_range V。

内部范围（ranges::range_reference_t<split_view>）是一个 ranges::subrange<ranges::iterator_t<V>>，它模型化 common_range，当 模型化 时模型化 ranges::iterator_t<V>sized_rangestd::sized_sentinel_for<ranges::iterator_t<V>>，并且当 模型化相应概念时，模型化 contiguous_range、random_access_range、bidirectional_range 和 forward_rangeV。

与 lazy_split_view 不同，split_view 保持子范围的连续性，使其适合字符串分割。

数据成员

成员函数

嵌套类

推导指引

注释

在 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))
        // 使用 string_view 的 C++23 范围构造函数：
        std::cout << std::quoted(std::string_view(word)) << ' ';
    std::cout << '\n';
}

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

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见