ceph/src/boost/libs/type_erasure/test/test_limits.cpp

   1 // Boost.TypeErasure library
   2 //
   3 // Copyright 2011 Steven Watanabe
   4 //
   5 // Distributed under the Boost Software License Version 1.0. (See
   6 // accompanying file LICENSE_1_0.txt or copy at
   7 // http://www.boost.org/LICENSE_1_0.txt)
   8 //
   9 // $Id$
  10
  11 #include <boost/type_erasure/any.hpp>
  12 #include <boost/type_erasure/free.hpp>
  13 #include <boost/type_erasure/builtin.hpp>
  14 #include <boost/mpl/vector.hpp>
  15 #include <boost/mpl/transform.hpp>
  16 #include <boost/mpl/back_inserter.hpp>
  17 #include <boost/mpl/range_c.hpp>
  18
  19 #define BOOST_TEST_MAIN
  20 #include <boost/test/unit_test.hpp>
  21
  22 using namespace boost::type_erasure;
  23 namespace mpl = boost::mpl;
  24
  25 template<int N>
  26 struct tester
  27 {
  28     int value;
  29 };
  30
  31 int func() { return 0; }
  32
  33 template<int N, class... T>
  34 int func(tester<N> t0, T... t)
  35 {
  36     return t0.value + func(t...);
  37 }
  38
  39 BOOST_TYPE_ERASURE_FREE((has_func), func)
  40
  41 template<class T = _self>
  42 struct common : mpl::vector<
  43     copy_constructible<T>
  44 > {};
  45
  46 BOOST_AUTO_TEST_CASE(test_arity)
  47 {
  48     tester<0> t = { 1 };
  49     any<mpl::vector<common<>, has_func<int(_self, _self, _self, _self, _self, _self)> > > x(t);
  50     int i = func(x, x, x, x, x, x);
  51     BOOST_TEST(i == 6);
  52 }
  53
  54 BOOST_AUTO_TEST_CASE(test_null_arity)
  55 {
  56     any<mpl::vector<common<>, has_func<int(_self, _self, _self, _self, _self, _self)>, relaxed> > x;
  57     BOOST_CHECK_THROW(func(x, x, x, x, x , x), boost::type_erasure::bad_function_call);
  58 }
  59
  60 template<class T0, class... T>
  61 struct my_concept
  62 {
  63     static int apply(T0 t0) { return func(t0); }
  64 };
  65
  66 BOOST_AUTO_TEST_CASE(test_template_arity)
  67 {
  68     typedef my_concept<_self, int, int, int, int, int, int> concept1;
  69     tester<0> t = { 1 };
  70     any<mpl::vector<common<>, concept1> > x(t);
  71     int i = call(concept1(), x);
  72     BOOST_TEST(i == 1);
  73 }
  74
  75 template<class T>
  76 struct make_funcN
  77 {
  78     typedef has_func<int(_self, tester<T::value>)> type;
  79 };
  80
  81 BOOST_AUTO_TEST_CASE(test_vtable_size)
  82 {
  83     tester<0> t = { 1 };
  84     any<mpl::vector<
  85         common<>,
  86         mpl::transform<mpl::range_c<int, 1, 60>,
  87             make_funcN<mpl::_1>,
  88             mpl::back_inserter< boost::mp11::mp_list<> >
  89         >::type
  90     > > x(t);
  91     tester<7> t1 = { 2 };
  92     int i = func(x, t1);
  93     BOOST_TEST(i == 3);
  94 }