std::ranges::starts_with不能直接传{1,2}因initializer_list类型推导失败，需显式构造std::array等明确range；字符串字面量可隐式转string_view，数值容器则不行。
std::ranges::starts_with 为什么不能直接传 vector？
因为 std::ranges::starts_with 要求两个参数都是范围（range），且底层会调用 begin()/end()；但如果你传 std::vector<int></int> 和 {1, 2} 这样的花括号初始化列表，后者不是范围——它是 std::initializer_list，虽支持迭代，但类型推导常失败，编译器报错类似：no matching function for call to 'starts_with'。
- 正确做法：显式构造可迭代的左值，比如用
std::array、std::vector或字符串字面量（对std::string_view） - 常见翻车点：写
starts_with(v, {1,2})—— 这里{1,2}类型不明确，模板无法推导std::initializer_list的元素类型与容器匹配 - C++20 起支持直接用字符串字面量（如
"hello"）作为右参数，因为隐式转为std::string_view，但数值容器不行
如何安全比对 vector 或 string 的前缀？
核心是让两个操作数都明确为 range，且 value_type 可比较。对 std::vector，推荐用 std::array 或另一个 std::vector 作 pattern；对 std::string，直接用字符串字面量最简洁。
-
std::vector<int> v = {1,2,3,4}; starts_with(v, std::array{1,2})</int>✅ -
std::string s = "abcdef"; starts_with(s, "ab")✅（自动转std::string_view） -
starts_with(s, std::string{"ab"})✅，但没必要，多一次构造 - 避免：
starts_with(v, std::vector{1,2})❌，因为std::vector构造函数是 explicit 的，花括号初始化不触发隐式转换
自定义比较器怎么传？注意 operator== 不是默认选项
std::ranges::starts_with 第三个参数是可选的二元谓词，默认用 std::ranges::equal_to{}，不是裸 ==。这意味着如果你传自定义类型，必须确保该谓词能处理你的类型，或显式传 lambda。
- 默认行为等价于：
std::ranges::equal_to{}(a, b)，它内部调用std::invoke，支持 ADL 和重载的operator==，但前提是该 operator 在作用域内可见 - 若类型没定义
operator==，或你想忽略大小写比较字符串，必须传 lambda：starts_with(s, "AB", [](char a, char b) { return std::tolower(a) == std::tolower(b); }) - 不能传
std::equal_to（老式函数对象），它不满足 C++20 谓词概念，编译失败
性能和视图边界：它真的只看“前缀”吗？
是的，starts_with 内部只遍历较短范围的长度，时间复杂度 O(min(size(left), size(right)))，不会读取整个左容器。但它要求右范围的 size ≤ 左范围 size，否则立刻返回 false —— 这个检查是静态的（通过 std::ranges::size），所以右参数要是 sized_range 才能高效判断。
- 推荐 pattern 类型：优先用
std::array、std::string_view、std::vector（有size()）；避免用std::forward_list或自定义无 size 的 view，否则可能退化为 O(n) 遍历找长度 - 如果右范围为空（如
std::array<int>{}</int>），starts_with恒返回 true —— 空序列是任意序列的前缀 - 注意：它不构造任何视图对象，只是算法调用，零开销抽象
真正容易被忽略的是右参数的类型确定性——写 {1,2} 看似简洁，实际破坏了模板推导，而加个 std::array 声明就解决，这点在模板-heavy 的 ranges 代码里反复出现。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
