Chris@16: //  Copyright Neil Groves 2009. Use, modification and
Chris@16: //  distribution is subject to the Boost Software License, Version
Chris@16: //  1.0. (See accompanying file LICENSE_1_0.txt or copy at
Chris@16: //  http://www.boost.org/LICENSE_1_0.txt)
Chris@16: //
Chris@16: //
Chris@16: // For more information, see http://www.boost.org/libs/range/
Chris@16: //
Chris@16: #ifndef BOOST_RANGE_ALGORITHM_FIND_FIRST_OF_HPP_INCLUDED
Chris@16: #define BOOST_RANGE_ALGORITHM_FIND_FIRST_OF_HPP_INCLUDED
Chris@16: 
Chris@16: #include <boost/concept_check.hpp>
Chris@16: #include <boost/range/begin.hpp>
Chris@16: #include <boost/range/end.hpp>
Chris@16: #include <boost/range/concepts.hpp>
Chris@16: #include <boost/range/detail/range_return.hpp>
Chris@16: #include <algorithm>
Chris@16: 
Chris@16: namespace boost
Chris@16: {
Chris@16:     namespace range
Chris@16:     {
Chris@16: 
Chris@16: /// \brief template function find_first_of
Chris@16: ///
Chris@16: /// range-based version of the find_first_of std algorithm
Chris@16: ///
Chris@16: /// \pre SinglePassRange1 is a model of the SinglePassRangeConcept
Chris@16: /// \pre ForwardRange2 is a model of the ForwardRangeConcept
Chris@16: /// \pre BinaryPredicate is a model of the BinaryPredicateConcept
Chris@16: template< class SinglePassRange1, class ForwardRange2 >
Chris@16: inline BOOST_DEDUCED_TYPENAME disable_if<
Chris@16:     is_const<SinglePassRange1>,
Chris@16:     BOOST_DEDUCED_TYPENAME range_iterator<SinglePassRange1>::type
Chris@16: >::type
Chris@16: find_first_of(SinglePassRange1 & rng1, ForwardRange2 const & rng2)
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( SinglePassRangeConcept<SinglePassRange1> ));
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange2> ));
Chris@16: 
Chris@16:     return std::find_first_of(boost::begin(rng1),boost::end(rng1),
Chris@16:                               boost::begin(rng2),boost::end(rng2));
Chris@16: }
Chris@16: 
Chris@16: /// \overload
Chris@16: template< class SinglePassRange1, class ForwardRange2 >
Chris@16: inline BOOST_DEDUCED_TYPENAME range_iterator<const SinglePassRange1>::type
Chris@16: find_first_of(const SinglePassRange1& rng1, const ForwardRange2& rng2)
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( SinglePassRangeConcept<const SinglePassRange1> ));
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange2> ));
Chris@16: 
Chris@16:     return std::find_first_of(boost::begin(rng1),boost::end(rng1),
Chris@16:                               boost::begin(rng2),boost::end(rng2));
Chris@16: }
Chris@16: 
Chris@16: /// \overload
Chris@16: template< class SinglePassRange1, class ForwardRange2, class BinaryPredicate >
Chris@16: inline BOOST_DEDUCED_TYPENAME disable_if<
Chris@16:     is_const<SinglePassRange1>,
Chris@16:     BOOST_DEDUCED_TYPENAME range_iterator<SinglePassRange1>::type
Chris@16: >::type
Chris@16: find_first_of(SinglePassRange1 & rng1, ForwardRange2 const & rng2, BinaryPredicate pred)
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( SinglePassRangeConcept<SinglePassRange1> ));
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange2> ));
Chris@16: 
Chris@16:     return std::find_first_of(boost::begin(rng1),boost::end(rng1),
Chris@16:                               boost::begin(rng2),boost::end(rng2),pred);
Chris@16: }
Chris@16: 
Chris@16: /// \overload
Chris@16: template< class SinglePassRange1, class ForwardRange2, class BinaryPredicate >
Chris@16: inline BOOST_DEDUCED_TYPENAME range_iterator<const SinglePassRange1>::type
Chris@16: find_first_of(const SinglePassRange1& rng1, const ForwardRange2& rng2, BinaryPredicate pred)
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( SinglePassRangeConcept<const SinglePassRange1> ));
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange2> ));
Chris@16: 
Chris@16:     return std::find_first_of(boost::begin(rng1),boost::end(rng1),
Chris@16:                               boost::begin(rng2),boost::end(rng2),pred);
Chris@16: }
Chris@16: 
Chris@16: // range return overloads
Chris@16: /// \overload
Chris@16: template< range_return_value re, class SinglePassRange1, class ForwardRange2 >
Chris@16: inline BOOST_DEDUCED_TYPENAME disable_if<
Chris@16:     is_const<SinglePassRange1>,
Chris@16:     BOOST_DEDUCED_TYPENAME range_return<SinglePassRange1,re>::type
Chris@16: >::type
Chris@16: find_first_of(SinglePassRange1& rng1, const ForwardRange2& rng2)
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( SinglePassRangeConcept<SinglePassRange1> ));
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange2> ));
Chris@16: 
Chris@16:     return range_return<SinglePassRange1,re>::
Chris@16:         pack(std::find_first_of(boost::begin(rng1), boost::end(rng1),
Chris@16:                                 boost::begin(rng2), boost::end(rng2)),
Chris@16:              rng1);
Chris@16: }
Chris@16: 
Chris@16: /// \overload
Chris@16: template< range_return_value re, class SinglePassRange1, class ForwardRange2 >
Chris@16: inline BOOST_DEDUCED_TYPENAME range_return<const SinglePassRange1,re>::type
Chris@16: find_first_of(const SinglePassRange1& rng1, const ForwardRange2& rng2)
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( SinglePassRangeConcept<const SinglePassRange1> ));
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange2> ));
Chris@16: 
Chris@16:     return range_return<const SinglePassRange1,re>::
Chris@16:         pack(std::find_first_of(boost::begin(rng1), boost::end(rng1),
Chris@16:                                 boost::begin(rng2), boost::end(rng2)),
Chris@16:              rng1);
Chris@16: }
Chris@16: 
Chris@16: /// \overload
Chris@16: template< range_return_value re, class SinglePassRange1, class ForwardRange2,
Chris@16:           class BinaryPredicate >
Chris@16: inline BOOST_DEDUCED_TYPENAME disable_if<
Chris@16:     is_const<SinglePassRange1>,
Chris@16:     BOOST_DEDUCED_TYPENAME range_return<SinglePassRange1,re>::type
Chris@16: >::type
Chris@16: find_first_of(SinglePassRange1 & rng1, const ForwardRange2& rng2,
Chris@16:               BinaryPredicate pred)
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( SinglePassRangeConcept<SinglePassRange1> ));
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange2> ));
Chris@16: 
Chris@16:     return range_return<SinglePassRange1,re>::
Chris@16:         pack(std::find_first_of(boost::begin(rng1), boost::end(rng1),
Chris@16:                                 boost::begin(rng2), boost::end(rng2), pred),
Chris@16:              rng1);
Chris@16: }
Chris@16: 
Chris@16: /// \overload
Chris@16: template< range_return_value re, class SinglePassRange1, class ForwardRange2,
Chris@16:           class BinaryPredicate >
Chris@16: inline BOOST_DEDUCED_TYPENAME range_return<const SinglePassRange1,re>::type
Chris@16: find_first_of(const SinglePassRange1 & rng1, const ForwardRange2& rng2,
Chris@16:               BinaryPredicate pred)
Chris@16: {
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( SinglePassRangeConcept<const SinglePassRange1> ));
Chris@16:     BOOST_RANGE_CONCEPT_ASSERT(( ForwardRangeConcept<const ForwardRange2> ));
Chris@16: 
Chris@16:     return range_return<const SinglePassRange1,re>::
Chris@16:         pack(std::find_first_of(boost::begin(rng1), boost::end(rng1),
Chris@16:                                 boost::begin(rng2), boost::end(rng2), pred),
Chris@16:              rng1);
Chris@16: }
Chris@16: 
Chris@16:     } // namespace range
Chris@16:     using range::find_first_of;
Chris@16: } // namespace boost
Chris@16: 
Chris@16: #endif // include guard