[5 算法] 34. 要求使用排序的区间作为参数的算法

有些算法要求使用排序的区间；有些算法使用排序的区间，效率会更高。

要求使用排序区间的STL算法如下：

1 binary_search,lower_bound,upper_bound,equal_range

2 set_union,set_intersection,set_difference,set_symmetric_difference

3 merge,inplace_merge

4 includes

另外，如下算法不要求排序的区间，但通常与排序的区间一起使用：

5 unique,unique_copy

1 binary_search,lower_bound,upper_bound,equal_range

用于查找的算法要求排序的区间，它们使用二分法查找。

对数时间的查找效率，前提是测试区间已经排序和拥有随机访问迭代器。

2 set_union,set_intersection,set_difference,set_symmetric_difference

只有提供了排序的区间，才能保证线性时间效率的集合操作

3 merge,inplace_merge

实现了合并和排序的联合操作：它们读入两个排序的区间，然后合并为一个新的排序区间。

只有源区间已经排过序，才能保证线性时间。

4 includes

用来判断一个区间中的所有对象是否在另一个区间中。

只有两个区间已经排过序，才能保证线性时间。

5 unique,unique_copy

删除每一组连续相等的元素，仅保留其中的第一个。

注意：unique并非真正意义上的删除。(见32条)

STL允许你为排序操作选择特定的比较函数，所以不同的区间可能有不同的排序方式。如果你为算法提供了一个排序的区间，而这个算法也带一个比较函数作为参数，那么，你一定要保证算法的比较函数与排序区间使用的比较函数有一致的行为。

下面这个例子说明了不一致的情形：

vector<int> v;
...
// 降序排列
sort(v.begin(), v.end(), greater<int>());
...
// 在数组中查找5，默认这个区间是升序排序的
bool r = binary_search(v.begin(), v.end(), 5);

binary_search默认情况下是升序排序，和排序sort行为不一致，则不会得到预期结果了。

修改如下：

// binary_search使用升序查找
bool r = binary_search(v.begin(), v.end(), 5, greater<int>());

总结：

1 提供排序的区间

2 保证算法使用的比较函数与排序使用的比较函数行为一致