99 lines
3.4 KiB
C++
Executable file
99 lines
3.4 KiB
C++
Executable file
|
|
// 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();
|
|
}
|