12345678910111213141516171819202122232425262728293031323334353637 |
- // Copyright 2005 Alexander Nasonov.
- // 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)
- #ifndef FILE_boost_libs_type_traits_test_promote_util_hpp_INCLUDED
- #define FILE_boost_libs_type_traits_test_promote_util_hpp_INCLUDED
- #include <boost/type_traits/promote.hpp>
- #include <boost/config.hpp>
- #include <boost/static_assert.hpp>
- #include <boost/type_traits/is_same.hpp>
- template<class T, class Promoted>
- inline void test_no_cv()
- {
- typedef BOOST_DEDUCED_TYPENAME boost::promote<T>::type promoted;
- BOOST_STATIC_ASSERT(( boost::is_same<promoted,Promoted>::value ));
- }
- template<class T, class Promoted>
- inline void test_cv()
- {
- typedef BOOST_DEDUCED_TYPENAME boost::promote<T >::type promoted;
- typedef BOOST_DEDUCED_TYPENAME boost::promote<T const >::type promoted_c;
- typedef BOOST_DEDUCED_TYPENAME boost::promote<T volatile>::type promoted_v;
- typedef BOOST_DEDUCED_TYPENAME boost::promote<T const volatile>::type promoted_cv;
- BOOST_STATIC_ASSERT(( ::boost::is_same< promoted , Promoted >::value ));
- BOOST_STATIC_ASSERT(( ::boost::is_same< promoted_c , Promoted const >::value ));
- BOOST_STATIC_ASSERT(( ::boost::is_same< promoted_v , Promoted volatile >::value ));
- BOOST_STATIC_ASSERT(( ::boost::is_same< promoted_cv, Promoted const volatile >::value ));
- }
- #endif // #ifndef FILE_boost_libs_type_traits_test_promote_util_hpp_INCLUDED
|