20 General utilities library [utilities]

Subclause [func.search] provides function object types ([function.objects]) for operations that search for a sequence [pat_­first, pat_­last) in another sequence [first, last) that is provided to the object's function call operator.

The first sequence (the pattern to be searched for) is provided to the object's constructor, and the second (the sequence to be searched) is provided to the function call operator.

Each specialization of a class template specified in [func.search] shall meet the Cpp17CopyConstructible and Cpp17CopyAssignable requirements.

Template parameters named

• (2.1)
  ForwardIterator,
• (2.2)
  ForwardIterator1,
• (2.3)
  ForwardIterator2,
• (2.4)
  RandomAccessIterator,
• (2.5)
  RandomAccessIterator1,
• (2.6)
  RandomAccessIterator2, and
• (2.7)
  BinaryPredicate

of templates specified in [func.search] shall meet the same requirements and semantics as specified in [algorithms.general].

Template parameters named Hash shall meet the Cpp17Hash requirements (Table 34).

The Boyer-Moore searcher implements the Boyer-Moore search algorithm.

The Boyer-Moore-Horspool searcher implements the Boyer-Moore-Horspool search algorithm.

In general, the Boyer-Moore searcher will use more memory and give better runtime performance than Boyer-Moore-Horspool.