123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196 |
- // Boost.Range library
- //
- // Copyright Neil Groves 2010. 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_TYPE_ERASED_HPP_INCLUDED
- #define BOOST_RANGE_ADAPTOR_TYPE_ERASED_HPP_INCLUDED
- #include <boost/range/reference.hpp>
- #include <boost/range/value_type.hpp>
- #include <boost/range/iterator_range_core.hpp>
- #include <boost/range/any_range.hpp>
- #include <boost/range/concepts.hpp>
- namespace boost
- {
- namespace adaptors
- {
- template<
- class Value = use_default
- , class Traversal = use_default
- , class Reference = use_default
- , class Difference = use_default
- , class Buffer = use_default
- >
- struct type_erased
- {
- };
- template<
- class SinglePassRange
- , class Value
- , class Traversal
- , class Reference
- , class Difference
- , class Buffer
- >
- typename any_range_type_generator<
- SinglePassRange
- , Value
- , Traversal
- , Reference
- , Difference
- , Buffer
- >::type
- operator|(SinglePassRange& rng,
- type_erased<
- Value
- , Traversal
- , Reference
- , Difference
- , Buffer
- >)
- {
- BOOST_RANGE_CONCEPT_ASSERT((
- SinglePassRangeConcept<SinglePassRange>));
- typedef typename any_range_type_generator<
- SinglePassRange
- , Value
- , Traversal
- , Reference
- , Difference
- , Buffer
- >::type range_type;
- return range_type(boost::begin(rng), boost::end(rng));
- }
- template<
- class SinglePassRange
- , class Value
- , class Traversal
- , class Reference
- , class Difference
- , class Buffer
- >
- typename any_range_type_generator<
- const SinglePassRange
- , Value
- , Traversal
- , Reference
- , Difference
- , Buffer
- >::type
- operator|(const SinglePassRange& rng,
- type_erased<
- Value
- , Traversal
- , Reference
- , Difference
- , Buffer
- >)
- {
- BOOST_RANGE_CONCEPT_ASSERT((
- SinglePassRangeConcept<const SinglePassRange>));
- typedef typename any_range_type_generator<
- const SinglePassRange
- , Value
- , Traversal
- , Reference
- , Difference
- , Buffer
- >::type range_type;
- return range_type(boost::begin(rng), boost::end(rng));
- }
- template<
- class SinglePassRange
- , class Value
- , class Traversal
- , class Reference
- , class Difference
- , class Buffer
- >
- typename any_range_type_generator<
- SinglePassRange
- , Value
- , Traversal
- , Reference
- , Difference
- , Buffer
- >::type
- type_erase(SinglePassRange& rng
- , type_erased<
- Value
- , Traversal
- , Reference
- , Difference
- , Buffer
- > = type_erased<>()
- )
- {
- BOOST_RANGE_CONCEPT_ASSERT((
- SinglePassRangeConcept<SinglePassRange>));
- typedef typename any_range_type_generator<
- SinglePassRange
- , Value
- , Traversal
- , Reference
- , Difference
- , Buffer
- >::type range_type;
- return range_type(boost::begin(rng), boost::end(rng));
- }
- template<
- class SinglePassRange
- , class Value
- , class Traversal
- , class Reference
- , class Difference
- , class Buffer
- >
- typename any_range_type_generator<
- const SinglePassRange
- , Value
- , Traversal
- , Reference
- , Difference
- , Buffer
- >::type
- type_erase(const SinglePassRange& rng
- , type_erased<
- Value
- , Traversal
- , Reference
- , Difference
- , Buffer
- > = type_erased<>()
- )
- {
- BOOST_RANGE_CONCEPT_ASSERT((
- SinglePassRangeConcept<const SinglePassRange>));
- typedef typename any_range_type_generator<
- const SinglePassRange
- , Value
- , Traversal
- , Reference
- , Difference
- , Buffer
- >::type range_type;
- return range_type(boost::begin(rng), boost::end(rng));
- }
- }
- } // namespace boost
- #endif // include guard
|