123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263 |
- // (C) Copyright Tobias Schwinger
- //
- // Use modification and distribution are subject to the boost Software License,
- // Version 1.0. (See http://www.boost.org/LICENSE_1_0.txt).
- //------------------------------------------------------------------------------
- #include <boost/mpl/assert.hpp>
- #include <boost/mpl/vector.hpp>
- #include <boost/type_traits/is_same.hpp>
- #include <boost/function_types/function_type.hpp>
- #include <boost/function_types/function_pointer.hpp>
- #include <boost/function_types/function_reference.hpp>
- #include <boost/function_types/member_function_pointer.hpp>
- namespace ft = boost::function_types;
- namespace mpl = boost::mpl;
- using boost::is_same;
- class C;
- typedef int expected_v_1(...);
- typedef int expected_nv_1();
- typedef int (C::*expected_v_2)(...);
- typedef int (C::*expected_nv_2)();
- BOOST_MPL_ASSERT(( is_same<
- ft::function_type<mpl::vector<int>, ft::variadic>::type, expected_v_1
- > ));
- BOOST_MPL_ASSERT(( is_same<
- ft::function_type<mpl::vector<int>, ft::non_variadic>::type, expected_nv_1
- > ));
- BOOST_MPL_ASSERT(( is_same<
- ft::function_pointer<mpl::vector<int>, ft::variadic>::type, expected_v_1 *
- > ));
- BOOST_MPL_ASSERT(( is_same<
- ft::function_pointer<mpl::vector<int>, ft::non_variadic>::type
- , expected_nv_1 *
- > ));
- BOOST_MPL_ASSERT(( is_same<
- ft::function_reference<mpl::vector<int>, ft::variadic>::type, expected_v_1 &
- > ));
- BOOST_MPL_ASSERT(( is_same<
- ft::function_reference<mpl::vector<int>, ft::non_variadic>::type
- , expected_nv_1 &
- > ));
- BOOST_MPL_ASSERT(( is_same<
- ft::member_function_pointer<mpl::vector<int,C>, ft::variadic>::type
- , expected_v_2
- > ));
- BOOST_MPL_ASSERT(( is_same<
- ft::member_function_pointer<mpl::vector<int,C>, ft::non_variadic>::type
- , expected_nv_2
- > ));
|