std::upper_bound用于在升序序列中查找首个严格大于目标值的元素,要求数据已排序,否则行为未定义;返回迭代器需判end()再解引用,降序时需传std::greater。

用 std::upper_bound 最直接,但得注意前提条件
std::upper_bound 就是干这事的:在已排序的范围内找第一个严格大于目标值的迭代器。它不关心你存的是 int 还是自定义类型,只依赖比较逻辑。但关键点在于——它要求数据必须升序排列,否则行为未定义,返回的迭代器可能指向任意位置,甚至越界。
常见错误现象:std::upper_bound 返回 end() 却没检查,接着就解引用,直接崩溃;或者数组乱序还硬用,结果看似“有值”,实则完全不可靠。
- 确保数组/容器已用
std::sort或其他方式升序排好(若降序,得传std::greater()作为第4个参数) - 返回值是迭代器,不是下标,需要减去
begin()才能得到索引 - 务必判断是否等于
end(),再决定是否取值
int arr[] = {1, 3, 5, 7, 9};
int n = sizeof(arr) / sizeof(arr[0]);
auto it = std::upper_bound(arr, arr + n, 6);
if (it != arr + n) {
std::cout <h3>手写二分时,<code>left</code> 和 <code>right</code> 边界怎么设才不出错</h3><p>自己写二分更灵活,比如要适配降序、或处理重复边界等场景,但边界细节极易翻车。核心原则是:始终维护「答案在 <code>[left, right]</code> 内」的不变量,且循环结束时 <code>left == right</code> 指向的就是所求位置(或越界)。</p><p>容易踩的坑:<code>right</code> 初始化成 <code>n</code> 还是 <code>n-1</code>?<code>mid</code> 更新时漏加/多加 <code>1</code>?导致死循环或漏掉末尾元素。</p>
- 推荐闭区间写法:
left = 0,right = n - 1,循环条件为left - 当
arr[mid] 时,答案一定在右半段 → <code>left = mid + 1 - 当
arr[mid] > target时,mid可能是答案,但左边还可能有更早的 →right = mid - 1 - 循环结束后,
left就是第一个大于target的下标(可能等于n)
int first_greater(int arr[], int n, int target) {
int left = 0, right = n - 1;
while (left <h3>数组未排序怎么办?别硬套二分</h3><p>如果数组就是乱的,又不想排序(比如会破坏原始顺序或代价太高),那 <code>std::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><p>性能影响很明显:O(n) 时间,而排序+二分是 O(n log n),单次查询是 O(log n)。所以得看使用模式:如果只查一次,线性更快;如果反复查不同目标值,先排序再二分更划算。</p>
- 用
std::find_if配合 lambda 最简洁:std::find_if(arr, arr + n, [target](int x) { return x > target; }) - 记得检查返回值是否等于
arr + n,避免解引用尾后指针 - 如果后续还要基于这个位置做批量操作,考虑提前建索引(比如 map 存值到下标),但仅当内存允许且查询极频繁时才值得
std::lower_bound 和 std::upper_bound 到底差在哪
很多人混淆这两个函数。简单说:lower_bound 找第一个「大于等于」,upper_bound 找第一个「严格大于」。对无重复元素的数组,它们返回相同位置;但只要目标值存在重复,差距就出来了。
比如 arr = {2,4,4,4,6},查 target = 4:lower_bound 指向第一个 4(索引1),upper_bound 指向 6(索引4)。所以如果你要找「第一个大于」,必须用 upper_bound,用错就拿到重复中的第一个,而不是真正更大的那个。
- 两者接口完全一致,仅语义不同
- 都要求有序,都返回迭代器,都支持自定义比较器
- 若不确定是否有重复,且明确要「严格大于」,
upper_bound是唯一正确选择
实际用的时候,最常被忽略的是:调用前不确认数据有序,以及拿到迭代器后不判 end() 就直接用。这两步一漏,程序跑得越久越容易在奇怪的地方崩。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










