std::upper_bound专用于查找第一个大于目标值的元素,要求容器已升序排序,时间复杂度o(log n),返回迭代器需转下标,未找到时返回end()。

用 std::upper_bound 最直接
标准库已经提供了现成方案:std::upper_bound 就是专为“找第一个大于某值的元素”设计的。它要求容器(或数组)已排序,时间复杂度 O(log n),比手写循环快且不易出错。
常见错误是传错迭代器范围或忽略排序前提——如果数组没排过序,结果完全不可预测。
- 必须确保数据升序排列,否则行为未定义
- 返回的是迭代器,不是下标;要转下标得用
it - vec.begin()或std::distance(arr, it) - 如果所有元素都不大于目标值,返回末尾迭代器(
end()),需判空
int arr[] = {1, 3, 5, 7, 9};
auto it = std::upper_bound(std::begin(arr), std::end(arr), 4);
if (it != std::end(arr)) {
std::cout <h3>用 <code>std::find_if</code> 处理无序数组</h3><p>如果数组不能排序(比如要保持原始顺序),或者你只关心“第一个满足条件的”,而不是“在有序结构中定位”,那就该用 <code>std::find_if</code>。它不依赖顺序,纯线性扫描。</p><p>注意:它不叫“upper bound”,语义上就是“找第一个匹配谓词的元素”,所以别被名字误导去强行套用 <code>upper_bound</code>。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架"><img
src="https://img.php.cn/upload/skill/000/000/081/178988956499722.jpg" alt="C++ 算法竞赛自动化测试数据生成与校验框架" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架" class="overflowclass">C++ 算法竞赛自动化测试数据生成与校验框架</a>
<p class="overflowclass">根据原题生成新题面、验证器及完整测试数据,自动套用 testlib 模板,用于用户要求生成测试数据时。</p>
</div>
<a rel="nofollow" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
- 谓词写成
[val](int x) { return x > val; }最清晰 - 性能是
O(n),大数据量时明显慢于upper_bound - 对原始数组要用指针范围,比如
arr和arr + size,别传std::begin(arr)(C 风格数组不支持)
int arr[] = {9, 3, 7, 1, 5};
int size = sizeof(arr) / sizeof(arr[0]);
auto it = std::find_if(arr, arr + size, [](int x) { return x > 4; });
if (it != arr + size) {
std::cout <h3>手写循环要注意边界和类型匹配</h3><p>有些场景(比如嵌入式、禁用 STL)必须手写。最常踩的坑是循环条件写成 <code>i 导致越界,或比较时隐式转换出问题(比如 <code>unsigned</code> 数组跟有符号阈值比较)。</code></p>
- 循环上限必须是
i ,不是 <code>i (后者易溢出) - 若数组是
unsigned int,而阈值是int,比较前显式转成同类型,避免负数被解释为极大正数 - 找不到时返回一个有效标记值(如
-1),别返回未初始化变量
int find_first_gt(const int* arr, int size, int threshold) {
for (int i = 0; i threshold) return i;
}
return -1; // 表示未找到
}
为什么不用 std::lower_bound?
std::lower_bound 找的是“第一个大于等于”,不是“第一个大于”。两者在阈值恰好等于某个元素时结果不同——这是最容易混淆的点。
比如数组 {2, 4, 4, 6} 查 4:lower_bound 返回第一个 4 的位置,upper_bound 返回 6 的位置。需求明确要“大于”,就不能用错。
- 查“大于等于”用
lower_bound - 查“大于”用
upper_bound - 查“小于”或“小于等于”没有对应函数,得自己翻转逻辑或用
std::prev配合
实际项目里,多数人卡在第一步:没确认数组是否已排序就硬套 upper_bound,然后调试半天发现结果不对。先看数据来源,再选函数。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










