lower_bound用于查找大于等于目标值的第一个元素,返回迭代器需判空再解引用,时间复杂度o(log n),不可与upper_bound混淆,自定义类型须保证比较逻辑一致。

用 lower_bound 找大于等于目标值的第一个元素
std::set 是有序容器,内部用红黑树实现,lower_bound 正是为此类查询设计的:它返回指向第一个不小于给定值的元素的迭代器。时间复杂度是 O(log n),不是遍历。
注意它和 find 不同:find 只查完全相等的元素,而 lower_bound 处理的是“下界”关系。
- 如果目标值存在,
lower_bound返回指向该元素的迭代器 - 如果目标值不存在但有更大值,返回指向第一个更大值的迭代器
- 如果所有元素都小于目标值,返回
end()
lower_bound 的返回值必须判空再解引用
直接对 lower_bound 返回的迭代器做 *it 是危险的——若返回 end(),解引用会未定义行为(常见 crash 或静默错误)。
正确做法永远先检查是否等于 end():
std::set<int> s = {1, 3, 5, 7, 9};
int target = 6;
auto it = s.lower_bound(target);
if (it != s.end()) {
std::cout
<h3>和 <code>upper_bound</code> 别混用</h3>
<p><code>upper_bound</code> 返回的是第一个<strong>严格大于</strong>目标值的元素,不是“大于等于”。当目标值存在时,两者可能指向不同位置:</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>
<ul>
<li><code>s = {2, 4, 4, 6}; target = 4</code></li>
<li>
<code>s.lower_bound(4)</code> → 指向第一个 <code>4</code>
</li>
<li>
<code>s.upper_bound(4)</code> → 指向 <code>6</code>
</li>
</ul>
<p>所以“大于等于”必须用 <code>lower_bound</code>,用错会导致漏掉恰好相等的合法结果。</p>
<h3>自定义类型要确保比较逻辑一致</h3>
<p>如果 <code>set</code> 存的是自定义结构体或类,<code>lower_bound</code> 依赖你提供的比较函数(或 <code>operator)。关键点是:<code>lower_bound</code> 内部仍用同一套序关系判断“不小于”,所以你的比较逻辑必须满足严格弱序,且与查找时传入的值能合理比较。</code></p>
<p>例如:</p>
<pre class="brush:php;toolbar:false;">struct Point { int x, y; };
bool operator pts = {{1,5}, {3,2}, {3,8}};
auto it = pts.lower_bound({3,0}); // 合法:按 x=3 查,得到 {3,2}
但如果比较逻辑里用了未初始化字段,或和查找键的语义不匹配(比如按 x+y 排序却只传 x),lower_bound 就可能跳过本应命中的元素。
最常被忽略的是忘记检查 end() ——尤其在模板泛型代码里,容易把 lower_bound 当成“一定有结果”的操作来用。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










