multimap::equal_range返回左闭右开的迭代器对,first指向首匹配元素,second指向末匹配元素的下一位置;使用前须检查first!=second以防解引用崩溃。

multimap::equal_range 返回的是迭代器对,不是单个值
在 multimap 中调用 equal_range,它返回 std::pair<iterator iterator></iterator>,其中 first 指向第一个键等于给定值的元素,second 指向最后一个匹配元素的**下一个位置**(即左闭右开区间)。这和 map 的行为一致,但关键区别在于:只有 multimap 可能返回多个元素,所以这个范围才真正有意义。
常见错误是直接解引用 equal_range 返回的 pair 而不检查是否为空——当键不存在时,first == second,此时解引用会崩溃。
- 务必先判断
range.first != range.second再遍历 -
multimap不保证相同键的元素插入顺序被保留(实际通常按插入顺序,但标准不保证),所以不要依赖“第一个插入的一定在最前” - 如果只想要一个匹配项,用
find更清晰;equal_range的价值就在于批量取同键所有值
遍历 equal_range 结果的正确写法
最安全、最常用的遍历方式是传统 for 循环配合迭代器范围:
std::multimap<int, std::string> mm = {{1,"a"},{1,"b"},{2,"c"}};
auto range = mm.equal_range(1);
for (auto it = range.first; it != range.second; ++it) {
std::cout << it->first << ": " << it->second << "\n";
}
// 输出:
// 1: a
// 1: b
注意:it->first 是键(这里恒为 1),it->second 才是对应值。C++20 起可用 std::ranges::for_each,但需额外包含头文件且无明显优势,不推荐为这点改写。
立即学习“C++免费学习笔记(深入)”;
- 不要用基于范围的 for 循环直接写
for (auto& p : mm.equal_range(...))——equal_range返回的是 pair,不是容器,不能直接遍历 - 避免把
range.second写成std::next(range.first),那只会取第一个元素 - 若需把结果存进 vector,用
std::vector<std::pair<const int, std::string>>(range.first, range.second)
equal_range 和 find + upper_bound 的等价性
equal_range(k) 在语义上等价于 {find(k), upper_bound(k)},但前者是原子操作,更简洁且可能有微小性能优势(内部一次查找即可确定两端)。
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
某些旧代码或调试场景中会看到手写等价逻辑:
auto first = mm.find(1);
if (first != mm.end()) {
auto last = mm.upper_bound(1); // 注意不是 end()
for (auto it = first; it != last; ++it) { /* ... */ }
}
这种写法可行,但多了一次查找(find 和 upper_bound 各一次),而 equal_range 内部通常只需一次树遍历。除非你在做底层实现分析,否则没必要拆开。
-
lower_bound(k)和equal_range(k).first等价;upper_bound(k)和equal_range(k).second等价 - 如果只是判断是否存在,
find != end()比equal_range更轻量 - 对空
multimap调用equal_range是安全的,返回两个end()迭代器
键类型必须支持严格弱序,且 equal_range 不接受自定义比较器参数
multimap 构造时传入的比较器(如 std::less<>)决定了 equal_range 的行为。你不能在调用 equal_range 时临时换一个比较逻辑——它永远使用容器定义时绑定的那个。
例如,如果你定义了 multimap<std::string, int, std::greater<>>,那么 equal_range("abc") 仍按字典降序找匹配,不是升序。
- 自定义键类型时,确保
operator<或比较器满足严格弱序,否则equal_range行为未定义 - 不要试图传函数对象进
equal_range——它没有这样的重载 - 若需多种排序视图,考虑用
std::vector配合std::equal_range(算法版),而非依赖容器成员函数
真正容易被忽略的是:equal_range 的返回类型是 pair,而 pair 的两个迭代器可能相等(空范围),任何对它们的解引用或递增操作都必须以该条件为前提。写完循环,顺手加一行 assert(range.first != mm.end() || range.first == range.second); 能帮你早发现逻辑错位。

















