function template
<algorithm>

std::search

相等 (1)
template <class ForwardIterator1, class ForwardIterator2>   ForwardIterator1 search (ForwardIterator1 first1, ForwardIterator1 last1,                            ForwardIterator2 first2, ForwardIterator2 last2);
predicate (2)
template <class ForwardIterator1, class ForwardIterator2, class BinaryPredicate>   ForwardIterator1 search (ForwardIterator1 first1, ForwardIterator1 last1,                            ForwardIterator2 first2, ForwardIterator2 last2,                            BinaryPredicate pred);
在范围内搜索子序列
在范围 [first1,last1) 中搜索由 [first2,last2) 定义的序列的第一次出现,并返回指向其第一个元素的迭代器,如果没有找到则返回 last1

两个范围中的元素通过 operator==(或版本(2)中的 pred)进行顺序比较:当 [first2,last2) 的所有元素与 [first1,last1) 中的相应元素都匹配时,才算找到了一个子序列。

此函数返回第一次出现匹配的迭代器。要获取返回最后一次匹配的算法,请参阅 find_end

此函数模板的行为等同于
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
template<class ForwardIterator1, class ForwardIterator2>
  ForwardIterator1 search ( ForwardIterator1 first1, ForwardIterator1 last1,
                            ForwardIterator2 first2, ForwardIterator2 last2)
{
  if (first2==last2) return first1;  // specified in C++11
  
  while (first1!=last1)
  {
    ForwardIterator1 it1 = first1;
    ForwardIterator2 it2 = first2;
    while (*it1==*it2) {    // or: while (pred(*it1,*it2)) for version 2
        ++it1; ++it2;
        if (it2==last2) return first1;
        if (it1==last1) return last1;
    }
    ++first1;
  }
  return last1;
}

参数

first1, last1
Forward iterators 指向被搜索序列的初始和末尾位置。使用的范围是 [first1,last1),它包含 first1last1 之间的所有元素,包括 first1 指向的元素,但不包括 last1 指向的元素。
first2, last2
Forward iterators 指向要搜索的序列的初始和末尾位置。使用的范围是 [first2,last2)
对于(1),两个范围中的元素应该是可以通过 operator== 进行比较的类型(第一个范围的元素作为左侧操作数,第二个范围的元素作为右侧操作数)。
pred
二进制函数,接受两个元素作为参数(分别来自两个序列,顺序相同),并返回一个可转换为 bool 的值。返回的值表示在当前函数上下文中,这些元素是否被认为匹配。
该函数不得修改其任何参数。
这可以是指向函数的指针,也可以是函数对象。

返回值

指向 [first1,last1)[first2,last2) 第一次出现的第一个元素的迭代器。
如果未找到序列,则函数返回 last1
如果 [first2,last2) 是一个空范围,结果未定义。
如果 [first2,last2) 是一个空范围,则函数返回 first1

示例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
// search algorithm example
#include <iostream>     // std::cout
#include <algorithm>    // std::search
#include <vector>       // std::vector

bool mypredicate (int i, int j) {
  return (i==j);
}

int main () {
  std::vector<int> haystack;

  // set some values:        haystack: 10 20 30 40 50 60 70 80 90
  for (int i=1; i<10; i++) haystack.push_back(i*10);

  // using default comparison:
  int needle1[] = {40,50,60,70};
  std::vector<int>::iterator it;
  it = std::search (haystack.begin(), haystack.end(), needle1, needle1+4);

  if (it!=haystack.end())
    std::cout << "needle1 found at position " << (it-haystack.begin()) << '\n';
  else
    std::cout << "needle1 not found\n";

  // using predicate comparison:
  int needle2[] = {20,30,50};
  it = std::search (haystack.begin(), haystack.end(), needle2, needle2+3, mypredicate);

  if (it!=haystack.end())
    std::cout << "needle2 found at position " << (it-haystack.begin()) << '\n';
  else
    std::cout << "needle2 not found\n";

  return 0;
}

输出
needle1 found at position 3
needle2 not found


复杂度

最多线性于 count1*count2(其中 countXfirstXlastX 之间的 距离):比较元素直到找到匹配的子序列。

数据竞争

两个范围中的部分(或全部)对象都可能被访问(可能不止一次)。

异常

如果任何元素比较(或 pred)抛出异常,或者任何迭代器操作抛出异常,则抛出异常。
请注意,无效参数会导致未定义行为

另见