为何std::views::split编译通过但无法以匿名字符串字面量为分隔符拆分？

现象说明 #

当std::views::split()以裸字符串字面量（如":.:"）作为分隔模式时，无法正确拆分输入字符串，返回包含原字符串的单一元素范围；但使用带sv后缀的std::string_view字面量，或单个字符字面量作为分隔模式时，拆分可正常工作。

代码示例 #

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

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

    // 返回原字符串（未拆分）
    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;

    // 返回拆分后的字符串
    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;

    // 返回拆分后的字符串
    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;

    // 返回原字符串（未拆分）
    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;
}

底层原因 #

输入范围与分隔模式的迭代器要求差异 #

1. 待拆分的输入范围：std::views::split()仅要求输入范围满足input_range概念。裸字符串字面量const char[N]会隐式转换为const char*，而指针属于输入迭代器，符合input_range要求，因此可以正常作为待拆分的输入。
2. 分隔模式的范围要求：当分隔模式是一个范围时，std::views::split()要求该范围满足forward_range概念（迭代器支持多遍遍历、可重复递增）。但裸字符串字面量转换后的const char*是输入迭代器，仅支持单次遍历，无法满足forward_range的要求。这种情况下，split无法正确执行模式匹配逻辑，最终返回未拆分的原字符串。

两种有效情况的解释 #

• 带sv后缀的std::string_view字面量：std::string_view的迭代器属于前向迭代器，满足forward_range要求，因此能被split正确识别为合法的分隔模式，完成拆分。
• 单个字符字面量：此时触发std::views::split()的另一重载（模式为单个元素而非范围），无需依赖范围迭代器的特性，因此可以直接匹配拆分。

内容的提问来源于stack exchange，提问作者khaos