第一个小于 target 的位置等价于 std::lower_bound 查找 target 时返回的迭代器减 1，即 std::lower_bound(first, last, target) - 1，前提是该位置存在且不越界。
std::lower_bound 不能直接用，得改逻辑
标准库的 std::lower_bound 找的是第一个不小于目标值的位置（即 ≥ target），而你需要的是第一个小于 target 的位置（即 std::lower_bound(...)-1 在 target 小于所有元素时会越界，返回非法迭代器。
正确做法是复用二分结构，但调整比较条件和边界更新逻辑：
- 当
*mid ：说明 mid 位置合法，且可能不是最右的一个，所以保留 mid，并往右找 → <code>left = mid（注意不是mid + 1） - 当
*mid >= target：mid 不合法，必须排除 →right = mid - 1 - 循环条件用
left ，且采用向上取整的中点： <code>mid = left + (right - left + 1) / 2，避免死循环
手写模板函数要小心整数溢出和迭代器失效
如果封装成泛型函数，别直接用 (left + right) / 2 算中点——对指针或随机访问迭代器，left + right 可能溢出（尤其 ptrdiff_t 较小时）。应统一用 left + (right - left) / 2 或带 +1 的变体。
另外，返回位置需明确语义：若所有元素都 ≥ target，应返回 first（即范围起始，表示“没有小于 target 的元素”）；若所有元素都 last - 1。常见错误是返回 last 或未处理空范围。
简短示例（数组场景）：
int lower_than(int arr[], int n, int target) {
int l = 0, r = n - 1;
int res = -1; // 表示未找到
while (l <h3>用 std::upper_bound 间接实现更安全</h3><p>其实有个绕法：第一个小于 target 的位置，等价于 <code>std::upper_bound(first, last, target - 1)</code> 的结果 —— 因为 <code>std::upper_bound(..., x)</code> 返回第一个 > x 的位置，而 > (target - 1) 就等价于 ≥ target，不对。</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>等等，这思路错了。再想：第一个 </p><p>真正可用的间接方式是：<strong>先用 <code>std::lower_bound</code> 找到第一个 ≥ target 的位置，然后往前跳一步</strong>。但必须加保护：</p>
- 若
it == first，说明没有元素 first - 否则返回
--it，即前一个位置
这个方法简洁、复用标准行为，且避免手写二分的边界 bug，推荐在容器支持随机访问迭代器时优先采用。
vector 和 array 场景下性能差异几乎为零
无论是手写循环还是调 std::lower_bound 后退一步，编译器对 std::vector::iterator 或原生数组指针的优化都很到位，O(log n) 时间、无额外分配。但要注意：如果传入的是 std::list 迭代器，std::lower_bound 退化为 O(n)，此时不如直接线性扫描——二分只在随机访问成立时有意义。
另一个容易被忽略的点：浮点数比较时， 和 <code>== 的精度问题会影响“第一个小于”的判定边界。如果 target 是 float/double，建议用 std::abs(a - b) 替代直接比较，但这时已不属于严格二分范畴，需重审需求。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
