ceph/src/boost/libs/fusion/test/sequence/adapt_assoc_tpl_struct.cpp

   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
  75   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
  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         point p = {123, 456, 789.43f};
 100
 101         std::cout << at_c<0>(p) << std::endl;
 102         std::cout << at_c<1>(p) << std::endl;
 103         std::cout << at_c<2>(p) << std::endl;
 104         std::cout << p << std::endl;
 105         BOOST_TEST(p == make_vector(123, 456, 789.43f));
 106
 107         at_c<0>(p) = 6;
 108         at_c<1>(p) = 9;
 109         at_c<2>(p) = 12;
 110         BOOST_TEST(p == make_vector(6, 9, 12));
 111
 112         BOOST_STATIC_ASSERT(boost::fusion::result_of::size<point>::value == 3);
 113         BOOST_STATIC_ASSERT(!boost::fusion::result_of::empty<point>::value);
 114
 115         BOOST_TEST(front(p) == 6);
 116         BOOST_TEST(back(p) == 12);
 117     }
 118
 119     {
 120         vector<int, float, int> v1(4, 2.f, 2);
 121         point v2 = {5, 3, 3.f};
 122         vector<long, double, float> v3(5, 4., 4.13f);
 123         BOOST_TEST(v1 < v2);
 124         BOOST_TEST(v1 <= v2);
 125         BOOST_TEST(v2 > v1);
 126         BOOST_TEST(v2 >= v1);
 127         BOOST_TEST(v2 < v3);
 128         BOOST_TEST(v2 <= v3);
 129         BOOST_TEST(v3 > v2);
 130         BOOST_TEST(v3 >= v2);
 131     }
 132
 133     {
 134         // conversion from point to vector
 135         point p = {5, 3, 3.f};
 136         vector<int, long, int> v(p);
 137         v = p;
 138     }
 139
 140     {
 141         // conversion from point to list
 142         point p = {5, 3, 3.f};
 143         list<int, long, int> l(p);
 144         l = p;
 145     }
 146
 147     {
 148         // assoc stuff
 149         BOOST_MPL_ASSERT((boost::fusion::result_of::has_key<point, ns::x_member>));
 150         BOOST_MPL_ASSERT((boost::fusion::result_of::has_key<point, ns::y_member>));
 151         BOOST_MPL_ASSERT((boost::fusion::result_of::has_key<point, ns::z_member>));
 152         BOOST_MPL_ASSERT((boost::mpl::not_<boost::fusion::result_of::has_key<point, ns::non_member> >));
 153
 154         BOOST_MPL_ASSERT((boost::is_same<boost::fusion::result_of::value_at_key<point, ns::x_member>::type, int>));
 155         BOOST_MPL_ASSERT((boost::is_same<boost::fusion::result_of::value_at_key<point, ns::y_member>::type, int>));
 156         BOOST_MPL_ASSERT((boost::is_same<boost::fusion::result_of::value_at_key<point, ns::z_member>::type, float>));
 157
 158         point p = {5, 3, 9.f};
 159
 160         BOOST_TEST(at_key<ns::x_member>(p) == 5);
 161         BOOST_TEST(at_key<ns::y_member>(p) == 3);
 162         BOOST_TEST(at_key<ns::z_member>(p) == 9);
 163     }
 164
 165     return boost::report_errors();
 166 }
 167