1 | // Boost.Range library |
---|
2 | // |
---|
3 | // Copyright Neil Groves 2007. Use, modification and |
---|
4 | // distribution is subject to the Boost Software License, Version |
---|
5 | // 1.0. (See accompanying file LICENSE_1_0.txt or copy at |
---|
6 | // http://www.boost.org/LICENSE_1_0.txt) |
---|
7 | // |
---|
8 | // For more information, see http://www.boost.org/libs/range/ |
---|
9 | // |
---|
10 | |
---|
11 | #ifndef BOOST_RANGE_ADAPTOR_REPLACED_IMPL_HPP_INCLUDED |
---|
12 | #define BOOST_RANGE_ADAPTOR_REPLACED_IMPL_HPP_INCLUDED |
---|
13 | |
---|
14 | #include <boost/config.hpp> |
---|
15 | #include <boost/range/adaptor/argument_fwd.hpp> |
---|
16 | #include <boost/range/iterator_range.hpp> |
---|
17 | #include <boost/range/begin.hpp> |
---|
18 | #include <boost/range/end.hpp> |
---|
19 | #include <boost/range/value_type.hpp> |
---|
20 | #include <boost/iterator/iterator_adaptor.hpp> |
---|
21 | #include <boost/iterator/transform_iterator.hpp> |
---|
22 | |
---|
23 | namespace boost |
---|
24 | { |
---|
25 | namespace range_detail |
---|
26 | { |
---|
27 | template< class Value > |
---|
28 | class replace_value |
---|
29 | { |
---|
30 | public: |
---|
31 | typedef const Value& result_type; |
---|
32 | typedef const Value& first_argument_type; |
---|
33 | |
---|
34 | replace_value(const Value& from, const Value& to) |
---|
35 | : m_from(from), m_to(to) |
---|
36 | { |
---|
37 | } |
---|
38 | |
---|
39 | const Value& operator()(const Value& x) const |
---|
40 | { |
---|
41 | return (x == m_from) ? m_to : x; |
---|
42 | } |
---|
43 | |
---|
44 | private: |
---|
45 | Value m_from; |
---|
46 | Value m_to; |
---|
47 | }; |
---|
48 | |
---|
49 | template< class R > |
---|
50 | class replaced_range : |
---|
51 | public boost::iterator_range< |
---|
52 | boost::transform_iterator< |
---|
53 | replace_value< BOOST_DEDUCED_TYPENAME range_value<R>::type >, |
---|
54 | BOOST_DEDUCED_TYPENAME range_iterator<R>::type > > |
---|
55 | { |
---|
56 | private: |
---|
57 | typedef replace_value< BOOST_DEDUCED_TYPENAME range_value<R>::type > Fn; |
---|
58 | |
---|
59 | typedef boost::iterator_range< |
---|
60 | boost::transform_iterator< |
---|
61 | replace_value< BOOST_DEDUCED_TYPENAME range_value<R>::type >, |
---|
62 | BOOST_DEDUCED_TYPENAME range_iterator<R>::type > > base_t; |
---|
63 | |
---|
64 | public: |
---|
65 | typedef BOOST_DEDUCED_TYPENAME range_value<R>::type value_type; |
---|
66 | |
---|
67 | replaced_range( R& r, value_type from, value_type to ) |
---|
68 | : base_t( make_transform_iterator( boost::begin(r), Fn(from, to) ), |
---|
69 | make_transform_iterator( boost::end(r), Fn(from, to) ) ) |
---|
70 | { } |
---|
71 | }; |
---|
72 | |
---|
73 | template< class T > |
---|
74 | class replace_holder : public holder2<T> |
---|
75 | { |
---|
76 | public: |
---|
77 | replace_holder( const T& from, const T& to ) |
---|
78 | : holder2<T>(from, to) |
---|
79 | { } |
---|
80 | private: |
---|
81 | // not assignable |
---|
82 | void operator=(const replace_holder&); |
---|
83 | }; |
---|
84 | |
---|
85 | template< class InputRng > |
---|
86 | inline replaced_range<InputRng> |
---|
87 | operator|( InputRng& r, |
---|
88 | const replace_holder<BOOST_DEDUCED_TYPENAME range_value<InputRng>::type>& f ) |
---|
89 | { |
---|
90 | return replaced_range<InputRng>(r, f.val1, f.val2); |
---|
91 | } |
---|
92 | |
---|
93 | template< class InputRng > |
---|
94 | inline replaced_range<const InputRng> |
---|
95 | operator|( const InputRng& r, |
---|
96 | const replace_holder<BOOST_DEDUCED_TYPENAME range_value<InputRng>::type>& f ) |
---|
97 | { |
---|
98 | return replaced_range<const InputRng>(r, f.val1, f.val2); |
---|
99 | } |
---|
100 | } // 'range_detail' |
---|
101 | |
---|
102 | using range_detail::replaced_range; |
---|
103 | |
---|
104 | namespace adaptors |
---|
105 | { |
---|
106 | namespace |
---|
107 | { |
---|
108 | const range_detail::forwarder2<range_detail::replace_holder> |
---|
109 | replaced = |
---|
110 | range_detail::forwarder2<range_detail::replace_holder>(); |
---|
111 | } |
---|
112 | |
---|
113 | template<class InputRange> |
---|
114 | inline replaced_range<InputRange> |
---|
115 | replace(InputRange& rng, |
---|
116 | BOOST_DEDUCED_TYPENAME range_value<InputRange>::type from, |
---|
117 | BOOST_DEDUCED_TYPENAME range_value<InputRange>::type to) |
---|
118 | { |
---|
119 | return replaced_range<InputRange>(rng, from, to); |
---|
120 | } |
---|
121 | |
---|
122 | template<class InputRange> |
---|
123 | inline replaced_range<const InputRange> |
---|
124 | replace(const InputRange& rng, |
---|
125 | BOOST_DEDUCED_TYPENAME range_value<const InputRange>::type from, |
---|
126 | BOOST_DEDUCED_TYPENAME range_value<const InputRange>::type to) |
---|
127 | { |
---|
128 | return replaced_range<const InputRange>(rng, from ,to); |
---|
129 | } |
---|
130 | |
---|
131 | } // 'adaptors' |
---|
132 | } // 'boost' |
---|
133 | |
---|
134 | #endif // include guard |
---|