ceph/src/boost/libs/fusion/test/sequence/adapt_assoc_tpl_adt.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/sequence.hpp>
   9 #include <boost/fusion/support.hpp>
  10 #include <boost/fusion/container/list.hpp>
  11 #include <boost/fusion/container/vector.hpp>
  12 #include <boost/fusion/container/generation/make_vector.hpp>
  13 #include <boost/fusion/adapted/adt/adapt_assoc_adt.hpp>
  14 #include <boost/mpl/assert.hpp>
  15 #include <boost/mpl/not.hpp>
  16 #include <boost/mpl/front.hpp>
  17 #include <boost/mpl/is_sequence.hpp>
  18 #include <boost/type_traits/is_same.hpp>
  19 #include <boost/static_assert.hpp>
  20 #include <iostream>
  21 #include <string>
  22
  23 namespace ns
  24 {
  25     struct x_member;
  26     struct y_member;
  27     struct z_member;
  28
  29     struct non_member;
  30
  31     template<typename X, typename Y, typename Z>
  32     class point
  33     {
  34     public:
  35
  36         point() : x(0), y(0), z(0) {}
  37         point(X in_x, Y in_y, Z in_z) : x(in_x), y(in_y), z(in_z) {}
  38
  39         X get_x() const { return x; }
  40         Y get_y() const { return y; }
  41         Z get_z() const { return z; }
  42         void set_x(X x_) { x = x_; }
  43         void set_y(Y y_) { y = y_; }
  44         void set_z(Z z_) { z = z_; }
  45
  46     private:
  47
  48         X x;
  49         Y y;
  50         Z z;
  51     };
  52 }
  53
  54 #if BOOST_PP_VARIADICS
  55 BOOST_FUSION_ADAPT_ASSOC_TPL_ADT(
  56     (X)(Y)(Z),
  57     (ns::point)(X)(Y)(Z),
  58     (X, X, obj.get_x(), obj.set_x(val), ns::x_member)
  59     (Y, Y, obj.get_y(), obj.set_y(val), ns::y_member)
  60     (obj.get_z(), obj.set_z(val), ns::z_member)
  61 )
  62
  63 #else // BOOST_PP_VARIADICS
  64 BOOST_FUSION_ADAPT_ASSOC_TPL_ADT(
  65     (X)(Y)(Z),
  66     (ns::point)(X)(Y)(Z),
  67     (X, X, obj.get_x(), obj.set_x(val), ns::x_member)
  68     (Y, Y, obj.get_y(), obj.set_y(val), ns::y_member)
  69     (auto, auto, obj.get_z(), obj.set_z(val), ns::z_member)
  70 )
  71
  72 #endif
  73
  74 template <typename TypeToConstruct>
  75 class empty_adt_templated_factory {
  76
  77   TypeToConstruct operator()() {
  78     return TypeToConstruct();
  79   }
  80
  81 };
  82
  83 BOOST_FUSION_ADAPT_ASSOC_TPL_ADT(
  84     (TypeToConstruct),
  85     (empty_adt_templated_factory)(TypeToConstruct),
  86 )
  87
  88 int
  89 main()
  90 {
  91     using namespace boost::fusion;
  92
  93     typedef ns::point<int,int,long> point;
  94
  95     std::cout << tuple_open('[');
  96     std::cout << tuple_close(']');
  97     std::cout << tuple_delimiter(", ");
  98
  99     {
 100         BOOST_MPL_ASSERT_NOT((traits::is_view<point>));
 101         point p(123, 456, 789);
 102
 103         std::cout << at_c<0>(p) << std::endl;
 104         std::cout << at_c<1>(p) << std::endl;
 105         std::cout << at_c<2>(p) << std::endl;
 106         std::cout << p << std::endl;
 107         BOOST_TEST(p == make_vector(123, 456, 789));
 108
 109         at_c<0>(p) = 6;
 110         at_c<1>(p) = 9;
 111         at_c<2>(p) = 12;
 112         BOOST_TEST(p == make_vector(6, 9, 12));
 113
 114         BOOST_STATIC_ASSERT(boost::fusion::result_of::size<point>::value == 3);
 115         BOOST_STATIC_ASSERT(!boost::fusion::result_of::empty<point>::value);
 116
 117         BOOST_TEST(front(p) == 6);
 118         BOOST_TEST(back(p) == 12);
 119     }
 120
 121     {
 122         boost::fusion::vector<int, float, long> v1(4, 2.f, 2);
 123         point v2(5, 3, 3);
 124         boost::fusion::vector<long, double, long> v3(5, 4., 4);
 125         BOOST_TEST(v1 < v2);
 126         BOOST_TEST(v1 <= v2);
 127         BOOST_TEST(v2 > v1);
 128         BOOST_TEST(v2 >= v1);
 129         BOOST_TEST(v2 < v3);
 130         BOOST_TEST(v2 <= v3);
 131         BOOST_TEST(v3 > v2);
 132         BOOST_TEST(v3 >= v2);
 133     }
 134
 135     {
 136         // conversion from point to vector
 137         point p(5, 3, 3);
 138         boost::fusion::vector<int, long, int> v(p);
 139         v = p;
 140     }
 141
 142     {
 143         // conversion from point to list
 144         point p(5, 3, 3);
 145         boost::fusion::list<int, long, int> l(p);
 146         l = p;
 147     }
 148
 149     {
 150         BOOST_MPL_ASSERT((boost::mpl::is_sequence<point>));
 151         BOOST_MPL_ASSERT((boost::is_same<
 152             boost::fusion::result_of::value_at_c<point,0>::type
 153           , boost::mpl::front<point>::type>));
 154     }
 155
 156     {
 157         // assoc stuff
 158         BOOST_MPL_ASSERT((boost::fusion::result_of::has_key<point, ns::x_member>));
 159         BOOST_MPL_ASSERT((boost::fusion::result_of::has_key<point, ns::y_member>));
 160         BOOST_MPL_ASSERT((boost::fusion::result_of::has_key<point, ns::z_member>));
 161         BOOST_MPL_ASSERT((boost::mpl::not_<boost::fusion::result_of::has_key<point, ns::non_member> >));
 162
 163         BOOST_MPL_ASSERT((boost::is_same<boost::fusion::result_of::value_at_key<point, ns::x_member>::type, int>));
 164         BOOST_MPL_ASSERT((boost::is_same<boost::fusion::result_of::value_at_key<point, ns::y_member>::type, int>));
 165         BOOST_MPL_ASSERT((boost::is_same<boost::fusion::result_of::value_at_key<point, ns::z_member>::type, long>));
 166
 167         point p(5, 3, 1);
 168
 169         BOOST_TEST(at_key<ns::x_member>(p) == 5);
 170         BOOST_TEST(at_key<ns::y_member>(p) == 3);
 171         BOOST_TEST(at_key<ns::z_member>(p) == 1);
 172     }
 173
 174     return boost::report_errors();
 175 }
 176