projects / ceph.git / blame
| Commit | Line | Data |
|---|---|---|
| 7c673cae FG |
1 | // Copyright Daniel Wallin 2006. Use, modification and distribution is |
| 2 | // subject to the Boost Software License, Version 1.0. (See accompanying | |
| 3 | // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) | |
| 4 | ||
| 5 | #include <boost/parameter.hpp> | |
| 6 | #include <boost/mpl/assert.hpp> | |
| 7 | #include <boost/type_traits/is_same.hpp> | |
| 8 | #include <boost/type_traits/is_base_and_derived.hpp> | |
| 9 | ||
| 10 | namespace mpl = boost::mpl; | |
| 11 | namespace parameter = boost::parameter; | |
| 12 | ||
| 13 | template <class T = int> | |
| 14 | struct a0_is | |
| 15 | : parameter::template_keyword<a0_is<>, T> | |
| 16 | {}; | |
| 17 | ||
| 18 | template <class T = int> | |
| 19 | struct a1_is | |
| 20 | : parameter::template_keyword<a1_is<>, T> | |
| 21 | {}; | |
| 22 | ||
| 23 | template <class T = int> | |
| 24 | struct a2_is | |
| 25 | : parameter::template_keyword<a2_is<>, T> | |
| 26 | {}; | |
| 27 | ||
| 28 | template <class T = int> | |
| 29 | struct a3_is | |
| 30 | : parameter::template_keyword<a3_is<>, T> | |
| 31 | {}; | |
| 32 | ||
| 33 | struct X {}; | |
| 34 | struct Y : X {}; | |
| 35 | ||
| 36 | template < | |
| 37 | class A0 = parameter::void_ | |
| 38 | , class A1 = parameter::void_ | |
| 39 | , class A2 = parameter::void_ | |
| 40 | , class A3 = parameter::void_ | |
| 41 | > | |
| 42 | struct with_ntp | |
| 43 | { | |
| 44 | typedef typename parameter::parameters< | |
| 45 | a0_is<>, a1_is<>, a2_is<> | |
| 46 | , parameter::optional< | |
| 47 | parameter::deduced<a3_is<> > | |
| 48 | , boost::is_base_and_derived<X, mpl::_> | |
| 49 | > | |
| 50 | >::bind<A0,A1,A2,A3 | |
| 51 | #if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564)) | |
| 52 | , parameter::void_ | |
| 53 | #endif | |
| 54 | >::type args; | |
| 55 | ||
| 56 | typedef typename parameter::binding< | |
| 57 | args, a0_is<>, void* | |
| 58 | >::type a0; | |
| 59 | ||
| 60 | typedef typename parameter::binding< | |
| 61 | args, a1_is<>, void* | |
| 62 | >::type a1; | |
| 63 | ||
| 64 | typedef typename parameter::binding< | |
| 65 | args, a2_is<>, void* | |
| 66 | >::type a2; | |
| 67 | ||
| 68 | typedef typename parameter::binding< | |
| 69 | args, a3_is<>, void* | |
| 70 | >::type a3; | |
| 71 | ||
| 72 | typedef void(*type)(a0,a1,a2,a3); | |
| 73 | }; | |
| 74 | ||
| 75 | BOOST_MPL_ASSERT((boost::is_same< | |
| 76 | with_ntp<>::type, void(*)(void*,void*,void*,void*) | |
| 77 | >)); | |
| 78 | ||
| 79 | BOOST_MPL_ASSERT((boost::is_same< | |
| 80 | with_ntp<a2_is<int> >::type, void(*)(void*,void*,int,void*) | |
| 81 | >)); | |
| 82 | ||
| 83 | BOOST_MPL_ASSERT((boost::is_same< | |
| 84 | with_ntp<a1_is<int> >::type, void(*)(void*,int,void*,void*) | |
| 85 | >)); | |
| 86 | ||
| 87 | BOOST_MPL_ASSERT((boost::is_same< | |
| 88 | with_ntp<a2_is<int const>, a1_is<float> >::type, void(*)(void*,float,int const,void*) | |
| 89 | >)); | |
| 90 | ||
| 91 | BOOST_MPL_ASSERT((boost::is_same< | |
| 92 | with_ntp<int const>::type, void(*)(int const, void*, void*,void*) | |
| 93 | >)); | |
| 94 | ||
| 95 | BOOST_MPL_ASSERT((boost::is_same< | |
| 96 | with_ntp<int, float>::type, void(*)(int, float, void*,void*) | |
| 97 | >)); | |
| 98 | ||
| 99 | BOOST_MPL_ASSERT((boost::is_same< | |
| 100 | with_ntp<int, float, char>::type, void(*)(int, float, char,void*) | |
| 101 | >)); | |
| 102 | ||
| 103 | BOOST_MPL_ASSERT((boost::is_same< | |
| 104 | with_ntp<a0_is<int>, Y>::type, void(*)(int,void*,void*, Y) | |
| 105 | >)); | |
| 106 | ||
| 107 | BOOST_MPL_ASSERT((boost::is_same< | |
| 108 | with_ntp<int&, a2_is<char>, Y>::type, void(*)(int&,void*,char, Y) | |
| 109 | >)); | |
| 110 |