Chris@102: /////////////////////////////////////////////////////////////////////////////
Chris@102: //
Chris@102: // (C) Copyright Ion Gaztanaga  2014-2014
Chris@102: //
Chris@102: // Distributed under the Boost Software License, Version 1.0.
Chris@102: //    (See accompanying file LICENSE_1_0.txt or copy at
Chris@102: //          http://www.boost.org/LICENSE_1_0.txt)
Chris@102: //
Chris@102: // See http://www.boost.org/libs/intrusive for documentation.
Chris@102: //
Chris@102: /////////////////////////////////////////////////////////////////////////////
Chris@102: 
Chris@102: #ifndef BOOST_INTRUSIVE_DETAIL_GET_VALUE_TRAITS_HPP
Chris@102: #define BOOST_INTRUSIVE_DETAIL_GET_VALUE_TRAITS_HPP
Chris@102: 
Chris@102: #ifndef BOOST_CONFIG_HPP
Chris@102: #  include <boost/config.hpp>
Chris@102: #endif
Chris@102: 
Chris@102: #if defined(BOOST_HAS_PRAGMA_ONCE)
Chris@102: #  pragma once
Chris@102: #endif
Chris@102: 
Chris@102: #include <boost/intrusive/detail/config_begin.hpp>
Chris@102: #include <boost/intrusive/detail/mpl.hpp>
Chris@102: #include <boost/intrusive/detail/hook_traits.hpp>
Chris@102: 
Chris@102: namespace boost {
Chris@102: namespace intrusive {
Chris@102: 
Chris@102: #ifndef BOOST_INTRUSIVE_DOXYGEN_INVOKED
Chris@102: 
Chris@102: template<class SupposedValueTraits>
Chris@102: struct is_default_hook_tag
Chris@102: {  static const bool value = false;  };
Chris@102: 
Chris@102: namespace detail{
Chris@102: 
Chris@102: template <class T, class BaseHook>
Chris@102: struct concrete_hook_base_value_traits
Chris@102: {
Chris@102:    typedef typename BaseHook::hooktags tags;
Chris@102:    typedef bhtraits
Chris@102:       < T
Chris@102:       , typename tags::node_traits
Chris@102:       , tags::link_mode
Chris@102:       , typename tags::tag
Chris@102:       , tags::type> type;
Chris@102: };
Chris@102: 
Chris@102: template <class BaseHook>
Chris@102: struct concrete_hook_base_value_traits<void, BaseHook>
Chris@102: {
Chris@102:    typedef typename BaseHook::hooktags type;
Chris@102: };
Chris@102: 
Chris@102: template <class T, class AnyToSomeHook_ProtoValueTraits>
Chris@102: struct any_hook_base_value_traits
Chris@102: {
Chris@102:    //AnyToSomeHook value_traits derive from a generic_hook
Chris@102:    //The generic_hook is configured with any_node_traits
Chris@102:    //and AnyToSomeHook::value_traits with the correct
Chris@102:    //node traits for the container, so use node_traits
Chris@102:    //from AnyToSomeHook_ProtoValueTraits and the rest of
Chris@102:    //elements from the hooktags member of the generic_hook
Chris@102: 
Chris@102:    typedef typename AnyToSomeHook_ProtoValueTraits::basic_hook_t     basic_hook_t;
Chris@102:    typedef typename pointer_rebind
Chris@102:       < typename basic_hook_t::hooktags::node_traits::node_ptr
Chris@102:       , void>::type                                                  void_pointer;
Chris@102:    typedef typename AnyToSomeHook_ProtoValueTraits::template
Chris@102:       node_traits_from_voidptr<void_pointer>::type                   node_traits;
Chris@102: 
Chris@102:    typedef bhtraits
Chris@102:       < T
Chris@102:       , node_traits
Chris@102:       , basic_hook_t::hooktags::link_mode
Chris@102:       , typename basic_hook_t::hooktags::tag
Chris@102:       , basic_hook_t::hooktags::type
Chris@102:       > type;
Chris@102: };
Chris@102: 
Chris@102: template <class AnyToSomeHook_ProtoValueTraits>
Chris@102: struct any_hook_base_value_traits<void, AnyToSomeHook_ProtoValueTraits>
Chris@102: {
Chris@102:    typedef typename AnyToSomeHook_ProtoValueTraits::basic_hook_t     basic_hook_t;
Chris@102:    typedef typename pointer_rebind
Chris@102:       < typename basic_hook_t::hooktags::node_traits::node_ptr
Chris@102:       , void>::type                                                  void_pointer;
Chris@102: 
Chris@102:    struct type
Chris@102:    {
Chris@102:       typedef typename AnyToSomeHook_ProtoValueTraits::template
Chris@102:          node_traits_from_voidptr<void_pointer>::type                node_traits;
Chris@102:    };
Chris@102: };
Chris@102: 
Chris@102: template<class MemberHook>
Chris@102: struct get_member_value_traits
Chris@102: {
Chris@102:    typedef typename MemberHook::member_value_traits type;
Chris@102: };
Chris@102: 
Chris@102: BOOST_INTRUSIVE_INTERNAL_STATIC_BOOL_IS_TRUE(internal_any_hook, is_any_hook)
Chris@102: BOOST_INTRUSIVE_INTERNAL_STATIC_BOOL_IS_TRUE(internal_base_hook, hooktags::is_base_hook)
Chris@102: 
Chris@102: template <class T>
Chris@102: struct internal_member_value_traits
Chris@102: {
Chris@102:    template <class U> static one test(...);
Chris@102:    template <class U> static two test(typename U::member_value_traits* = 0);
Chris@102:    static const bool value = sizeof(test<T>(0)) == sizeof(two);
Chris@102: };
Chris@102: 
Chris@102: template<class SupposedValueTraits, class T, bool = is_default_hook_tag<SupposedValueTraits>::value>
Chris@102: struct supposed_value_traits;
Chris@102: 
Chris@102: template<class T, class BaseHook, bool = internal_any_hook_bool_is_true<BaseHook>::value>
Chris@102: struct get_base_value_traits;
Chris@102: 
Chris@102: template<class SupposedValueTraits, class T, bool = internal_base_hook_bool_is_true<SupposedValueTraits>::value>
Chris@102: struct supposed_base_value_traits;
Chris@102: 
Chris@102: template<class SupposedValueTraits, bool = internal_member_value_traits<SupposedValueTraits>::value>
Chris@102: struct supposed_member_value_traits;
Chris@102: 
Chris@102: template<class SupposedValueTraits, bool = internal_any_hook_bool_is_true<SupposedValueTraits>::value>
Chris@102: struct any_or_concrete_value_traits;
Chris@102: 
Chris@102: //Base any hook
Chris@102: template<class T, class BaseHook>
Chris@102: struct get_base_value_traits<T, BaseHook, true>
Chris@102:    : any_hook_base_value_traits<T, BaseHook>
Chris@102: {};
Chris@102: 
Chris@102: //Non-any base hook
Chris@102: template<class T, class BaseHook>
Chris@102: struct get_base_value_traits<T, BaseHook, false>
Chris@102:    : concrete_hook_base_value_traits<T, BaseHook>
Chris@102: {};
Chris@102: 
Chris@102: //...It's a default hook
Chris@102: template<class SupposedValueTraits, class T>
Chris@102: struct supposed_value_traits<SupposedValueTraits, T, true>
Chris@102: {  typedef typename SupposedValueTraits::template apply<T>::type type;  };
Chris@102: 
Chris@102: //...Not  a default hook
Chris@102: template<class SupposedValueTraits, class T>
Chris@102: struct supposed_value_traits<SupposedValueTraits, T, false>
Chris@102: {  typedef SupposedValueTraits type;   };
Chris@102: 
Chris@102: //...It's a base hook
Chris@102: template<class BaseHook, class T>
Chris@102: struct supposed_base_value_traits<BaseHook, T, true>
Chris@102:    : get_base_value_traits<T, BaseHook>
Chris@102: {};
Chris@102: 
Chris@102: //...Not a base hook, try if it's a member or value_traits
Chris@102: template<class SupposedValueTraits, class T>
Chris@102: struct supposed_base_value_traits<SupposedValueTraits, T, false>
Chris@102:    : supposed_member_value_traits<SupposedValueTraits>
Chris@102: {};
Chris@102: 
Chris@102: //...It's a member hook
Chris@102: template<class MemberHook>
Chris@102: struct supposed_member_value_traits<MemberHook, true>
Chris@102:    : get_member_value_traits<MemberHook>
Chris@102: {};
Chris@102: 
Chris@102: //...Not a member hook
Chris@102: template<class SupposedValueTraits>
Chris@102: struct supposed_member_value_traits<SupposedValueTraits, false>
Chris@102:    : any_or_concrete_value_traits<SupposedValueTraits>
Chris@102: {};
Chris@102: 
Chris@102: template<class AnyToSomeHook_ProtoValueTraits>
Chris@102: struct any_or_concrete_value_traits<AnyToSomeHook_ProtoValueTraits, true>
Chris@102: {
Chris@102:    //A hook node (non-base, e.g.: member or other value traits
Chris@102:    typedef typename AnyToSomeHook_ProtoValueTraits::basic_hook_t        basic_hook_t;
Chris@102:    typedef typename pointer_rebind
Chris@102:       <typename basic_hook_t::node_ptr, void>::type                     void_pointer;
Chris@102:    typedef typename AnyToSomeHook_ProtoValueTraits::template
Chris@102:       node_traits_from_voidptr<void_pointer>::type                      any_node_traits;
Chris@102: 
Chris@102:    struct type : basic_hook_t
Chris@102:    {
Chris@102:       typedef any_node_traits node_traits;
Chris@102:    };
Chris@102: };
Chris@102: 
Chris@102: template<class SupposedValueTraits>
Chris@102: struct any_or_concrete_value_traits<SupposedValueTraits, false>
Chris@102: {
Chris@102:    typedef SupposedValueTraits type;
Chris@102: };
Chris@102: 
Chris@102: ////////////////////////////////////////
Chris@102: //  get_value_traits / get_node_traits
Chris@102: ////////////////////////////////////////
Chris@102: 
Chris@102: template<class T, class SupposedValueTraits>
Chris@102: struct get_value_traits
Chris@102:    : supposed_base_value_traits<typename supposed_value_traits<SupposedValueTraits, T>::type, T>
Chris@102: {};
Chris@102: 
Chris@102: template<class SupposedValueTraits>
Chris@102: struct get_node_traits
Chris@102: {
Chris@102:    typedef typename get_value_traits<void, SupposedValueTraits>::type::node_traits type;
Chris@102: };
Chris@102: 
Chris@102: }  //namespace detail{
Chris@102: 
Chris@102: #endif   //BOOST_INTRUSIVE_DOXYGEN_INVOKED
Chris@102: 
Chris@102: }  //namespace intrusive {
Chris@102: }  //namespace boost {
Chris@102: 
Chris@102: #include <boost/intrusive/detail/config_end.hpp>
Chris@102: 
Chris@102: #endif   //#ifndef BOOST_INTRUSIVE_DETAIL_GET_VALUE_TRAITS_HPP