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 first second <p>注意：<code>it->first</code> 是键（这里恒为 1），<code>it->second</code> 才是对应值。C++20 起可用 <code>std::ranges::for_each</code>，但需额外包含头文件且无明显优势，不推荐为这点改写。</p>
<ul>
<li>不要用基于范围的 for 循环直接写 <code>for (auto& p : mm.equal_range(...))</code> ——<code>equal_range</code> 返回的是 pair，不是容器，不能直接遍历</li>
<li>避免把 <code>range.second</code> 写成 <code>std::next(range.first)</code>，那只会取第一个元素</li>
<li>若需把结果存进 vector，用 <code>std::vector<:pair int std::string>>(range.first, range.second)</:pair></code>
</li>
</ul>
<h3>equal_range 和 find + upper_bound 的等价性</h3>
<p><code>equal_range(k)</code> 在语义上等价于 <code>{find(k), upper_bound(k)}</code>，但前者是原子操作，更简洁且可能有微小性能优势（内部一次查找即可确定两端）。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master"><img
src="https://img.php.cn/upload/skill/000/000/081/179051228971575.jpg" alt="C++ Code Review Master" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="overflowclass">C++ Code Review Master</a>
<p class="overflowclass">组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。</p>
</div>
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<p>某些旧代码或调试场景中会看到手写等价逻辑：</p>
<pre class="brush:php;toolbar:false;">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<:string int std::greater>></:string>，那么 equal_range("abc") 仍按字典降序找匹配，不是升序。
- 自定义键类型时，确保
operator 或比较器满足严格弱序，否则 <code>equal_range行为未定义 - 不要试图传函数对象进
equal_range——它没有这样的重载 - 若需多种排序视图，考虑用
std::vector配合std::equal_range（算法版），而非依赖容器成员函数
真正容易被忽略的是：equal_range 的返回类型是 pair，而 pair 的两个迭代器可能相等（空范围），任何对它们的解引用或递增操作都必须以该条件为前提。写完循环，顺手加一行 assert(range.first != mm.end() || range.first == range.second); 能帮你早发现逻辑错位。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
