C++中lower_bound怎么用_C++有序序列查找第一个大于等于元素【检索】

5次阅读

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

C++中lower_bound怎么用_C++有序序列查找第一个大于等于元素【检索】

lower_bound 查找失败时返回什么

当目标值比所有元素都大,lower_bound 返回指向容器末尾的迭代器(即 end()),**不是 nullptr-1**。直接解引用这个迭代器会崩溃,必须先检查是否等于 end()

  • vectorArray 等连续容器,可写成:if (it != vec.end()) { /* 找到了 */ }
  • setmap,同样用 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(),查找时却用默认 ,结果无效
  • setmap 内部自动维护有序,可直接用 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 时。

text=ZqhQzanResources