[func.search.default] (original) (raw)

20 General utilities library [utilities]

20.14 Function objects [function.objects]

20.14.18 Searchers [func.search]

20.14.18.2 Class template default_­searcher [func.search.default]

template<class ForwardIterator1, class BinaryPredicate = equal_to<>> class default_searcher { public: constexpr default_searcher(ForwardIterator1 pat_first, ForwardIterator1 pat_last, BinaryPredicate pred = BinaryPredicate());template<class ForwardIterator2> constexpr pair<ForwardIterator2, ForwardIterator2> operator()(ForwardIterator2 first, ForwardIterator2 last) const;private: ForwardIterator1 pat_first_; ForwardIterator1 pat_last_; BinaryPredicate pred_; };

constexpr default_searcher(ForwardIterator pat_first, ForwardIterator pat_last, BinaryPredicate pred = BinaryPredicate());

Effects: Constructs a default_­searcher object, initializing pat_­first_­with pat_­first, pat_­last_­ with pat_­last, andpred_­ with pred.

Throws: Any exception thrown by the copy constructor of BinaryPredicate orForwardIterator1.

template<class ForwardIterator2> constexpr pair<ForwardIterator2, ForwardIterator2> operator()(ForwardIterator2 first, ForwardIterator2 last) const;

Effects: Returns a pair of iterators i and j such that

• i == search(first, last, pat_­first_­, pat_­last_­, pred_­), and
• if i == last, then j == last, otherwise j == next(i, distance(pat_­first_­, pat_­last_­)).