123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114 |
- /*=============================================================================
- Copyright (c) 2013 Mateusz Loskot
- Copyright (c) 2001-2011 Joel de Guzman
- Copyright (c) 2005-2006 Dan Marsden
- Distributed under 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)
- ==============================================================================*/
- #if !defined(BOOST_FUSION_STD_ARRAY_ARRAY_ITERATOR_01062013_1700)
- #define BOOST_FUSION_STD_ARRAY_ARRAY_ITERATOR_01062013_1700
- #include <cstddef>
- #include <boost/config.hpp>
- #include <boost/mpl/int.hpp>
- #include <boost/mpl/assert.hpp>
- #include <boost/mpl/if.hpp>
- #include <boost/mpl/minus.hpp>
- #include <boost/type_traits/is_const.hpp>
- #include <boost/fusion/iterator/iterator_facade.hpp>
- #include <boost/fusion/adapted/std_array/detail/array_size.hpp>
- #ifdef _MSC_VER
- # pragma warning(push)
- # pragma warning(disable: 4512) // assignment operator could not be generated.
- #endif
- namespace boost { namespace fusion
- {
- struct random_access_traversal_tag;
- template <typename Array, int Pos>
- struct std_array_iterator
- : iterator_facade<std_array_iterator<Array, Pos>, random_access_traversal_tag>
- {
- BOOST_MPL_ASSERT_RELATION(Pos, >=, 0);
- BOOST_MPL_ASSERT_RELATION(Pos, <=, std::tuple_size<Array>::value);
- typedef mpl::int_<Pos> index;
- typedef Array array_type;
- std_array_iterator(Array& a)
- : array(a) {}
- Array& array;
- template <typename Iterator>
- struct value_of
- {
- typedef typename Iterator::array_type array_type;
- typedef typename array_type::value_type type;
- };
- template <typename Iterator>
- struct deref
- {
- typedef typename Iterator::array_type array_type;
- typedef typename
- mpl::if_<
- is_const<array_type>
- , typename array_type::const_reference
- , typename array_type::reference
- >::type
- type;
- static type
- call(Iterator const & it)
- {
- return it.array[Iterator::index::value];
- }
- };
- template <typename Iterator, typename N>
- struct advance
- {
- typedef typename Iterator::index index;
- typedef typename Iterator::array_type array_type;
- typedef std_array_iterator<array_type, index::value + N::value> type;
- static type
- call(Iterator const& i)
- {
- return type(i.array);
- }
- };
- template <typename Iterator>
- struct next : advance<Iterator, mpl::int_<1> > {};
- template <typename Iterator>
- struct prior : advance<Iterator, mpl::int_<-1> > {};
- template <typename I1, typename I2>
- struct distance : mpl::minus<typename I2::index, typename I1::index>
- {
- typedef typename
- mpl::minus<
- typename I2::index, typename I1::index
- >::type
- type;
- static type
- call(I1 const&, I2 const&)
- {
- return type();
- }
- };
- };
- }}
- #ifdef _MSC_VER
- # pragma warning(pop)
- #endif
- #endif
|