• C++11标准模板(STL)- 算法(std::lower_bound)


    定义于头文件 

    算法库提供大量用途的函数(例如查找、排序、计数、操作),它们在元素范围上操作。注意范围定义为 [first, last) ,其中 last 指代要查询或修改的最后元素的后一个元素。

    返回指向第一个不小于给定值的元素的迭代器

    std::lower_bound

    template< class ForwardIt, class T >
    ForwardIt lower_bound( ForwardIt first, ForwardIt last, const T& value );

    (1)(C++20 前)

    template< class ForwardIt, class T >
    constexpr ForwardIt lower_bound( ForwardIt first, ForwardIt last, const T& value );

    (C++20 起)

    template< class ForwardIt, class T, class Compare >
    ForwardIt lower_bound( ForwardIt first, ForwardIt last, const T& value, Compare comp );

    (2)(C++20 前)

    template< class ForwardIt, class T, class Compare >
    constexpr ForwardIt lower_bound( ForwardIt first, ForwardIt last, const T& value, Compare comp );

    (C++20 起)

    返回指向范围 [first, last) 中首个不小于(即大于或等于) value 的元素的迭代器,或若找不到这种元素则返回 last

    范围 [first, last) 必须已相对于表达式 element < value 或 comp(element, value) 划分,即所有令该表达式为 true 的元素必须前趋所有令该表达式为 false 的元素。完全排序的范围满足此判别标准。

    第一版本用 operator< 比较元素,第二版本用给定的比较函数 comp

    参数

    first, last-定义要检验的已部分排序范围的迭代器
    value-要与元素比较的值
    comp-若第一参数小于(即先序于)第二个则返回 ​true 的二元谓词。

    谓词函数的签名应等价于如下:

     bool pred(const Type1 &a, const Type2 &b);

    虽然签名不必有 const & ,函数也不能修改传递给它的对象,而且必须接受(可为 const 的)类型 Type1Type2 的值,无关乎值类别(从而不允许 Type1 & ,亦不允许 Type1 ,除非 Type1 的移动等价于复制 (C++11 起))。
    类型 Type1 必须使得 ForwardIt 类型的对象能在解引用后隐式转换到 Type1 。类型 Type2 必须使得 T 类型的对象能隐式转换到 Type2 。 ​

    类型要求
    - ForwardIt 必须满足遗留向前迭代器 (LegacyForwardIterator) 的要求。
    - Compare 必须满足二元谓词 (BinaryPredicate) 的要求。不要求满足 比较 (Compare) 。

    返回值

    指向首个不小于 value 的元素的迭代器,或若找不到这种元素则为 last

    复杂度

    进行的比较次数与 firstlast 间的距离成对数(至多 log
    2(last - first) + O(1) 次比较)。然而,对于非遗留随机访问迭代器 (LegacyRandomAccessIterator) ,迭代次自增次数为线性。

    可能的实现

    版本一

    1. template<class ForwardIt, class T>
    2. ForwardIt lower_bound(ForwardIt first, ForwardIt last, const T& value)
    3. {
    4. ForwardIt it;
    5. typename std::iterator_traits<ForwardIt>::difference_type count, step;
    6. count = std::distance(first, last);
    7. while (count > 0) {
    8. it = first;
    9. step = count / 2;
    10. std::advance(it, step);
    11. if (*it < value) {
    12. first = ++it;
    13. count -= step + 1;
    14. }
    15. else
    16. count = step;
    17. }
    18. return first;
    19. }

    版本二

    1. template<class ForwardIt, class T, class Compare>
    2. ForwardIt lower_bound(ForwardIt first, ForwardIt last, const T& value, Compare comp)
    3. {
    4. ForwardIt it;
    5. typename std::iterator_traits<ForwardIt>::difference_type count, step;
    6. count = std::distance(first, last);
    7. while (count > 0) {
    8. it = first;
    9. step = count / 2;
    10. std::advance(it, step);
    11. if (comp(*it, value)) {
    12. first = ++it;
    13. count -= step + 1;
    14. }
    15. else
    16. count = step;
    17. }
    18. return first;
    19. }

    调用示例

    1. #include <iostream>
    2. #include <algorithm>
    3. #include <functional>
    4. #include <vector>
    5. #include <iterator>
    6. #include <time.h>
    7. using namespace std;
    8. struct Cell
    9. {
    10. int x;
    11. int y;
    12. Cell &operator +=(const Cell &cell)
    13. {
    14. x += cell.x;
    15. y += cell.y;
    16. return *this;
    17. }
    18. bool operator <(const Cell &cell) const
    19. {
    20. if (x == cell.x)
    21. {
    22. return y < cell.y;
    23. }
    24. else
    25. {
    26. return x < cell.x;
    27. }
    28. }
    29. };
    30. std::ostream &operator<<(std::ostream &os, const Cell &cell)
    31. {
    32. os << "{" << cell.x << "," << cell.y << "}";
    33. return os;
    34. }
    35. template<class ForwardIt, class T, class Compare>
    36. ForwardIt binary_find(ForwardIt first, ForwardIt last, const T& value, Compare comp = {})
    37. {
    38. // 注意:类型 T 和 Forward 解引用后的类型都必须可隐式转换为
    39. // 用于 Compare 的 Type1Type2
    40. // 这严格于 lower_bound 要求(见上述)
    41. first = std::lower_bound(first, last, value, comp);
    42. return first != last && !comp(value, *first) ? first : last;
    43. }
    44. int main()
    45. {
    46. srand((unsigned)time(NULL));;
    47. std::cout.setf(std::ios_base::boolalpha);
    48. auto func1 = []()
    49. {
    50. int n = std::rand() % 10 + 100;
    51. Cell cell{n, n};
    52. return cell;
    53. };
    54. vector<Cell> cells(8);
    55. std::generate(cells.begin(), cells.end(), func1);
    56. std::sort(cells.begin(), cells.end());
    57. std::cout << "cells : ";
    58. std::copy(cells.begin(), cells.end(), std::ostream_iterator<Cell>(std::cout, " "));
    59. std::cout << std::endl << std::endl;
    60. auto lower = std::lower_bound(cells.begin(), cells.end(), *(cells.begin() + 3));
    61. auto upper = std::upper_bound(cells.begin(), cells.end(), *(cells.begin() + 3));
    62. std::cout << "cells lower upper: ";
    63. std::copy(lower, upper, std::ostream_iterator<Cell>(std::cout, " "));
    64. std::cout << std::endl << std::endl;
    65. auto is_sortfa = [](const Cell & a, const Cell & b)
    66. {
    67. if (a.x == b.x)
    68. {
    69. return a.y < b.y;
    70. }
    71. return a.x < b.x;
    72. };
    73. auto is_sortfb = [](const Cell & a, const Cell & b)
    74. {
    75. if (a.x == b.x)
    76. {
    77. return a.y > b.y;
    78. }
    79. return a.x > b.x;
    80. };
    81. lower = std::lower_bound(cells.begin(), cells.end(), *(cells.begin() + 3), is_sortfa);
    82. upper = std::upper_bound(cells.begin(), cells.end(), *(cells.begin() + 3), is_sortfb);
    83. std::cout << "cells lower upper: ";
    84. std::copy(lower, upper, std::ostream_iterator<Cell>(std::cout, " "));
    85. std::cout << std::endl << std::endl;
    86. auto it = binary_find(cells.cbegin(), cells.cend(), *(cells.begin() + 3), is_sortfa);
    87. if (it != cells.cend())
    88. {
    89. std::cout << *it << " found at index " << std::distance(cells.cbegin(), it);
    90. }
    91. std::cout << std::endl ;
    92. return 0;
    93. }

     输出

  • 相关阅读:
    聊城农村生活污水处理之十四五规划方案介绍
    多人的姿态检测|tensorflow multipose
    HTML前端面试基础(一)
    Python版股市情感分析源代码,提取投资者情绪,为决策提供参考
    记录----RabbitMQ踩坑(一)
    Matlab:文本和字符
    小程序webSocket
    使用HTML5画布(Canvas)模拟图层(Layers)效果
    记录一次线上kafka故障及处理方式
    探索MacOS:苹果电脑的操作系统的魅力
  • 原文地址:https://blog.csdn.net/qq_40788199/article/details/127990308