lower_bound查找失败时返回end()迭代器;需用it!=container.end()检查,不可解引用或当下标用;要求容器已严格有序,且查找与排序的比较函数必须一致。

lower_bound 查找失败时返回什么
当目标值比所有元素都大,lower_bound 返回指向容器末尾的迭代器(即 end()),**不是 nullptr 或 -1**。直接解引用这个迭代器会崩溃,必须先检查是否等于 end()。
- 对
vector、array等连续容器,可写成:if (it != vec.end()) { /* 找到了 */ } - 对
set、map,同样用it != s.end()判断,不能用it == nullptr - 若误当成下标使用(比如
vec[distance(vec.begin(), it)]),而未检查it有效性,运行时触发std::out_of_range或段错误
lower_bound 要求容器必须“真正有序”
lower_bound 不做排序,只依赖已有的顺序。如果传入的 vector 未排序,结果完全不可预测——可能返回任意位置,甚至越界。
- 常见误操作:调用前忘记
sort(vec.begin(), vec.end()) - 自定义比较函数时,必须和排序时用的完全一致,否则行为未定义。例如排序用
greater,查找时却用默认() ,结果无效 -
set和map内部自动维护有序,可直接用lower_bound;但unordered_set不支持该函数
lower_bound 在 vector 和 set 中的性能与写法差异
两者都叫 lower_bound,但调用方式不同,且底层实现影响使用习惯。
-
vector:必须用全局函数std::lower_bound(vec.begin(), vec.end(), x),时间复杂度 O(log n),但需随机访问迭代器支持 -
set:用成员函数s.lower_bound(x),同样是 O(log n),但更安全(无需手动传迭代器范围,也不会传错区间) - 别混用:对
set调用全局std::lower_bound(s.begin(), s.end(), x)虽能编译,但效率低(std::lower_bound对双向迭代器退化为接近线性)
lower_bound 查找浮点数或自定义类型要小心比较精度和严格弱序
浮点数直接比较 == 或 易出错;自定义类型若比较逻辑不满足“严格弱序”,lower_bound 行为未定义。
立即学习“C++免费学习笔记(深入)”;
- 浮点查找建议封装 epsilon 比较:用
lower_bound配合自定义谓词,如[eps](double a, double b) { return a - 自定义结构体必须确保
operator 满足:非自反(a 为 false)、非对称、传递、可传递等价(即!(a 视为相等) - 若用
pair等标准类型,其已满足要求,可直接用
实际用的时候,最容易漏掉的是检查迭代器是否有效,以及混淆全局函数和成员函数的调用形式——尤其在从 vector 切换到 set 时。










