STL 源码分析《5》---- lower_bound and upper_bound 详解

在 STL 库中，关于二分搜索实现了4个函数。

bool binary_search (ForwardIterator beg, ForwardIterator end, const T& value)

判断 [beg, end) 中是否存在 value 的值。

ForwardIterator

lower_bound (ForwardIterator beg, ForwardIterator end, const T& value)

ForwardIterator

upper_bound (ForwardIterator beg, ForwardIterator end, const T& value)

搜寻第一个或者最后一个可能位置。

具体是什么意思呢？

1. lower_bound 指的是 返回第一个 ”大于等于 value“ 的元素位置。

    另一种解释是 可插入”元素值为 value“且 ”不破坏有序性“的第一个位置

2. upper_bound 指的是 返回第一个 “大于 value ” 的元素位置；

    另一种解释是 可插入”元素值为 value“且 ”不破坏有序性“的最后一个位置

举个例子： 1 2 2 3 4 5

value = 2: 则 lower_bound 返回的位置是 第 1 个位置；

                        upper_bound 返回的位置是 第 3 个位置。

大家可以看到一个很有意思的性质：

upper_bound - lower_bound = 数