• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 /*=============================================================================
2     Copyright (c) 2010 Christopher Schmidt
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 #include <boost/detail/lightweight_test.hpp>
8 #include <boost/fusion/adapted/struct/adapt_assoc_struct.hpp>
9 #include <boost/fusion/sequence/intrinsic/at.hpp>
10 #include <boost/fusion/sequence/intrinsic/size.hpp>
11 #include <boost/fusion/sequence/intrinsic/empty.hpp>
12 #include <boost/fusion/sequence/intrinsic/front.hpp>
13 #include <boost/fusion/sequence/intrinsic/back.hpp>
14 #include <boost/fusion/sequence/intrinsic/has_key.hpp>
15 #include <boost/fusion/sequence/intrinsic/at_key.hpp>
16 #include <boost/fusion/sequence/intrinsic/value_at_key.hpp>
17 #include <boost/fusion/sequence/io/out.hpp>
18 #include <boost/fusion/container/vector/vector.hpp>
19 #include <boost/fusion/container/list/list.hpp>
20 #include <boost/fusion/container/generation/make_vector.hpp>
21 #include <boost/fusion/container/vector/convert.hpp>
22 #include <boost/fusion/sequence/comparison/equal_to.hpp>
23 #include <boost/fusion/sequence/comparison/not_equal_to.hpp>
24 #include <boost/fusion/sequence/comparison/less.hpp>
25 #include <boost/fusion/sequence/comparison/less_equal.hpp>
26 #include <boost/fusion/sequence/comparison/greater.hpp>
27 #include <boost/fusion/sequence/comparison/greater_equal.hpp>
28 #include <boost/fusion/support/is_view.hpp>
29 #include <boost/mpl/assert.hpp>
30 #include <boost/mpl/not.hpp>
31 #include <boost/type_traits/is_same.hpp>
32 #include <boost/static_assert.hpp>
33 #include <iostream>
34 #include <string>
35 
36 namespace ns
37 {
38     struct x_member;
39     struct y_member;
40     struct z_member;
41 
42     struct non_member;
43 
44     template<typename X, typename Y, typename Z>
45     struct point
46     {
47         X x;
48         Y y;
49         Z z;
50     };
51 }
52 
53 #if BOOST_PP_VARIADICS
54   BOOST_FUSION_ADAPT_ASSOC_TPL_STRUCT(
55         (X)(Y)(Z),
56         (ns::point)(X)(Y)(Z),
57         (int, x, ns::x_member)
58         (auto, y, ns::y_member)
59         (z, ns::z_member)
60     )
61 
62 #else // BOOST_PP_VARIADICS
63   BOOST_FUSION_ADAPT_ASSOC_TPL_STRUCT(
64       (X)(Y)(Z),
65       (ns::point)(X)(Y)(Z),
66       (int, x, ns::x_member)
67       (Y, y, ns::y_member)
68       (auto, z, ns::z_member)
69   )
70 #endif
71 
72 template <typename TypeToConstruct>
73 struct empty_struct_templated_factory {
74 
operator ()empty_struct_templated_factory75   TypeToConstruct operator()() {
76     return TypeToConstruct();
77   }
78 
79 };
80 
81 BOOST_FUSION_ADAPT_ASSOC_TPL_STRUCT(
82     (TypeToConstruct),
83     (empty_struct_templated_factory)(TypeToConstruct),
84 )
85 
86 int
main()87 main()
88 {
89     using namespace boost::fusion;
90 
91     typedef ns::point<int,int,float> point;
92 
93     std::cout << tuple_open('[');
94     std::cout << tuple_close(']');
95     std::cout << tuple_delimiter(", ");
96 
97     {
98         BOOST_MPL_ASSERT_NOT((traits::is_view<point>));
99         BOOST_STATIC_ASSERT(!traits::is_view<point>::value);
100         point p = {123, 456, 789.43f};
101 
102         std::cout << at_c<0>(p) << std::endl;
103         std::cout << at_c<1>(p) << std::endl;
104         std::cout << at_c<2>(p) << std::endl;
105         std::cout << p << std::endl;
106         BOOST_TEST(p == make_vector(123, 456, 789.43f));
107 
108         at_c<0>(p) = 6;
109         at_c<1>(p) = 9;
110         at_c<2>(p) = 12;
111         BOOST_TEST(p == make_vector(6, 9, 12));
112 
113         BOOST_STATIC_ASSERT(boost::fusion::result_of::size<point>::value == 3);
114         BOOST_STATIC_ASSERT(!boost::fusion::result_of::empty<point>::value);
115 
116         BOOST_TEST(front(p) == 6);
117         BOOST_TEST(back(p) == 12);
118     }
119 
120     {
121         vector<int, float, int> v1(4, 2.f, 2);
122         point v2 = {5, 3, 3.f};
123         vector<long, double, float> v3(5, 4., 4.13f);
124         BOOST_TEST(v1 < v2);
125         BOOST_TEST(v1 <= v2);
126         BOOST_TEST(v2 > v1);
127         BOOST_TEST(v2 >= v1);
128         BOOST_TEST(v2 < v3);
129         BOOST_TEST(v2 <= v3);
130         BOOST_TEST(v3 > v2);
131         BOOST_TEST(v3 >= v2);
132     }
133 
134     {
135         // conversion from point to vector
136         point p = {5, 3, 3.f};
137         vector<int, long, int> v(p);
138         v = p;
139     }
140 
141     {
142         // conversion from point to list
143         point p = {5, 3, 3.f};
144         list<int, long, int> l(p);
145         l = p;
146     }
147 
148     {
149         // assoc stuff
150         BOOST_MPL_ASSERT((boost::fusion::result_of::has_key<point, ns::x_member>));
151         BOOST_MPL_ASSERT((boost::fusion::result_of::has_key<point, ns::y_member>));
152         BOOST_MPL_ASSERT((boost::fusion::result_of::has_key<point, ns::z_member>));
153         BOOST_MPL_ASSERT((boost::mpl::not_<boost::fusion::result_of::has_key<point, ns::non_member> >));
154 
155         BOOST_MPL_ASSERT((boost::is_same<boost::fusion::result_of::value_at_key<point, ns::x_member>::type, int>));
156         BOOST_MPL_ASSERT((boost::is_same<boost::fusion::result_of::value_at_key<point, ns::y_member>::type, int>));
157         BOOST_MPL_ASSERT((boost::is_same<boost::fusion::result_of::value_at_key<point, ns::z_member>::type, float>));
158 
159         point p = {5, 3, 9.f};
160 
161         BOOST_TEST(at_key<ns::x_member>(p) == 5);
162         BOOST_TEST(at_key<ns::y_member>(p) == 3);
163         BOOST_TEST(at_key<ns::z_member>(p) == 9);
164     }
165 
166     return boost::report_errors();
167 }
168 
169