时间戳

首页 > 解决方案 > C++20 中 std::ranges::split_view 的状态是什么？

c++ - C++20 中 std::ranges::split_view 的状态是什么？

问题描述

根据https://en.cppreference.com/w/cpp/ranges/split_view，std::ranges::split_view必须从 C++20 开始可用。但是，同一页面上的示例在其文本中包含“C++23”：

#include <iostream>
#include <iomanip>
#include <ranges>
#include <string_view>
 
int main() {
    constexpr std::string_view words{"Hello-_-C++-_-23-_-!"};
    constexpr std::string_view delim{"-_-"};
    for (const std::string_view word : std::ranges::split_view(words, delim)) {
        std::cout << std::quoted(word) << ' ';
    }
}

GCC 和 MSVC 都拒绝接受 C++20 模式下的这个例子。MSVC 特别打印：

The contents of <ranges> are available only in c++latest mode with concepts support;

https://gcc.godbolt.org/z/4fGGb3aqY

GCC 开始接受带有-std=c++2b命令行开关的代码（意味着即将推出的 C++23），而 MSVC 即使带有/std:c++latest选项也会报告错误

error C2440: 'initializing': cannot convert from 'std::ranges::split_view<std::basic_string_view<char,std::char_traits<char>>,std::basic_string_view<char,std::char_traits<char>>>::_Outer_iter<true>::value_type' to 'std::basic_string_view<char,std::char_traits<char>>'
note: No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called

演示：https ://gcc.godbolt.org/z/6z48Mz45j

C++20 模式下的示例是否有问题，或者它确实需要编译器提供一些 C++23 功能？

标签： c++c++20std-rangesc++23

解决方案

这个

for (const std::string_view word : std::ranges::split_view(words, delim)) {
    std::cout << std::quoted(word) << ' ';
}

需要解决一个 C++20 缺陷并实现一个 C++23 功能以形成良好的格式。

第一个是P2210，它把原来的改名split_view为lazy_split_view并重新设计了新的split_view。改进之一是它value_type被定义为subrange，这意味着当将 newsplit_view应用于 acontiguous_range时，拆分子范围也将是contiguous_ranges。

因此split_view(words, delim)，在您的示例中将返回一系列subrangewhich models contiguous_range。

第二个是P1989，它添加了一个范围构造函数，string_view以便它可以接受 acontiguous_range并初始化其成员。

由于它是 C++23 功能，这就是示例在其文本中包含“C++23”的原因。

推荐阅读