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

   1 // Boost.TypeErasure library
   2 //
   3 // Copyright 2012 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/builtin.hpp>
  13 #include <boost/type_erasure/free.hpp>
  14 #include <boost/mpl/vector.hpp>
  15
  16 #define BOOST_TEST_MAIN
  17 #include <boost/test/unit_test.hpp>
  18
  19 using namespace boost::type_erasure;
  20
  21 struct model {
  22     explicit model(int v) : val(v) {}
  23     int val;
  24 };
  25
  26 int f1(model& m) { return m.val; }
  27 int f1(model& m, int i) { return m.val + i; }
  28
  29 BOOST_TYPE_ERASURE_FREE((global_has_f1_1), f1, 1);
  30
  31 BOOST_AUTO_TEST_CASE(test_global_has_f1_1) {
  32     typedef ::boost::mpl::vector<
  33         global_has_f1_1<int(_self&)>,
  34         copy_constructible<> > concept_type;
  35     model m(10);
  36     any<concept_type> x(m);
  37     BOOST_CHECK_EQUAL(f1(x), 10);
  38 }
  39
  40 BOOST_TYPE_ERASURE_FREE((ns1)(ns2)(ns_has_f1_1), f1, 1);
  41
  42 BOOST_AUTO_TEST_CASE(test_ns_has_f1_1) {
  43     typedef ::boost::mpl::vector<
  44         ns1::ns2::ns_has_f1_1<int(_self&)>,
  45         copy_constructible<> > concept_type;
  46     model m(10);
  47     any<concept_type> x(m);
  48     BOOST_CHECK_EQUAL(f1(x), 10);
  49 }
  50
  51 struct model_const {
  52     explicit model_const(int v) : val(v) {}
  53     int val;
  54 };
  55
  56 int f1(const model_const& m) { return m.val; }
  57 int f1(const model_const& m, int i) { return m.val + i; }
  58
  59 BOOST_AUTO_TEST_CASE(test_global_has_f1_1_const) {
  60     typedef ::boost::mpl::vector<
  61         ns1::ns2::ns_has_f1_1<int(const _self&)>,
  62         copy_constructible<> > concept_type;
  63     model_const m(10);
  64     const any<concept_type> x(m);
  65     BOOST_CHECK_EQUAL(f1(x), 10);
  66 }
  67
  68 BOOST_AUTO_TEST_CASE(test_global_has_f1_1_void) {
  69     typedef ::boost::mpl::vector<
  70         global_has_f1_1<void(_self&)>,
  71         copy_constructible<> > concept_type;
  72     model m(10);
  73     any<concept_type> x(m);
  74     f1(x);
  75 }
  76
  77 BOOST_TYPE_ERASURE_FREE((global_has_f1_2), f1, 2);
  78
  79 BOOST_AUTO_TEST_CASE(test_global_has_f1_overload) {
  80     typedef ::boost::mpl::vector<
  81         global_has_f1_1<int(_self&)>,
  82         global_has_f1_2<int(_self&, int)>,
  83         copy_constructible<> > concept_type;
  84     model m(10);
  85     any<concept_type> x(m);
  86     BOOST_CHECK_EQUAL(f1(x), 10);
  87     BOOST_CHECK_EQUAL(f1(x, 5), 15);
  88 }
  89
  90 BOOST_AUTO_TEST_CASE(test_global_has_f1_overload_const) {
  91     typedef ::boost::mpl::vector<
  92         global_has_f1_1<int(const _self&)>,
  93         global_has_f1_2<int(const _self&, int)>,
  94         copy_constructible<> > concept_type;
  95     model_const m(10);
  96     const any<concept_type> x(m);
  97     BOOST_CHECK_EQUAL(f1(x), 10);
  98     BOOST_CHECK_EQUAL(f1(x, 5), 15);
  99 }
 100
 101 #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
 102
 103 BOOST_AUTO_TEST_CASE(test_global_has_f1_rv) {
 104     typedef ::boost::mpl::vector<
 105         global_has_f1_2<int(_self&&, int&&)>,
 106         copy_constructible<> > concept_type;
 107     model_const m(10);
 108     any<concept_type> x(m);
 109     BOOST_CHECK_EQUAL(f1(std::move(x), 5), 15);
 110 }
 111
 112 #endif