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_IF_IMPL_HPP_INCLUDED |
12 | #define BOOST_RANGE_ADAPTOR_REPLACED_IF_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/range/concepts.hpp> |
21 | #include <boost/iterator/iterator_adaptor.hpp> |
22 | #include <boost/iterator/transform_iterator.hpp> |
23 | #include <boost/optional/optional.hpp> |
24 | |
25 | namespace boost |
26 | { |
27 | namespace range_detail |
28 | { |
29 | template< class Pred, class Value > |
30 | class replace_value_if |
31 | { |
32 | public: |
33 | typedef const Value& result_type; |
34 | typedef const Value& first_argument_type; |
35 | |
36 | // Rationale: |
37 | // required to allow the iterator to be default constructible. |
38 | replace_value_if() |
39 | { |
40 | } |
41 | |
42 | replace_value_if(const Pred& pred, const Value& to) |
43 | : m_impl(data(pred, to)) |
44 | { |
45 | } |
46 | |
47 | const Value& operator()(const Value& x) const |
48 | { |
49 | return m_impl->m_pred(x) ? m_impl->m_to : x; |
50 | } |
51 | |
52 | private: |
53 | struct data |
54 | { |
55 | data(const Pred& p, const Value& t) |
56 | : m_pred(p), m_to(t) |
57 | { |
58 | } |
59 | |
60 | Pred m_pred; |
61 | Value m_to; |
62 | }; |
63 | boost::optional<data> m_impl; |
64 | }; |
65 | |
66 | template< class Pred, class R > |
67 | class replaced_if_range : |
68 | public boost::iterator_range< |
69 | boost::transform_iterator< |
70 | replace_value_if< Pred, BOOST_DEDUCED_TYPENAME range_value<R>::type >, |
71 | BOOST_DEDUCED_TYPENAME range_iterator<R>::type > > |
72 | { |
73 | private: |
74 | typedef replace_value_if< Pred, BOOST_DEDUCED_TYPENAME range_value<R>::type > Fn; |
75 | |
76 | typedef boost::iterator_range< |
77 | boost::transform_iterator< |
78 | replace_value_if< Pred, BOOST_DEDUCED_TYPENAME range_value<R>::type >, |
79 | BOOST_DEDUCED_TYPENAME range_iterator<R>::type > > base_t; |
80 | |
81 | public: |
82 | typedef BOOST_DEDUCED_TYPENAME range_value<R>::type value_type; |
83 | |
84 | replaced_if_range( R& r, const Pred& pred, value_type to ) |
85 | : base_t( make_transform_iterator( boost::begin(r), Fn(pred, to) ), |
86 | make_transform_iterator( boost::end(r), Fn(pred, to) ) ) |
87 | { } |
88 | }; |
89 | |
90 | template< class Pred, class T > |
91 | class replace_if_holder |
92 | { |
93 | public: |
94 | replace_if_holder( const Pred& pred, const T& to ) |
95 | : m_pred(pred), m_to(to) |
96 | { } |
97 | |
98 | const Pred& pred() const { return m_pred; } |
99 | const T& to() const { return m_to; } |
100 | |
101 | private: |
102 | Pred m_pred; |
103 | T m_to; |
104 | }; |
105 | |
106 | template< class Pred, class SinglePassRange, class Value > |
107 | inline replaced_if_range<Pred, SinglePassRange> |
108 | operator|(SinglePassRange& r, const replace_if_holder<Pred, Value>& f) |
109 | { |
110 | BOOST_RANGE_CONCEPT_ASSERT(( |
111 | SinglePassRangeConcept<SinglePassRange>)); |
112 | |
113 | return replaced_if_range<Pred, SinglePassRange>( |
114 | r, f.pred(), f.to()); |
115 | } |
116 | |
117 | template< class Pred, class SinglePassRange, class Value > |
118 | inline replaced_if_range<Pred, const SinglePassRange> |
119 | operator|(const SinglePassRange& r, const replace_if_holder<Pred, Value>& f) |
120 | { |
121 | BOOST_RANGE_CONCEPT_ASSERT(( |
122 | SinglePassRangeConcept<const SinglePassRange>)); |
123 | |
124 | return replaced_if_range<Pred, const SinglePassRange>( |
125 | r, f.pred(), f.to()); |
126 | } |
127 | } // 'range_detail' |
128 | |
129 | using range_detail::replaced_if_range; |
130 | |
131 | namespace adaptors |
132 | { |
133 | namespace |
134 | { |
135 | const range_detail::forwarder2TU<range_detail::replace_if_holder> |
136 | replaced_if = |
137 | range_detail::forwarder2TU<range_detail::replace_if_holder>(); |
138 | } |
139 | |
140 | template< class Pred, class SinglePassRange, class Value > |
141 | inline replaced_if_range<Pred, SinglePassRange> |
142 | replace_if(SinglePassRange& rng, Pred pred, Value to) |
143 | { |
144 | BOOST_RANGE_CONCEPT_ASSERT(( |
145 | SinglePassRangeConcept<SinglePassRange>)); |
146 | |
147 | return range_detail::replaced_if_range<Pred, SinglePassRange>( |
148 | rng, pred, to); |
149 | } |
150 | |
151 | template< class Pred, class SinglePassRange, class Value > |
152 | inline replaced_if_range<Pred, const SinglePassRange> |
153 | replace_if(const SinglePassRange& rng, Pred pred, Value to) |
154 | { |
155 | BOOST_RANGE_CONCEPT_ASSERT(( |
156 | SinglePassRangeConcept<const SinglePassRange>)); |
157 | |
158 | return range_detail::replaced_if_range<Pred, const SinglePassRange>( |
159 | rng, pred, to); |
160 | } |
161 | } // 'adaptors' |
162 | |
163 | } // 'boost' |
164 | |
165 | #endif // include guard |
166 | |