// Boost.Range library // // Copyright Neil Groves 2007. 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_REPLACED_IMPL_HPP_INCLUDED #define BOOST_RANGE_ADAPTOR_REPLACED_IMPL_HPP_INCLUDED #include <boost/config.hpp> #include <boost/range/adaptor/argument_fwd.hpp> #include <boost/range/iterator_range.hpp> #include <boost/range/begin.hpp> #include <boost/range/end.hpp> #include <boost/range/value_type.hpp> #include <boost/iterator/iterator_adaptor.hpp> #include <boost/iterator/transform_iterator.hpp> namespace boost { namespace range_detail { template< class Value > class replace_value { public: typedef const Value& result_type; typedef const Value& first_argument_type; replace_value(const Value& from, const Value& to) : m_from(from), m_to(to) { } const Value& operator()(const Value& x) const { return (x == m_from) ? m_to : x; } private: Value m_from; Value m_to; }; template< class R > class replaced_range : public boost::iterator_range< boost::transform_iterator< replace_value< BOOST_DEDUCED_TYPENAME range_value<R>::type >, BOOST_DEDUCED_TYPENAME range_iterator<R>::type > > { private: typedef replace_value< BOOST_DEDUCED_TYPENAME range_value<R>::type > Fn; typedef boost::iterator_range< boost::transform_iterator< replace_value< BOOST_DEDUCED_TYPENAME range_value<R>::type >, BOOST_DEDUCED_TYPENAME range_iterator<R>::type > > base_t; public: typedef BOOST_DEDUCED_TYPENAME range_value<R>::type value_type; replaced_range( R& r, value_type from, value_type to ) : base_t( make_transform_iterator( boost::begin(r), Fn(from, to) ), make_transform_iterator( boost::end(r), Fn(from, to) ) ) { } }; template< class T > class replace_holder : public holder2<T> { public: replace_holder( const T& from, const T& to ) : holder2<T>(from, to) { } private: // not assignable void operator=(const replace_holder&); }; template< class InputRng > inline replaced_range<InputRng> operator|( InputRng& r, const replace_holder<BOOST_DEDUCED_TYPENAME range_value<InputRng>::type>& f ) { return replaced_range<InputRng>(r, f.val1, f.val2); } template< class InputRng > inline replaced_range<const InputRng> operator|( const InputRng& r, const replace_holder<BOOST_DEDUCED_TYPENAME range_value<InputRng>::type>& f ) { return replaced_range<const InputRng>(r, f.val1, f.val2); } } // 'range_detail' using range_detail::replaced_range; namespace adaptors { namespace { const range_detail::forwarder2<range_detail::replace_holder> replaced = range_detail::forwarder2<range_detail::replace_holder>(); } template<class InputRange> inline replaced_range<InputRange> replace(InputRange& rng, BOOST_DEDUCED_TYPENAME range_value<InputRange>::type from, BOOST_DEDUCED_TYPENAME range_value<InputRange>::type to) { return replaced_range<InputRange>(rng, from, to); } template<class InputRange> inline replaced_range<const InputRange> replace(const InputRange& rng, BOOST_DEDUCED_TYPENAME range_value<const InputRange>::type from, BOOST_DEDUCED_TYPENAME range_value<const InputRange>::type to) { return replaced_range<const InputRange>(rng, from ,to); } } // 'adaptors' } // 'boost' #endif // include guard