boost/fusion/view/transform_view/transform_view.hpp

   1 /*=============================================================================
   2     Copyright (c) 2001-2011 Joel de Guzman
   3
   4     Distributed under the Boost Software License, Version 1.0. (See accompanying
   5     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
   6 ==============================================================================*/
   7 #if !defined(FUSION_TRANSFORM_VIEW_07162005_1037)
   8 #define FUSION_TRANSFORM_VIEW_07162005_1037
   9
  10 #include <boost/static_assert.hpp>
  11 #include <boost/fusion/support/detail/access.hpp>
  12 #include <boost/fusion/support/is_view.hpp>
  13 #include <boost/fusion/support/category_of.hpp>
  14 #include <boost/fusion/view/transform_view/transform_view_iterator.hpp>
  15 #include <boost/fusion/view/transform_view/transform_view_fwd.hpp>
  16 #include <boost/fusion/view/transform_view/detail/begin_impl.hpp>
  17 #include <boost/fusion/view/transform_view/detail/end_impl.hpp>
  18 #include <boost/fusion/view/transform_view/detail/at_impl.hpp>
  19 #include <boost/fusion/view/transform_view/detail/value_at_impl.hpp>
  20 #include <boost/fusion/view/detail/strictest_traversal.hpp>
  21 #include <boost/fusion/container/vector/vector10.hpp>
  22 #include <boost/fusion/sequence/intrinsic/size.hpp>
  23 #include <boost/fusion/support/sequence_base.hpp>
  24 #include <boost/fusion/sequence/intrinsic/begin.hpp>
  25 #include <boost/fusion/sequence/intrinsic/end.hpp>
  26 #include <boost/fusion/sequence/intrinsic/size.hpp>
  27 #include <boost/mpl/bool.hpp>
  28
  29 namespace boost { namespace fusion
  30 {
  31     struct void_;
  32     struct transform_view_tag;
  33     struct transform_view2_tag;
  34     struct fusion_sequence_tag;
  35
  36     // Binary Version
  37     template <typename Sequence1, typename Sequence2, typename F>
  38     struct transform_view : sequence_base<transform_view<Sequence1, Sequence2, F> >
  39     {
  40         BOOST_STATIC_ASSERT(result_of::size<Sequence1>::value == result_of::size<Sequence2>::value);
  41         typedef transform_view2_tag fusion_tag;
  42         typedef fusion_sequence_tag tag; // this gets picked up by MPL
  43         typedef mpl::true_ is_view;
  44
  45         typedef typename traits::category_of<Sequence1>::type category1;
  46         typedef typename traits::category_of<Sequence2>::type category2;
  47         typedef typename detail::strictest_traversal<
  48             fusion::vector2<Sequence1, Sequence2> >::type category;
  49         typedef typename result_of::begin<Sequence1>::type first1_type;
  50         typedef typename result_of::begin<Sequence2>::type first2_type;
  51         typedef typename result_of::end<Sequence1>::type last1_type;
  52         typedef typename result_of::end<Sequence2>::type last2_type;
  53         typedef typename result_of::size<Sequence1>::type size;
  54         typedef Sequence1 sequence1_type;
  55         typedef Sequence2 sequence2_type;
  56         typedef F transform_type;
  57
  58         transform_view(Sequence1& in_seq1, Sequence2& in_seq2, F const& binop)
  59             : f(binop)
  60             , seq1(in_seq1)
  61             , seq2(in_seq2)
  62         {}
  63
  64         first1_type first1() const { return fusion::begin(seq1); }
  65         first2_type first2() const { return fusion::begin(seq2); }
  66         last1_type last1() const { return fusion::end(seq1); }
  67         last2_type last2() const { return fusion::end(seq2); }
  68
  69         transform_type f;
  70         typename mpl::if_<traits::is_view<Sequence1>, Sequence1, Sequence1&>::type seq1;
  71         typename mpl::if_<traits::is_view<Sequence2>, Sequence2, Sequence2&>::type seq2;
  72
  73     private:
  74         // silence MSVC warning C4512: assignment operator could not be generated
  75         transform_view& operator= (transform_view const&);
  76     };
  77
  78     // Unary Version
  79     template <typename Sequence, typename F>
  80 #if defined(BOOST_NO_PARTIAL_SPECIALIZATION_IMPLICIT_DEFAULT_ARGS)
  81     struct transform_view<Sequence, F, void_> : sequence_base<transform_view<Sequence, F, void_> >
  82 #else
  83     struct transform_view<Sequence, F> : sequence_base<transform_view<Sequence, F> >
  84 #endif
  85     {
  86         typedef transform_view_tag fusion_tag;
  87         typedef fusion_sequence_tag tag; // this gets picked up by MPL
  88         typedef mpl::true_ is_view;
  89
  90         typedef typename traits::category_of<Sequence>::type category;
  91         typedef typename result_of::begin<Sequence>::type first_type;
  92         typedef typename result_of::end<Sequence>::type last_type;
  93         typedef typename result_of::size<Sequence>::type size;
  94         typedef Sequence sequence_type;
  95         typedef F transform_type;
  96
  97         transform_view(Sequence& in_seq, F const& in_f)
  98             : seq(in_seq)
  99             , f(in_f)
 100         {}
 101
 102         first_type first() const { return fusion::begin(seq); }
 103         last_type last() const { return fusion::end(seq); }
 104         typename mpl::if_<traits::is_view<Sequence>, Sequence, Sequence&>::type seq;
 105         transform_type f;
 106
 107     private:
 108         // silence MSVC warning C4512: assignment operator could not be generated
 109         transform_view& operator= (transform_view const&);
 110     };
 111 }}
 112
 113 #endif
 114
 115