std::ranges::equal要求两范围长度相等才返回true，自动防越界但不处理前缀比较；支持自定义比较器需显式传参，正确写法为std::ranges::equal(a,b,{},pred)或std::ranges::equal(a,b,std::equal_to{},pred)。
std::ranges::equal 要求两个范围长度相等才能返回 true
直接用 std::ranges::equal 比较两个容器，如果长度不同，它会立刻返回 false，不会越界访问——这是它比手写循环或 std::equal 更安全的地方。但它不自动处理“短序列是否为长序列前缀”这类需求，这点容易误用。
- 它只比较「共同长度部分」：实际比较的元素个数是
min(size(a), size(b))，但前提是两个范围都可 SizedRange；否则行为依赖迭代器能否成对走完 - 若传入的范围之一是无限的（比如自定义的无限视图），且另一方较短，
std::ranges::equal可能永远不终止 - 默认使用
operator==，不支持自定义比较器时别硬套 lambda——必须显式传参
正确传入自定义比较器的方式
想忽略大小写比较字符串，或按绝对值比较整数，必须把比较器作为第三个参数（不是第四或第五）。漏掉它，编译器会报错说“no matching function”，而不是静默失败。
- 错误写法：
std::ranges::equal(a, b, [](char x, char y) { return tolower(x) == tolower(y); })—— 缺少std::ranges::equal的重载要求：当提供二元谓词时，必须明确指定两个范围的迭代器类型或使用范围重载 - 正确写法（推荐）：
std::ranges::equal(a, b, {}, [](char x, char y) { return tolower(x) == tolower(y); })，其中空大括号{}占位默认投影（projection），满足函数签名 - 更清晰的写法：
std::ranges::equal(a, b, std::equal_to{}, [](char x, char y) { return tolower(x) == tolower(y); })
和传统 std::equal 的关键区别在哪
老式 std::equal(first1, last1, first2) 需要你手动保证 first2 到 first2 + (last1 - first1) 有效；而 std::ranges::equal 自动从两个范围推导边界，天然防越界。
-
std::equal(v1.begin(), v1.end(), v2.begin())：若v2.size() ，UB（未定义行为） -
std::ranges::equal(v1, v2)：安全，直接返回false - 性能上无本质差异，都是 O(N)，但 ranges 版本在编译期能更好推导 constness 和 category，某些场景启用 vectorization 的机会略高
常见编译错误及修复
最常遇到的是 “no match for call to …” 或 “candidate template ignored”，基本都源于参数顺序或缺失占位符。
- 错误信息含
concept 'equality_comparable_with'失败 → 检查两个范围的 value_type 是否真能用 == 比较，比如含 non-regular 类型（如std::unique_ptr）需显式提供比较器 - 错误信息指向
__iter_concept→ 传入了不满足input_range的类型（例如裸指针数组没包成std::span或用std::ranges::subrange） - 想比较 C 风格字符串字面量？别写
std::ranges::equal("abc", "abc")—— 字符串字面量是const char[4]，不是 range；改用std::string_view{"abc"}或加std::ranges::cbegin/cend
真正要注意的是：它不比较“是否一个包含另一个”，也不做子序列搜索；名字叫 equal 就只做全等判断。如果你需要前缀匹配、子串查找或模糊匹配，得换算法或加额外逻辑。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
