为什么 std：：views：：split（） 编译但不使用未命名的字符串文字作为模式进行拆分？

Question

当＜code＞std：：views：：split（）＜/code＞获取一个未命名的字符串文本作为模式时，它不会拆分字符串，但可以很好地处理未命名的字符文本。

#include <iomanip>
#include <iostream>
#include <ranges>
#include <string>
#include <string_view>

int main(void)
{
    using namespace std::literals;

    // returns the original string (not splitted)
    auto splittedWords1 = std::views::split("one:.:two:.:three", ":.:");
    for (const auto word : splittedWords1)
        std::cout << std::quoted(std::string_view(word));
    
    std::cout << std::endl;

    // returns the splitted string
    auto splittedWords2 = std::views::split("one:.:two:.:three", ":.:"sv);
    for (const auto word : splittedWords2)
        std::cout << std::quoted(std::string_view(word));
    
    std::cout << std::endl;

    // returns the splitted string
    auto splittedWords3 = std::views::split("one:two:three", ':');
    for (const auto word : splittedWords3)
        std::cout << std::quoted(std::string_view(word));
    
    std::cout << std::endl;

    // returns the original string (not splitted)
    auto splittedWords4 = std::views::split("one:two:three", ":");
    for (const auto word : splittedWords4)
        std::cout << std::quoted(std::string_view(word));
    
    std::cout << std::endl;

    return 0;
}

看现场@ godbolt.org。

我理解字符串文字总是左值。但即使如此，我还是错过了一些将一切联系在一起的重要信息。为什么当我对模式执行同样的操作时，我可以将要拆分为未命名字符串的字符串传递给它，而它却失败了（如：返回原始字符串的范围）？

Answer 1

匿名用户

这个答案是完全正确的，我只是想补充几个可能有趣的注意事项。

首先，如果您使用 {fmt} 进行打印，则更容易看到正在发生的事情，因为您也不必编写自己的循环。你可以这样写：

fmt::print("{}\n", rv::split("one:.:two:.:three", ":.:"));

它将输出（这是一系列字符的默认输出）：

[[o, n, e, :, ., :, t, w, o, :, ., :, t, h, r, e, e, ]]

在C23中，有一种html" target="_blank">方法可以直接指定此打印为字符串范围，但尚未将其添加到{fmt}中。同时，由于拆分保留了初始范围类别，您可以添加：

auto to_string_views = std::views::transform([](auto sr){
    return std::string_view(sr.data(), sr.size());
});

然后：

fmt::print("{}\n", std::views::split("one:.:two:.:three", ":.:") | to_string_views);

印刷品：

["one:.:two:.:three\x00"]

注意明显的尾随零。同样，接下来的三次尝试格式为：

["one", "two", "three\x00"]
["one", "two", "three\x00"]
["one:two:three\x00"]

我们可以清楚地看到\x00这一事实有助于跟踪问题。

接下来，考虑以下两者之间的区别：

std::views::split("one:.:two:.:three", ":.:")

和

"one:.:two:.:three" | std::views::split(":.:")

我们通常认为这些是等价的，但它们是...不完全是。在后一种情况下，库必须捕获并保存这些值——这涉及到衰减它们。在这种情况下，因为<代码> ":。:" 衰减为< code>char const*，这不再是传入字符串文字的有效模式。所以上面实际上不编译。

现在，如果它既能正确编译又能正常工作，那就太好了。不幸的是，在语言中无法区分字符串文字（不希望包含空终止符）和char数组（希望包含整个数组）。因此，至少，使用后一种公式，您可以得到错误的东西，不编译。至少，“不编译”比“编译并做一些与我预期完全不同的事情”要好吗？

演示。

Answer 2

字符串文字总是以空终止符结尾，因此":.:"实际上是一个范围，最后一个元素为\0，大小为4。

由于原始字符串不包含这样的模式，因此不会拆分。

_{在处理C 20范围时，我强烈建议使用string_view而不是原始字符串文字，这与配合得很好}