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

   1 /*=============================================================================
   2     Copyright (c) 2016 Kohei Takahashi
   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_struct.hpp>
   9 #include <boost/fusion/sequence/intrinsic/size.hpp>
  10 #include <boost/fusion/sequence/intrinsic/empty.hpp>
  11 #include <boost/fusion/sequence/intrinsic/begin.hpp>
  12 #include <boost/fusion/sequence/intrinsic/end.hpp>
  13 #include <boost/fusion/sequence/io/out.hpp>
  14 #include <boost/fusion/iterator/equal_to.hpp>
  15 #include <boost/fusion/container/vector/vector.hpp>
  16 #include <boost/fusion/container/list/list.hpp>
  17 #include <boost/fusion/container/generation/make_vector.hpp>
  18 #include <boost/fusion/sequence/comparison/equal_to.hpp>
  19 #include <boost/fusion/sequence/comparison/not_equal_to.hpp>
  20 #include <boost/fusion/sequence/comparison/less.hpp>
  21 #include <boost/fusion/sequence/comparison/less_equal.hpp>
  22 #include <boost/fusion/sequence/comparison/greater.hpp>
  23 #include <boost/fusion/sequence/comparison/greater_equal.hpp>
  24 #include <boost/fusion/mpl.hpp>
  25 #include <boost/fusion/support/is_view.hpp>
  26 #include <boost/mpl/is_sequence.hpp>
  27 #include <boost/mpl/assert.hpp>
  28 #include <iostream>
  29
  30 class empty_struct{};
  31 BOOST_FUSION_ADAPT_STRUCT(empty_struct,)
  32
  33 int
  34 main()
  35 {
  36     using namespace boost::fusion;
  37     using namespace boost;
  38
  39     std::cout << tuple_open('[');
  40     std::cout << tuple_close(']');
  41     std::cout << tuple_delimiter(", ");
  42
  43     {
  44         BOOST_MPL_ASSERT_NOT((traits::is_view<empty_struct>));
  45         empty_struct e;
  46
  47         std::cout << e << std::endl;
  48         BOOST_TEST(e == make_vector());
  49
  50         BOOST_STATIC_ASSERT(fusion::result_of::size<empty_struct>::value == 0);
  51         BOOST_MPL_ASSERT((fusion::result_of::empty<empty_struct>));
  52
  53         BOOST_MPL_ASSERT((fusion::result_of::equal_to<
  54             fusion::result_of::begin<empty_struct>::type,
  55             fusion::result_of::end<empty_struct>::type>));
  56     }
  57
  58     {
  59         fusion::vector<> v;
  60         empty_struct e;
  61         BOOST_TEST(v == e);
  62         BOOST_TEST_NOT(e != v);
  63         BOOST_TEST_NOT(v < e);
  64         BOOST_TEST(v <= e);
  65         BOOST_TEST_NOT(e > v);
  66         BOOST_TEST(e >= v);
  67     }
  68
  69     {
  70         empty_struct e;
  71
  72         // conversion from empty_struct to vector
  73         fusion::vector<> v(e);
  74         v = e;
  75
  76         // FIXME
  77         // conversion from empty_struct to list
  78         //fusion::list<> l(e);
  79         //l = e;
  80     }
  81
  82     BOOST_MPL_ASSERT((mpl::is_sequence<empty_struct>));
  83
  84     return boost::report_errors();
  85 }
  86