///////////////////////////////////////////////////////////////////////////// // // (C) Copyright Ion Gaztanaga 2006-2014 // (C) Copyright Microsoft Corporation 2014 // // 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) // // See http://www.boost.org/libs/intrusive for documentation. // ///////////////////////////////////////////////////////////////////////////// #ifndef BOOST_INTRUSIVE_DETAIL_MPL_HPP #define BOOST_INTRUSIVE_DETAIL_MPL_HPP #ifndef BOOST_CONFIG_HPP # include #endif #if defined(BOOST_HAS_PRAGMA_ONCE) # pragma once #endif #include #include #include namespace boost { namespace intrusive { namespace detail { using boost::move_detail::is_same; using boost::move_detail::add_const; using boost::move_detail::remove_const; using boost::move_detail::remove_cv; using boost::move_detail::remove_reference; using boost::move_detail::add_reference; using boost::move_detail::remove_pointer; using boost::move_detail::add_pointer; using boost::move_detail::true_type; using boost::move_detail::false_type; using boost::move_detail::enable_if_c; using boost::move_detail::enable_if; using boost::move_detail::disable_if_c; using boost::move_detail::disable_if; using boost::move_detail::is_convertible; using boost::move_detail::if_c; using boost::move_detail::if_; using boost::move_detail::is_const; using boost::move_detail::identity; using boost::move_detail::alignment_of; using boost::move_detail::is_empty; using boost::move_detail::addressof; using boost::move_detail::integral_constant; using boost::move_detail::enable_if_convertible; using boost::move_detail::disable_if_convertible; using boost::move_detail::bool_; using boost::move_detail::true_; using boost::move_detail::false_; using boost::move_detail::yes_type; using boost::move_detail::no_type; using boost::move_detail::apply; using boost::move_detail::eval_if_c; using boost::move_detail::eval_if; using boost::move_detail::unvoid_ref; using boost::move_detail::add_const_if_c; template struct ls_zeros { static const std::size_t value = (S & std::size_t(1)) ? 0 : (1 + ls_zeros<(S>>1u)>::value); }; template<> struct ls_zeros<0> { static const std::size_t value = 0; }; template<> struct ls_zeros<1> { static const std::size_t value = 0; }; // Infrastructure for providing a default type for T::TNAME if absent. #define BOOST_INTRUSIVE_INSTANTIATE_DEFAULT_TYPE_TMPLT(TNAME) \ template \ struct boost_intrusive_default_type_ ## TNAME \ { \ template \ static char test(int, typename X::TNAME*); \ \ template \ static int test(...); \ \ struct DefaultWrap { typedef DefaultType TNAME; }; \ \ static const bool value = (1 == sizeof(test(0, 0))); \ \ typedef typename \ ::boost::intrusive::detail::if_c \ ::type::TNAME type; \ }; \ // #define BOOST_INTRUSIVE_OBTAIN_TYPE_WITH_DEFAULT(INSTANTIATION_NS_PREFIX, T, TNAME, TIMPL) \ typename INSTANTIATION_NS_PREFIX \ boost_intrusive_default_type_ ## TNAME< T, TIMPL >::type \ // #define BOOST_INTRUSIVE_INSTANTIATE_EVAL_DEFAULT_TYPE_TMPLT(TNAME)\ template \ struct boost_intrusive_eval_default_type_ ## TNAME \ { \ template \ static char test(int, typename X::TNAME*); \ \ template \ static int test(...); \ \ struct DefaultWrap \ { typedef typename DefaultType::type TNAME; }; \ \ static const bool value = (1 == sizeof(test(0, 0))); \ \ typedef typename \ ::boost::intrusive::detail::eval_if_c \ < value \ , ::boost::intrusive::detail::identity \ , ::boost::intrusive::detail::identity \ >::type::TNAME type; \ }; \ // #define BOOST_INTRUSIVE_OBTAIN_TYPE_WITH_EVAL_DEFAULT(INSTANTIATION_NS_PREFIX, T, TNAME, TIMPL) \ typename INSTANTIATION_NS_PREFIX \ boost_intrusive_eval_default_type_ ## TNAME< T, TIMPL >::type \ // #define BOOST_INTRUSIVE_INTERNAL_STATIC_BOOL_IS_TRUE(TRAITS_PREFIX, TYPEDEF_TO_FIND) \ template \ struct TRAITS_PREFIX##_bool\ {\ template\ struct two_or_three {yes_type _[2 + Add];};\ template static yes_type test(...);\ template static two_or_three test (int);\ static const std::size_t value = sizeof(test(0));\ };\ \ template \ struct TRAITS_PREFIX##_bool_is_true\ {\ static const bool value = TRAITS_PREFIX##_bool::value > sizeof(yes_type)*2;\ };\ // #define BOOST_INTRUSIVE_HAS_STATIC_MEMBER_FUNC_SIGNATURE(TRAITS_NAME, FUNC_NAME) \ template \ class TRAITS_NAME \ { \ private: \ template struct helper;\ template \ static ::boost::intrusive::detail::yes_type test(helper<&T::FUNC_NAME>*); \ template static ::boost::intrusive::detail::no_type test(...); \ public: \ static const bool value = sizeof(test(0)) == sizeof(::boost::intrusive::detail::yes_type); \ }; \ // #define BOOST_INTRUSIVE_HAS_MEMBER_FUNC_CALLED(TRAITS_NAME, FUNC_NAME) \ template \ struct TRAITS_NAME \ { \ struct BaseMixin \ { \ void FUNC_NAME(); \ }; \ struct Base : public Type, public BaseMixin { Base(); }; \ template class Helper{}; \ template \ static ::boost::intrusive::detail::no_type test(U*, Helper* = 0); \ static ::boost::intrusive::detail::yes_type test(...); \ static const bool value = sizeof(::boost::intrusive::detail::yes_type) == sizeof(test((Base*)(0))); \ };\ // #define BOOST_INTRUSIVE_HAS_MEMBER_FUNC_CALLED_IGNORE_SIGNATURE(TRAITS_NAME, FUNC_NAME) \ BOOST_INTRUSIVE_HAS_MEMBER_FUNC_CALLED(TRAITS_NAME##_ignore_signature, FUNC_NAME) \ \ template \ struct TRAITS_NAME \ : public TRAITS_NAME##_ignore_signature \ {};\ // } //namespace detail } //namespace intrusive } //namespace boost #include #endif //BOOST_INTRUSIVE_DETAIL_MPL_HPP