123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899 |
- // Copyright 2015 Peter Dimov.
- //
- // 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/mp11/utility.hpp>
- #include <boost/mp11/detail/config.hpp>
- #include <boost/core/lightweight_test_trait.hpp>
- template<class T> struct Xi
- {
- };
- template<> struct Xi<void>
- {
- using type = void;
- };
- template<class T> using X = typename Xi<T>::type;
- template<class T> using add_pointer = T*;
- template<class T> using add_reference = T&;
- template<class T> using add_extents = T[];
- using boost::mp11::mp_quote;
- using QX = mp_quote<X>;
- using Q_add_pointer = mp_quote<add_pointer>;
- int main()
- {
- using boost::mp11::mp_valid;
- using boost::mp11::mp_valid_q;
- using boost::mp11::mp_identity;
- BOOST_TEST_TRAIT_FALSE((mp_valid<mp_identity>));
- BOOST_TEST_TRAIT_TRUE((mp_valid<mp_identity, void>));
- BOOST_TEST_TRAIT_FALSE((mp_valid<mp_identity, void, void>));
- BOOST_TEST_TRAIT_FALSE((mp_valid<X>));
- BOOST_TEST_TRAIT_TRUE((mp_valid<X, void>));
- BOOST_TEST_TRAIT_FALSE((mp_valid<X, int>));
- BOOST_TEST_TRAIT_FALSE((mp_valid<X, void, void>));
- BOOST_TEST_TRAIT_FALSE((mp_valid<QX::fn>));
- BOOST_TEST_TRAIT_TRUE((mp_valid<QX::fn, void>));
- BOOST_TEST_TRAIT_FALSE((mp_valid<QX::fn, int>));
- BOOST_TEST_TRAIT_FALSE((mp_valid<QX::fn, void, void>));
- BOOST_TEST_TRAIT_FALSE((mp_valid_q<QX>));
- BOOST_TEST_TRAIT_TRUE((mp_valid_q<QX, void>));
- BOOST_TEST_TRAIT_FALSE((mp_valid_q<QX, int>));
- BOOST_TEST_TRAIT_FALSE((mp_valid_q<QX, void, void>));
- BOOST_TEST_TRAIT_FALSE((mp_valid<add_pointer>));
- BOOST_TEST_TRAIT_TRUE((mp_valid<add_pointer, void>));
- BOOST_TEST_TRAIT_TRUE((mp_valid<add_pointer, int>));
- #if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, <= 1800 )
- // msvc-12.0 can form pointer to reference
- BOOST_TEST_TRAIT_FALSE((mp_valid<add_pointer, int&>));
- #endif
- BOOST_TEST_TRAIT_FALSE((mp_valid<add_pointer, void, void>));
- BOOST_TEST_TRAIT_FALSE((mp_valid<Q_add_pointer::fn>));
- BOOST_TEST_TRAIT_TRUE((mp_valid<Q_add_pointer::fn, void>));
- BOOST_TEST_TRAIT_TRUE((mp_valid<Q_add_pointer::fn, int>));
- BOOST_TEST_TRAIT_FALSE((mp_valid<Q_add_pointer::fn, void, void>));
- BOOST_TEST_TRAIT_FALSE((mp_valid_q<Q_add_pointer>));
- BOOST_TEST_TRAIT_TRUE((mp_valid_q<Q_add_pointer, void>));
- BOOST_TEST_TRAIT_TRUE((mp_valid_q<Q_add_pointer, int>));
- BOOST_TEST_TRAIT_FALSE((mp_valid_q<Q_add_pointer, void, void>));
- #if !BOOST_MP11_WORKAROUND( BOOST_MP11_GCC, < 70000 )
- // g++ up to at least 6.3 doesn't like add_reference for some reason or other
- BOOST_TEST_TRAIT_FALSE((mp_valid<add_reference>));
- #if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, <= 1800 )
- // msvc-12.0 gives an internal error here
- BOOST_TEST_TRAIT_FALSE((mp_valid<add_reference, void>));
- #endif
- BOOST_TEST_TRAIT_TRUE((mp_valid<add_reference, int>));
- BOOST_TEST_TRAIT_FALSE((mp_valid<add_reference, int, int>));
- #endif
- BOOST_TEST_TRAIT_FALSE((mp_valid<add_extents>));
- BOOST_TEST_TRAIT_TRUE((mp_valid<add_extents, int>));
- #if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, <= 1800 )
- // msvc-12.0 can form arrays to void or int&
- BOOST_TEST_TRAIT_FALSE((mp_valid<add_extents, void>));
- BOOST_TEST_TRAIT_FALSE((mp_valid<add_extents, int&>));
- #endif
- BOOST_TEST_TRAIT_FALSE((mp_valid<add_extents, int, int>));
- return boost::report_errors();
- }
|