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/fusion/support/config.hpp>
11 #include <boost/static_assert.hpp>
12 #include <boost/fusion/support/detail/access.hpp>
13 #include <boost/fusion/support/is_view.hpp>
14 #include <boost/fusion/support/category_of.hpp>
15 #include <boost/fusion/view/transform_view/transform_view_iterator.hpp>
16 #include <boost/fusion/view/transform_view/transform_view_fwd.hpp>
17 #include <boost/fusion/view/transform_view/detail/begin_impl.hpp>
18 #include <boost/fusion/view/transform_view/detail/end_impl.hpp>
19 #include <boost/fusion/view/transform_view/detail/at_impl.hpp>
20 #include <boost/fusion/view/transform_view/detail/value_at_impl.hpp>
21 #include <boost/fusion/view/detail/strictest_traversal.hpp>
22 #include <boost/fusion/container/vector/vector10.hpp>
23 #include <boost/fusion/sequence/intrinsic/size.hpp>
24 #include <boost/fusion/support/sequence_base.hpp>
25 #include <boost/fusion/sequence/intrinsic/begin.hpp>
26 #include <boost/fusion/sequence/intrinsic/end.hpp>
27 #include <boost/fusion/sequence/intrinsic/size.hpp>
28 #include <boost/mpl/bool.hpp>
29 
30 namespace boost { namespace fusion
31 {
32     struct void_;
33     struct transform_view_tag;
34     struct transform_view2_tag;
35     struct fusion_sequence_tag;
36 
37     // Binary Version
38     template <typename Sequence1, typename Sequence2, typename F>
39     struct transform_view : sequence_base<transform_view<Sequence1, Sequence2, F> >
40     {
41         BOOST_STATIC_ASSERT(result_of::size<Sequence1>::value == result_of::size<Sequence2>::value);
42         typedef transform_view2_tag fusion_tag;
43         typedef fusion_sequence_tag tag; // this gets picked up by MPL
44         typedef mpl::true_ is_view;
45 
46         typedef typename traits::category_of<Sequence1>::type category1;
47         typedef typename traits::category_of<Sequence2>::type category2;
48         typedef typename detail::strictest_traversal<
49             fusion::vector2<Sequence1, Sequence2> >::type category;
50         typedef typename result_of::begin<Sequence1>::type first1_type;
51         typedef typename result_of::begin<Sequence2>::type first2_type;
52         typedef typename result_of::end<Sequence1>::type last1_type;
53         typedef typename result_of::end<Sequence2>::type last2_type;
54         typedef typename result_of::size<Sequence1>::type size;
55         typedef Sequence1 sequence1_type;
56         typedef Sequence2 sequence2_type;
57         typedef F transform_type;
58 
59         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
transform_viewboost::fusion::transform_view60         transform_view(Sequence1& in_seq1, Sequence2& in_seq2, F const& binop)
61             : f(binop)
62             , seq1(in_seq1)
63             , seq2(in_seq2)
64         {}
65 
66         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
first1boost::fusion::transform_view67         first1_type first1() const { return fusion::begin(seq1); }
68         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
first2boost::fusion::transform_view69         first2_type first2() const { return fusion::begin(seq2); }
70         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
last1boost::fusion::transform_view71         last1_type last1() const { return fusion::end(seq1); }
72         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
last2boost::fusion::transform_view73         last2_type last2() const { return fusion::end(seq2); }
74 
75         transform_type f;
76         typename mpl::if_<traits::is_view<Sequence1>, Sequence1, Sequence1&>::type seq1;
77         typename mpl::if_<traits::is_view<Sequence2>, Sequence2, Sequence2&>::type seq2;
78 
79         // silence MSVC warning C4512: assignment operator could not be generated
80         BOOST_DELETED_FUNCTION(transform_view& operator= (transform_view const&))
81     };
82 
83     // Unary Version
84     template <typename Sequence, typename F>
85 #if defined(BOOST_NO_PARTIAL_SPECIALIZATION_IMPLICIT_DEFAULT_ARGS)
86     struct transform_view<Sequence, F, void_> : sequence_base<transform_view<Sequence, F, void_> >
87 #else
88     struct transform_view<Sequence, F> : sequence_base<transform_view<Sequence, F> >
89 #endif
90     {
91         typedef transform_view_tag fusion_tag;
92         typedef fusion_sequence_tag tag; // this gets picked up by MPL
93         typedef mpl::true_ is_view;
94 
95         typedef typename traits::category_of<Sequence>::type category;
96         typedef typename result_of::begin<Sequence>::type first_type;
97         typedef typename result_of::end<Sequence>::type last_type;
98         typedef typename result_of::size<Sequence>::type size;
99         typedef Sequence sequence_type;
100         typedef F transform_type;
101 
102         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
transform_viewboost::fusion::transform_view103         transform_view(Sequence& in_seq, F const& in_f)
104             : seq(in_seq)
105             , f(in_f)
106         {}
107 
108         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
firstboost::fusion::transform_view109         first_type first() const { return fusion::begin(seq); }
110         BOOST_CONSTEXPR BOOST_FUSION_GPU_ENABLED
lastboost::fusion::transform_view111         last_type last() const { return fusion::end(seq); }
112         typename mpl::if_<traits::is_view<Sequence>, Sequence, Sequence&>::type seq;
113         transform_type f;
114 
115         // silence MSVC warning C4512: assignment operator could not be generated
116         BOOST_DELETED_FUNCTION(transform_view& operator= (transform_view const&))
117     };
118 }}
119 
120 #endif
121 
122 
123