123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137 |
- // Boost.Range library
- //
- // Copyright Thorsten Ottosen, Neil Groves 2006 - 2008. Use, modification and
- // distribution is subject to 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)
- //
- // For more information, see http://www.boost.org/libs/range/
- //
- #ifndef BOOST_RANGE_ADAPTOR_TRANSFORMED_HPP
- #define BOOST_RANGE_ADAPTOR_TRANSFORMED_HPP
- #include <boost/range/adaptor/argument_fwd.hpp>
- #include <boost/range/detail/default_constructible_unary_fn.hpp>
- #include <boost/range/iterator_range.hpp>
- #include <boost/range/concepts.hpp>
- #include <boost/iterator/transform_iterator.hpp>
- #include <boost/utility/result_of.hpp>
- namespace boost
- {
- namespace range_detail
- {
- // A type generator to produce the transform_iterator type conditionally
- // including a wrapped predicate as appropriate.
- template<typename P, typename It>
- struct transform_iterator_gen
- {
- typedef transform_iterator<
- typename default_constructible_unary_fn_gen<
- P,
- typename transform_iterator<P, It>::reference
- >::type,
- It
- > type;
- };
- template< class F, class R >
- struct transformed_range :
- public boost::iterator_range<
- typename transform_iterator_gen<
- F, typename range_iterator<R>::type>::type>
- {
- private:
- typedef typename transform_iterator_gen<
- F, typename range_iterator<R>::type>::type transform_iter_t;
- typedef boost::iterator_range<transform_iter_t> base;
- public:
- typedef typename default_constructible_unary_fn_gen<
- F,
- typename transform_iterator<
- F,
- typename range_iterator<R>::type
- >::reference
- >::type transform_fn_type;
- typedef R source_range_type;
- transformed_range(transform_fn_type f, R& r)
- : base(transform_iter_t(boost::begin(r), f),
- transform_iter_t(boost::end(r), f))
- {
- }
- };
- template< class T >
- struct transform_holder : holder<T>
- {
- transform_holder( T r ) : holder<T>(r)
- {
- }
- };
- template< class SinglePassRange, class UnaryFunction >
- inline transformed_range<UnaryFunction,SinglePassRange>
- operator|( SinglePassRange& r,
- const transform_holder<UnaryFunction>& f )
- {
- BOOST_RANGE_CONCEPT_ASSERT((
- SinglePassRangeConcept<SinglePassRange>));
- return transformed_range<UnaryFunction,SinglePassRange>( f.val, r );
- }
- template< class SinglePassRange, class UnaryFunction >
- inline transformed_range<UnaryFunction, const SinglePassRange>
- operator|( const SinglePassRange& r,
- const transform_holder<UnaryFunction>& f )
- {
- BOOST_RANGE_CONCEPT_ASSERT((
- SinglePassRangeConcept<const SinglePassRange>));
- return transformed_range<UnaryFunction, const SinglePassRange>(
- f.val, r);
- }
- } // 'range_detail'
- using range_detail::transformed_range;
- namespace adaptors
- {
- namespace
- {
- const range_detail::forwarder<range_detail::transform_holder>
- transformed =
- range_detail::forwarder<range_detail::transform_holder>();
- }
- template<class UnaryFunction, class SinglePassRange>
- inline transformed_range<UnaryFunction, SinglePassRange>
- transform(SinglePassRange& rng, UnaryFunction fn)
- {
- BOOST_RANGE_CONCEPT_ASSERT((
- SinglePassRangeConcept<SinglePassRange>));
- return transformed_range<UnaryFunction, SinglePassRange>(fn, rng);
- }
- template<class UnaryFunction, class SinglePassRange>
- inline transformed_range<UnaryFunction, const SinglePassRange>
- transform(const SinglePassRange& rng, UnaryFunction fn)
- {
- BOOST_RANGE_CONCEPT_ASSERT((
- SinglePassRangeConcept<const SinglePassRange>));
- return transformed_range<UnaryFunction, const SinglePassRange>(
- fn, rng);
- }
- } // 'adaptors'
- }
- #endif
|