std::ranges::starts_with 不能直接用字符串字面量（如 "hello"）是因为其要求两个参数均为满足 range 概念的类型，而 const char[N] 不满足；正确做法是显式转换为 std::string_view 或其他合法 range。
std::ranges::starts_with 为什么不能直接用字符串字面量
直接写 std::ranges::starts_with("hello world", "hello") 会编译失败，因为字符串字面量是 const char[12] 类型，而 std::ranges::starts_with 要求两个参数都是 range（且支持 begin/end），字面量数组不满足 range 概念的完整约束（尤其在 C++20 标准下，未隐式转换为 std::string_view）。
常见错误现象：no matching function for call to 'starts_with' 或模板推导失败。
- 正确做法是显式转成
std::string_view或std::span -
std::string和std::vector等容器可以直接传，它们是合法 range - 若用
std::array，需确保大小已知且类型匹配（如std::array<char n></char>）
如何检查 std::string 或 std::vector 的头部
对标准容器，直接传引用即可，无需额外包装。注意：第二个参数（前缀）也必须是 range，不能是裸指针或单个元素。
std::string s = "apple pie";
std::vector<int> v = {1, 2, 3, 4, 5};
std::vector<int> prefix = {1, 2};
bool b1 = std::ranges::starts_with(s, std::string_view("app")); // true
bool b2 = std::ranges::starts_with(v, prefix); // true
bool b3 = std::ranges::starts_with(v, std::vector{1, 2}); // true，C++17 初始化列表推导可行
- 用
std::string_view包裹字面量最轻量，避免构造临时std::string - 不要写
std::ranges::starts_with(s, "app")—— 编译器无法从const char[4]推导出合适的 range - 若前缀是
std::vector<T>，确保T与被检查容器元素类型可比较（默认用==）
自定义比较器怎么传，什么时候需要
默认行为是逐元素调用 operator==。若要忽略大小写、比较绝对值、或处理浮点近似相等，就得传自定义谓词。
立即学习“C++免费学习笔记（深入）”；
std::string s = "Hello World";
bool ignore_case = std::ranges::starts_with(
s,
std::string_view("HELLO"),
[](char a, char b) { return std::tolower(a) == std::tolower(b); }
); // true
- 谓词签名必须是
bool(decltype(*first1), decltype(*first2)) - 不能只传一个 lambda 检查长度——
starts_with内部仍会做范围长度判断，你只需管元素比较逻辑 - 若谓词抛异常，行为未定义；建议保持无状态、无副作用
性能和兼容性要注意什么
std::ranges::starts_with 是 C++20 引入的，MSVC 19.30+、GCC 10+、Clang 10+ 支持。它底层是短路遍历：一旦某位置不匹配就立刻返回 false，时间复杂度 O(min(len(prefix), len(subject)))，空间复杂度 O(1)。
- 没有缓存、不修改原数据，纯只读操作
- 对
std::list这类非随机访问容器，性能不如std::string或std::vector（因迭代器递增开销略高） - 如果前缀为空 range（如空
std::string_view），始终返回true—— 这是标准定义，不是 bug
最容易被忽略的是字面量类型和 range 概念之间的鸿沟：哪怕逻辑再简单，漏掉 std::string_view 这一层包装，编译就过不去。
