123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378 |
- // Copyright David Abrahams 2005.
- // Distributed under the Boost Software License, Version 1.0.
- // (See accompanying file LICENSE_1_0.txt or copy at
- // http://www.boost.org/LICENSE_1_0.txt)
- #include <boost/parameter/aux_/unwrap_cv_reference.hpp>
- #include <boost/parameter/config.hpp>
- #include <boost/mpl/aux_/test.hpp>
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- #include <type_traits>
- #else
- #include <boost/mpl/bool.hpp>
- #include <boost/mpl/if.hpp>
- #include <boost/mpl/assert.hpp>
- #include <boost/type_traits/is_same.hpp>
- #endif
- MPL_TEST_CASE()
- {
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<int>::type
- , int
- >::value
- , "unwrap_cv_reference<int>::type == int"
- );
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<int const>::type
- , int const
- >::value
- , "unwrap_cv_reference<int const>::type == int const"
- );
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<int volatile>::type
- , int volatile
- >::value
- , "unwrap_cv_reference<int volatile>::type == int volatile"
- );
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- int const volatile
- >::type
- , int const volatile
- >::value
- , "unwrap_cv_reference<int cv>::type == int cv"
- );
- #else // !defined(BOOST_PARAMETER_CAN_USE_MP11)
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<int>::type
- , int
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<int const>::type
- , int const
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<int volatile>::type
- , int volatile
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- int const volatile
- >::type
- , int const volatile
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- #endif // BOOST_PARAMETER_CAN_USE_MP11
- }
- namespace test {
- struct foo
- {
- };
- } // namespace test
- MPL_TEST_CASE()
- {
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<test::foo>::type
- , test::foo
- >::value
- , "unwrap_cv_reference<test::foo>::type == test::foo"
- );
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<test::foo const>::type
- , test::foo const
- >::value
- , "unwrap_cv_reference<test::foo const>::type == test::foo const"
- );
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- test::foo volatile
- >::type
- , test::foo volatile
- >::value
- , "unwrap_cv_reference<test::foo volatile>::type == test::foo volatile"
- );
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- test::foo const volatile
- >::type
- , test::foo const volatile
- >::value
- , "unwrap_cv_reference<test::foo cv>::type == test::foo cv"
- );
- #else // !defined(BOOST_PARAMETER_CAN_USE_MP11)
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<test::foo>::type
- , test::foo
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- test::foo const
- >::type
- , test::foo const
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- test::foo volatile
- >::type
- , test::foo volatile
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- test::foo const volatile
- >::type
- , test::foo const volatile
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- #endif // BOOST_PARAMETER_CAN_USE_MP11
- }
- #include <boost/ref.hpp>
- MPL_TEST_CASE()
- {
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- boost::reference_wrapper<test::foo>
- >::type
- , test::foo
- >::value
- , "unwrap_cv_reference<ref(test::foo)>::type == test::foo"
- );
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- boost::reference_wrapper<test::foo> const
- >::type
- , test::foo
- >::value
- , "unwrap_cv_reference<ref(test::foo) const>::type == test::foo"
- );
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- boost::reference_wrapper<test::foo> volatile
- >::type
- , test::foo
- >::value
- , "unwrap_cv_reference<ref(test::foo) volatile>::type == test::foo"
- );
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- boost::reference_wrapper<test::foo> const volatile
- >::type
- , test::foo
- >::value
- , "unwrap_cv_reference<ref(test::foo) cv>::type == test::foo"
- );
- #else // !defined(BOOST_PARAMETER_CAN_USE_MP11)
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- boost::reference_wrapper<test::foo>
- >::type
- , test::foo
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- boost::reference_wrapper<test::foo> const
- >::type
- , test::foo
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- boost::reference_wrapper<test::foo> volatile
- >::type
- , test::foo
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- boost::reference_wrapper<test::foo> const volatile
- >::type
- , test::foo
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- #endif // BOOST_PARAMETER_CAN_USE_MP11
- }
- #if !defined(BOOST_NO_CXX11_HDR_FUNCTIONAL)
- #include <functional>
- MPL_TEST_CASE()
- {
- #if defined(BOOST_PARAMETER_CAN_USE_MP11)
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- std::reference_wrapper<test::foo>
- >::type
- , test::foo
- >::value
- , "unwrap_cv_reference<std::ref(test::foo)>::type == test::foo"
- );
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- std::reference_wrapper<test::foo> const
- >::type
- , test::foo
- >::value
- , "unwrap_cv_reference<std::ref(test::foo) const>::type == test::foo"
- );
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- std::reference_wrapper<test::foo> volatile
- >::type
- , test::foo
- >::value
- , "unwrap_cv_reference<std::ref(test::foo) volatile>::type == test::foo"
- );
- static_assert(
- std::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- std::reference_wrapper<test::foo> const volatile
- >::type
- , test::foo
- >::value
- , "unwrap_cv_reference<std::ref(test::foo) cv>::type == test::foo"
- );
- #else // !defined(BOOST_PARAMETER_CAN_USE_MP11)
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- std::reference_wrapper<test::foo>
- >::type
- , test::foo
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- std::reference_wrapper<test::foo> const
- >::type
- , test::foo
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- std::reference_wrapper<test::foo> volatile
- >::type
- , test::foo
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- BOOST_MPL_ASSERT((
- boost::mpl::if_<
- boost::is_same<
- boost::parameter::aux::unwrap_cv_reference<
- std::reference_wrapper<test::foo> const volatile
- >::type
- , test::foo
- >
- , boost::mpl::true_
- , boost::mpl::false_
- >::type
- ));
- #endif // BOOST_PARAMETER_CAN_USE_MP11
- }
- #endif // BOOST_NO_CXX11_HDR_FUNCTIONAL
|