一. 概述
都是针对已序区间执行的算法。
binary_search() | 判断某区间内是否包含某个元素 |
includes() | 判断某区间内的每一个元素是否都涵盖于另一区间中 |
lower_bound() | 搜索第一个"大于等于给定值"的元素 |
upper _bound() | 搜索第一个"大于给定值"的元素 |
equal_range() | 返回"等于给定值"的所有元素构成的区间 |
merge() | 将两个区间合并 |
set_union() | 求两个区间的并集 |
set_intersection() | 求两个区间的交集 |
set_difference() | 求位于第一区间但不位于第二区间的所有元素,形成一个已序区间 |
set_symmetric_difference() | 找出只出现于两区间之一的所有元素,形成一个已序区间 |
inplace_merge() | 将两个连续的已序区间合并 |
1. 检查某个元素是否存在
//判断已序区间[beg, end)是否包含和value等值的元素
bool
binary_search (ForwardIterator beg, ForwardIterator end,
const T& value)
bool
binary_search (ForwardIterator beg, ForwardIterator end,
const T& value,
BinaryPredicate op)
2. 检查若干个值是否存在
//判断已序区间[beg, end)是否包含另一个已序区间[searchBeg, searchEnd)
bool
includes (InputIterator1 beg, InputIterator1 end,
InputIterator2 searchBeg, InputIterator2 searchEnd)
bool
includes (InputIterator1 beg, InputIterator1 end,
InputIterator2 searchBeg, InputIterator2 searchEnd,
BinaryPredicate op)
3. 搜索第一个或最后一个可能位置
//返回第一个"大于等于value"的元素位置,如果不存在返回end
ForwardIterator
lower_bound (ForwardIterator beg, ForwardIterator end,
const T& value)
ForwardIterator
lower_bound (ForwardIterator beg, ForwardIterator end,
const T& value,
BinaryPredicate op)
//返回第一个"大于value"的元素位置
ForwardIterator
upper_bound (ForwardIterator beg, ForwardIterator end,
const T& value)
ForwardIterator
upper_bound (ForwardIterator beg, ForwardIterator end,
const T& value,
BinaryPredicate op)
4. 搜索第一个和最后一个可能位置
//返回"与value相等"的元素所形成的区间
pair<ForwardIterator,ForwardIterator>
equal_range (ForwardIterator beg, ForwardIterator end,
const T& value)
pair<ForwardIterator,ForwardIterator>
equal_range (ForwardIterator beg, ForwardIterator end,
const T& value,
BinaryPredicate op)
三. 合并元素
1. 两个已序集合的总合(Sum)
//source1: 1 2 2 4 6 7 7 9
//source2: 2 2 2 3 6 6 8 9
//Sum: 1 2 2 2 2 2 3 4 6 6 6 7 7 8 9 9
//将源区间[source1Beg, source1End)和[source2Beg, source2End)内的元素合并
//以destBeg为起点输出
OutputIterator
merge (InputIterator source1Beg, InputIterator source1End,
InputIterator source2Beg, InputIterator source2End,
Output Iterator destBeg)
OutputIterator
merge (InputIterator source1Beg, InputIterator source1End,
InputIterator source2Beg, InputIterator source2End,
OutputIterator destBeg,
BinaryPredicate op)
2.. 两个已序集合的并集(Union)
//source1: 1 2 2 4 6 7 7 9
//source2: 2 2 2 3 6 6 8 9
//Union: 1 2 2 2 3 4 6 6 7 7 8 9
//这个区间内含的元素要不来自第一源区间,要不来自第二源区间
OutputIterator
set_union (InputIterator source1Beg, InputIterator source1End,
InputIterator source2Beg, InputIterator source2End,
OutputIterator destBeg)
OutputIterator
set_union (InputIterator source1Beg, InputIterator source1End,
InputIterator source2Beg, InputIterator source2End,
OutputIterator destBeg,
BinaryPredicate op)
3. 两个已序集合的交集(Intersection)
//source1: 1 2 2 4 6 7 7 9
//source2: 2 2 2 3 6 6 8 9
//Inter: 2 2 6 9
//元素必须同时在两个区间
OutputIterator
set_intersection (InputIterator source1Beg, InputIterator source1End,
InputIterator source2Beg, InputIterator source2End,
OutputIterator destBeg)
OutputIterator
set_intersection (InputIterator source1Beg, InputIterator source1End,
InputIterator source2Beg, InputIterator sotirce2End,
OutputIterator destBeg,
BinaryPredicate op)
4. 两个已序集合的差集(Difference)
//source1: 1 2 2 4 6 7 7 9
//source2: 2 2 2 3 6 6 8 9
//differ: 1 4 7 7
//只在第一个区间,不在第二个区间
OutputIterator
set_difference (InputIterator source1Beg, InputIterator source1End,
InputIterator source2Beg, InputIterator source2End,
OutputIterator destBeg)
OutputIterator
set_difference (InputIterator source1Beg, InputIterator source1End,
InputIterator source2Beg, InputIterator source2End,
OutputIterator destBeg,
BinaryPredicate op)
5. 将连贯的已序区间合并
//将已序[beg1, end1beg2)和[end1beg2, end2)的元素合并,
//使区间[beg1, end2)成为两者之和
void
inplace_merge (BidirectionalIterator beg1,
BidirectionalIterator end1beg2,
BidirectionalIterator end2)
void
inplace_merge (BidirectionalIterator beg1,
BidirectionalIterator end1beg2,
BidirectionalIterator end2,
BinaryPredicate op)