STL 源码剖析 算法 stl_algo.h -- includes

本文为senlie原创，转载请保留此地址：http://blog.csdn.net/zhengsenlie

includes(应用于有序区间)
-------------------------------------------------------------


描述：S1和S2都必须是有序集合，判断序列二 S2 是否"涵盖于"序列一 S1，即"S2的每一个元素是否都出现于 S1中"
思路：
1.遍历两个区间，直到其中一个走完
2.如果序列二的元素小于序列一的元素，则在序列一中不可能有元素等于序列二的当前元素了，直接返回 false
3.如果序列一的元素小于序列二的元素，则序列一前进 1
4.如果两序列元素相当，都前进 1
5.当有一个序列走完时，判断序列二是否走完了。

复杂度：最多 2 * ((last1- first1) + (last2 - first2)) - 1次比较
源码：

// S1 和 S2是递增序列。以 operator < 执行比较操作// 如果是 RandomAccessIterator 可以得到区间长度，如果区间1的长度小于区间2的可以返回 false 提前结束循环// 不过这里是 InputIterator ， 可能是因为这点对效率影响不大吧， stl里没有专门针对 RandomAccessIterator 的优化 template <class InputIterator1, class InputIterator2>bool includes(InputIterator1 first1, InputIterator1 last1,              InputIterator2 first2, InputIterator2 last2) {  while (first1 != last1 && first2 != last2) // 两个区间都尚未走完    if (*first2 < *first1) // 序列二的元素小于序列一的元素，返回 false      return false;    else if(*first1 < *first2) // 序列一的元素小于序列二的元素，序列一前进 1       ++first1;    else //两序列元素相等，各自前进 1      ++first1, ++first2;  return first2 == last2; //有一个序列走完了，判断是序列二是否走完了，如果是，涵盖情况成立，否则，不成立}

示例：

int A1[] = { 1, 2, 3, 4, 5, 6, 7 };int A2[] = { 1, 4, 7 };int A3[] = { 2, 7, 9 };int A4[] = { 1, 1, 2, 3, 5, 8, 13, 21 };int A5[] = { 1, 2, 13, 13 };int A6[] = { 1, 1, 3, 21 };const int N1 = sizeof(A1) / sizeof(int);const int N2 = sizeof(A2) / sizeof(int);const int N3 = sizeof(A3) / sizeof(int);const int N4 = sizeof(A4) / sizeof(int);const int N5 = sizeof(A5) / sizeof(int);const int N6 = sizeof(A6) / sizeof(int);cout << "A2 contained in A1: "      << (includes(A1, A1 + N1, A2, A2 + N2) ? "true" : "false") << endl;  // truecout << "A3 contained in A1: "      << (includes(A1, A1 + N2, A3, A3 + N3) ? "true" : "false") << endl;  // falsecout << "A5 contained in A4: "      << (includes(A4, A4 + N4, A5, A5 + N5) ? "true" : "false") << endl;  // falsecout << "A6 contained in A4: "      << (includes(A4, A4 + N4, A6, A6 + N6) ? "true" : "false") << endl;  // true