comparison DEPENDENCIES/generic/include/boost/range/adaptor/replaced.hpp @ 101:c530137014c0

Update Boost headers (1.58.0)

 #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/range/concepts.hpp>
 #include <boost/iterator/iterator_adaptor.hpp>
 #include <boost/iterator/transform_iterator.hpp>
+#include <boost/optional/optional.hpp>
 
 namespace boost
 {
     namespace range_detail
     {

         {
         public:
             typedef const Value& result_type;
             typedef const Value& first_argument_type;
 
+            // Rationale:
+            // The default constructor is required to allow the transform
+            // iterator to properly model the iterator concept.
+            replace_value()
+            {
+            }
+
             replace_value(const Value& from, const Value& to)
-                :   m_from(from), m_to(to)
+                :   m_impl(data(from, to))
             {
             }
 
             const Value& operator()(const Value& x) const
             {
-                return (x == m_from) ? m_to : x;
+                return (x == m_impl->m_from) ? m_impl->m_to : x;
             }
 
         private:
-            Value m_from;
-            Value m_to;
+            struct data
+            {
+                data(const Value& from, const Value& to)
+                    : m_from(from)
+                    , m_to(to)
+                {
+                }
+
+                Value m_from;
+                Value m_to;
+            };
+            boost::optional<data> m_impl;
         };
 
         template< class R >
         class replaced_range :
             public boost::iterator_range<

         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 )
+        template< class SinglePassRange >
+        inline replaced_range<SinglePassRange>
+        operator|(
+            SinglePassRange& r,
+            const replace_holder<
+                BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type>& f )
         {
-            return replaced_range<InputRng>(r, f.val1, f.val2);
+            BOOST_RANGE_CONCEPT_ASSERT((
+                SinglePassRangeConcept<SinglePassRange>));
+
+            return replaced_range<SinglePassRange>(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 )
+        template< class SinglePassRange >
+        inline replaced_range<const SinglePassRange>
+        operator|(
+            const SinglePassRange& r,
+            const replace_holder<
+                BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type>& f)
         {
-            return replaced_range<const InputRng>(r, f.val1, f.val2);
+            BOOST_RANGE_CONCEPT_ASSERT((
+                SinglePassRangeConcept<const SinglePassRange>));
+
+            return replaced_range<const SinglePassRange>(r, f.val1, f.val2);
         }
     } // 'range_detail'
 
     using range_detail::replaced_range;
 

             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)
+        template<class SinglePassRange>
+        inline replaced_range<SinglePassRange>
+        replace(SinglePassRange& rng,
+                BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type from,
+                BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type to)
         {
-            return replaced_range<InputRange>(rng, from, to);
+            BOOST_RANGE_CONCEPT_ASSERT((
+                SinglePassRangeConcept<SinglePassRange>));
+
+            return replaced_range<SinglePassRange>(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)
+        template<class SinglePassRange>
+        inline replaced_range<const SinglePassRange>
+        replace(const SinglePassRange& rng,
+                BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type from,
+                BOOST_DEDUCED_TYPENAME range_value<SinglePassRange>::type to)
         {
-            return replaced_range<const InputRange>(rng, from ,to);
+            BOOST_RANGE_CONCEPT_ASSERT((
+                SinglePassRangeConcept<const SinglePassRange>));
+
+            return replaced_range<const SinglePassRange>(rng, from ,to);
         }
 
     } // 'adaptors'
 } // 'boost'