二分查找找第一个小于 target 的位置等价于找最后一个 ≤ target−1 的位置,可用 std::upper_bound 返回位置前一个实现,不可误用 lower_bound 或写错边界条件。

二分查找找第一个小于 target 的位置,本质是 upper_bound 的反向变体
直接结论:C++ 标准库没有现成函数,但可以用 std::upper_bound 稍作调整,或手写二分逻辑。关键不是“找小于”,而是“找最后一个 ≤ target−1 的位置”——这等价于 std::upper_bound 返回位置的前一个(前提是存在)。
常见错误是误用 std::lower_bound 或把边界条件写成 left 却忘记处理空数组、全大于/全小于 target 的情况。
- 如果所有元素都 ≥ target,结果应为 -1(或按需返回
0表示无合法位置) - 如果所有元素都 nums.size() - 1
-
std::upper_bound(nums.begin(), nums.end(), target - 1)在target为整数时可行,但对浮点数或自定义类型不通用
手写二分:左闭右闭区间,返回最右满足 nums[i]
推荐用 left 模式,更直观控制“最后一个小于”的行为。核心思路是:当 <code>nums[mid] 时,<code>mid 是候选答案,往右缩区间找更大的合法下标;否则往左缩。
int lower_than_target(const vector<int>& nums, int target) {
int left = 0, right = nums.size() - 1;
int ans = -1; // 初始化为无效值
while (left <= right) {
int mid = left + (right - left) / 2;
if (nums[mid] < target) {
ans = mid; // 记录当前合法位置
left = mid + 1; // 尝试找更右的
} else {
right = mid - 1;
}
}
return ans;
}
注意:ans 必须初始化为 -1,不能依赖循环外默认值;mid 计算用 left + (right - left) / 2 防溢出;该实现天然兼容空数组(nums.size() == 0 → right == -1 → 循环不进)。
立即学习“C++免费学习笔记(深入)”;
用 std::upper_bound 替代手写:更安全但需理解偏移
std::upper_bound 找的是“第一个 > target 的位置”,所以 std::upper_bound(nums.begin(), nums.end(), target - 1) 等价于“第一个 ≥ target 的位置”,其前一个位置才是“最后一个
- 若
it == nums.begin(),说明没有元素 - 否则返回
std::distance(nums.begin(), it) - 1 - 对非整数类型(如
double),不能用target - 1,得改用std::prev(it)并验证有效性
更通用写法:
int lower_than_target_stl(const vector<int>& nums, int target) {
auto it = std::upper_bound(nums.begin(), nums.end(), target - 1);
if (it == nums.begin()) return -1;
return std::distance(nums.begin(), --it);
}
边界和类型陷阱:浮点数、自定义比较、重复元素
整数场景下 target - 1 看似简单,但遇到 double 就失效——3.14 - 1 不等于 2.14 的精度问题可能让 upper_bound 找错位置。此时必须手写二分,并传入自定义比较谓词。
- 重复元素不影响逻辑,本问题只关心“第一个小于”,不是“第一个等于”
- 若数组未排序,所有方案均无效——二分前提始终是有序
- 使用
std::lower_bound或std::upper_bound时,第三个参数必须与容器元素类型可比较,且比较逻辑一致
真正容易被忽略的,是调用方是否清楚返回 -1 意味着“不存在”,而不是“在开头前”。很多业务代码直接解引用 nums[result] 而不判 -1,一跑就崩。


















