123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106 |
- [/
- Copyright 2010 Neil Groves
- Distributed under the Boost Software License, Version 1.0.
- (See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- /]
- [section:search search]
- [heading Prototype]
- ``
- template<class ForwardRange1, class ForwardRange2>
- typename range_iterator<ForwardRange1>::type
- search(ForwardRange1& rng1, const ForwardRange2& rng2);
- template<class ForwardRange1, class ForwardRange2>
- typename range_iterator<const ForwardRange1>::type
- search(const ForwardRange1& rng1, const ForwardRange2& rng2);
- template<
- class ForwardRange1,
- class ForwardRange2,
- class BinaryPredicate
- >
- typename range_iterator<ForwardRange1>::type,
- search(ForwardRange1& rng1, const ForwardRange2& rng2, BinaryPredicate pred);
- template<
- class ForwardRange1,
- class ForwardRange2,
- class BinaryPredicate
- >
- typename range_iterator<const ForwardRange1>::type
- search(const ForwardRange1& rng1, ForwardRange2& rng2, BinaryPredicate pred);
- template<
- range_return_value re,
- class ForwardRange1,
- class ForwardRange2
- >
- typename range_return<ForwardRange1, re>::type
- search(ForwardRange1& rng1, const ForwardRange2& rng2);
- template<
- range_return_value re,
- class ForwardRange1,
- class ForwardRange2
- >
- typename range_return<const ForwardRange1, re>::type
- search(const ForwardRange1& rng1, const ForwardRange2& rng2);
- template<
- range_return_value re,
- class ForwardRange1,
- class ForwardRange2,
- class BinaryPredicate
- >
- typename range_return<ForwardRange1, re>::type,
- search(ForwardRange1& rng1, const ForwardRange2& rng2, BinaryPredicate pred);
- template<
- range_return_value re,
- class ForwardRange1,
- class ForwardRange2,
- class BinaryPredicate
- >
- typename range_return<const ForwardRange1, re>::type
- search(const ForwardRange1& rng1, const ForwardRange2& rng2, BinaryPredicate pred);
- ``
- [heading Description]
- The versions of `search` that return an iterator, return an iterator to the start of the first subsequence in `rng1` that is equal to the subsequence `rng2`. The `end(rng1)` is returned if no such subsequence exists in `rng1`.
- Equality is determined by `operator==` for non-predicate versions of `search`, and by satisfying `pred` in the predicate versions.
- The versions of `search` that return a `range_return`, defines `found` in the same manner as the returned iterator described above.
-
- [heading Definition]
- Defined in the header file `boost/range/algorithm/search.hpp`
- [heading Requirements]
- [*For the non-predicate versions:]
- * `ForwardRange1` is a model of the __forward_range__ Concept.
- * `ForwardRange2` is a model of the __forward_range__ Concept.
- * `ForwardRange1`'s value type is a model of the `EqualityComparableConcept`.
- * `ForwardRange2`'s value type is a model of the `EqualityComparableConcept`.
- * `ForwardRange1`s value type can be compared for equality with `ForwardRange2`'s value type.
- [*For the predicate versions:]
- * `ForwardRange1` is a model of the __forward_range__ Concept.
- * `ForwardRange2` is a model of the __forward_range__ Concept.
- * `BinaryPredicate` is a model of the `BinaryPredicateConcept`.
- * `ForwardRange1`'s value type is convertible to `BinaryPredicate`'s first argument type.
- * `ForwardRange2`'s value type is convertible to `BinaryPredicate`'s second argument type.
- [heading Complexity]
- Average complexity is Linear. Worst-case complexity is quadratic.
- [endsect]
|