关于lower_bound函数的一些理解-CSDN博客

本文链接：https://blog.csdn.net/qq_32523711/article/details/108234040

函数功能：返回一个迭代器，该迭代器指向区间内第一个不小于val的元素，如果没有，就返回end。可以理解为返回的是下界。

两种形式：

第一个版本使用默认的 < 进行比较：

template <class ForwardIterator, class T>
	ForwardIterator lower_bound (ForwardIterator first, ForwardIterator last, const T& val);

第二个版本使用自定义的 comp进行比较：

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

函数内部实现就是简单的二分查找：

template <class ForwardIterator, class T>
ForwardIterator lower_bound (ForwardIterator first, ForwardIterator last, const T& val){
    ForwardIterator it;
    iterator_traits<ForwardIterator>::difference_type count, step;
    count = distance(first,last);
    while (count>0){
        it = first; step=count/2; advance (it,step);
        if (*it<val) {                 // or: if (comp(*it,val)), for version (2)
            first=++it;
            count-=step+1;
        }
        else count=step;
    }
    return first;
}

这儿的重点放在自定义的比较函数，因为很多时候我们自己会去写这个函数。

comp:

Binary function that accepts two arguments (the first of the type pointed by ForwardIterator, and the second, always val), and returns a value convertible to bool. The value returned indicates whether the first argument is considered to go before the second.
The function shall not modify any of its arguments.
This can either be a function pointer or a function object.

注意：