std::ranges::equal 先比长度再逐元素比较,避免越界;而 std::equal 不检查第二范围长度,易致未定义行为;支持容器直传、谓词与投影,但 list 上性能差。

直接用 std::ranges::equal 就行,但必须确认编译器支持 C++20 且开了 -std=c++20(或更高),否则会编译失败——它不是“升级版 std::equal”,而是全新接口,老编译器根本不认识。
为什么 std::ranges::equal 不报越界但 std::equal 会
因为 std::ranges::equal 内部先调 std::ranges::size 比对两个范围长度,长度不等直接返回 false;相等才逐元素比。而 std::equal 只管“从 first2 开始读够 last1 - first1 个”,不管 second range 实际有没有那么多元素。
- 常见错误现象:
std::equal(v1.begin(), v1.end(), v2.begin())返回true,但v2.size() == v1.size() - 1—— 这是未定义行为,可能读到栈上垃圾值 - 使用场景:判断两个
std::vector、std::array、C 风格数组、甚至std::string_view是否内容一致 - 参数差异:
std::ranges::equal(a, b)直接传容器/视图,不用拆begin()/end();谓词放第三位(如std::ranges::equal(a, b, {}, std::less{})) - 性能影响:多一次
size()查询,对std::vector是 O(1),对std::list是 O(N)——所以别对std::list用它做相等判断,改用==运算符
std::ranges::equal 的谓词和投影怎么写才不出错
谓词签名必须接受两个参数(左、右),返回 bool;投影则对每个元素单独处理,再拿结果去比。最容易错的是类型不匹配,比如传 char 给 std::tolower(它要 unsigned char)。
- 忽略大小写比较字符串:
std::ranges::equal(s1, s2, {}, [](unsigned char a, unsigned char b) { return std::tolower(a) == std::tolower(b); }) - 结构体按字段比较:
std::ranges::equal(v1, v2, {}, &Person::id)(投影语法,C++20 支持) - 浮点数近似相等:
std::ranges::equal(a, b, {}, [](double x, double y) { return std::abs(x - y) - 错误示范:
[](char a, char b) { ... }在某些平台(如 glibc)下传负char给std::tolower会 UB
哪些容器/范围不能直接用 std::ranges::equal
它要求两个范围都满足 std::ranges::range 概念,且能取 size() 或有 begin()/end()。但有些“看起来像范围”的东西其实不行。
立即学习“C++免费学习笔记(深入)”;
-
std::list和std::forward_list:支持std::ranges::equal,但size()是 O(N),实际性能不如直接用==运算符 - C 风格数组:可以,
std::ranges::equal(arr1, arr2)合法,前提是类型相同、长度一致(编译期已知) - 空指针或悬垂迭代器:不会额外检查,仍会解引用——它只防长度越界,不防野指针
-
std::unordered_set:能编译通过,但语义错误——无序容器内容相同 ≠ 元素顺序相同,该用std::is_permutation或先排序
最常被忽略的一点:即使你写了 std::ranges::equal(a, b),如果 a 或 b 是临时对象(比如函数返回的 std::vector),而你在 lambda 谓词里试图修改它们,就会遇到生命周期问题——std::ranges::equal 不延长任何临时对象的生命。

















