Chris@102: //////////////////////////////////////////////////////////////////////////////
Chris@102: //
Chris@102: // (C) Copyright Ion Gaztanaga 2014-2014. Distributed under the Boost
Chris@102: // Software License, Version 1.0. (See accompanying file
Chris@102: // LICENSE_1_0.txt or copy at 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_POINTER_REBIND_HPP
Chris@102: #define BOOST_INTRUSIVE_POINTER_REBIND_HPP
Chris@102: 
Chris@102: #ifndef BOOST_INTRUSIVE_DETAIL_WORKAROUND_HPP
Chris@102: #include <boost/intrusive/detail/workaround.hpp>
Chris@102: #endif   //BOOST_INTRUSIVE_DETAIL_WORKAROUND_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: namespace boost {
Chris@102: namespace intrusive {
Chris@102: 
Chris@102: ///////////////////////////
Chris@102: //struct pointer_rebind_mode
Chris@102: ///////////////////////////
Chris@102: template <typename Ptr, typename U>
Chris@102: struct pointer_has_rebind
Chris@102: {
Chris@102:    template <typename V> struct any
Chris@102:    {  any(const V&) { } };
Chris@102: 
Chris@102:    template <typename X>
Chris@102:    static char test(int, typename X::template rebind<U>*);
Chris@102: 
Chris@102:    template <typename X>
Chris@102:    static int test(any<int>, void*);
Chris@102: 
Chris@102:    static const bool value = (1 == sizeof(test<Ptr>(0, 0)));
Chris@102: };
Chris@102: 
Chris@102: template <typename Ptr, typename U>
Chris@102: struct pointer_has_rebind_other
Chris@102: {
Chris@102:    template <typename V> struct any
Chris@102:    {  any(const V&) { } };
Chris@102: 
Chris@102:    template <typename X>
Chris@102:    static char test(int, typename X::template rebind<U>::other*);
Chris@102: 
Chris@102:    template <typename X>
Chris@102:    static int test(any<int>, void*);
Chris@102: 
Chris@102:    static const bool value = (1 == sizeof(test<Ptr>(0, 0)));
Chris@102: };
Chris@102: 
Chris@102: template <typename Ptr, typename U>
Chris@102: struct pointer_rebind_mode
Chris@102: {
Chris@102:    static const unsigned int rebind =       (unsigned int)pointer_has_rebind<Ptr, U>::value;
Chris@102:    static const unsigned int rebind_other = (unsigned int)pointer_has_rebind_other<Ptr, U>::value;
Chris@102:    static const unsigned int mode =         rebind + rebind*rebind_other;
Chris@102: };
Chris@102: 
Chris@102: ////////////////////////
Chris@102: //struct pointer_rebinder
Chris@102: ////////////////////////
Chris@102: template <typename Ptr, typename U, unsigned int RebindMode>
Chris@102: struct pointer_rebinder;
Chris@102: 
Chris@102: // Implementation of pointer_rebinder<U>::type if Ptr has
Chris@102: // its own rebind<U>::other type (C++03)
Chris@102: template <typename Ptr, typename U>
Chris@102: struct pointer_rebinder< Ptr, U, 2u >
Chris@102: {
Chris@102:    typedef typename Ptr::template rebind<U>::other type;
Chris@102: };
Chris@102: 
Chris@102: // Implementation of pointer_rebinder<U>::type if Ptr has
Chris@102: // its own rebind template.
Chris@102: template <typename Ptr, typename U>
Chris@102: struct pointer_rebinder< Ptr, U, 1u >
Chris@102: {
Chris@102:    typedef typename Ptr::template rebind<U> type;
Chris@102: };
Chris@102: 
Chris@102: // Specialization of pointer_rebinder if Ptr does not
Chris@102: // have its own rebind template but has a the form Ptr<A, An...>,
Chris@102: // where An... comprises zero or more type parameters.
Chris@102: // Many types fit this form, hence many pointers will get a
Chris@102: // reasonable default for rebind.
Chris@102: #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
Chris@102: 
Chris@102: template <template <class, class...> class Ptr, typename A, class... An, class U>
Chris@102: struct pointer_rebinder<Ptr<A, An...>, U, 0u >
Chris@102: {
Chris@102:    typedef Ptr<U, An...> type;
Chris@102: };
Chris@102: 
Chris@102: //Needed for non-conforming compilers like GCC 4.3
Chris@102: template <template <class> class Ptr, typename A, class U>
Chris@102: struct pointer_rebinder<Ptr<A>, U, 0u >
Chris@102: {
Chris@102:    typedef Ptr<U> type;
Chris@102: };
Chris@102: 
Chris@102: #else //C++03 compilers
Chris@102: 
Chris@102: template <template <class> class Ptr  //0arg
Chris@102:          , typename A
Chris@102:          , class U>
Chris@102: struct pointer_rebinder<Ptr<A>, U, 0u>
Chris@102: {  typedef Ptr<U> type;   };
Chris@102: 
Chris@102: template <template <class, class> class Ptr  //1arg
Chris@102:          , typename A, class P0
Chris@102:          , class U>
Chris@102: struct pointer_rebinder<Ptr<A, P0>, U, 0u>
Chris@102: {  typedef Ptr<U, P0> type;   };
Chris@102: 
Chris@102: template <template <class, class, class> class Ptr  //2arg
Chris@102:          , typename A, class P0, class P1
Chris@102:          , class U>
Chris@102: struct pointer_rebinder<Ptr<A, P0, P1>, U, 0u>
Chris@102: {  typedef Ptr<U, P0, P1> type;   };
Chris@102: 
Chris@102: template <template <class, class, class, class> class Ptr  //3arg
Chris@102:          , typename A, class P0, class P1, class P2
Chris@102:          , class U>
Chris@102: struct pointer_rebinder<Ptr<A, P0, P1, P2>, U, 0u>
Chris@102: {  typedef Ptr<U, P0, P1, P2> type;   };
Chris@102: 
Chris@102: template <template <class, class, class, class, class> class Ptr  //4arg
Chris@102:          , typename A, class P0, class P1, class P2, class P3
Chris@102:          , class U>
Chris@102: struct pointer_rebinder<Ptr<A, P0, P1, P2, P3>, U, 0u>
Chris@102: {  typedef Ptr<U, P0, P1, P2, P3> type;   };
Chris@102: 
Chris@102: template <template <class, class, class, class, class, class> class Ptr  //5arg
Chris@102:          , typename A, class P0, class P1, class P2, class P3, class P4
Chris@102:          , class U>
Chris@102: struct pointer_rebinder<Ptr<A, P0, P1, P2, P3, P4>, U, 0u>
Chris@102: {  typedef Ptr<U, P0, P1, P2, P3, P4> type;   };
Chris@102: 
Chris@102: template <template <class, class, class, class, class, class, class> class Ptr  //6arg
Chris@102:          , typename A, class P0, class P1, class P2, class P3, class P4, class P5
Chris@102:          , class U>
Chris@102: struct pointer_rebinder<Ptr<A, P0, P1, P2, P3, P4, P5>, U, 0u>
Chris@102: {  typedef Ptr<U, P0, P1, P2, P3, P4, P5> type;   };
Chris@102: 
Chris@102: template <template <class, class, class, class, class, class, class, class> class Ptr  //7arg
Chris@102:          , typename A, class P0, class P1, class P2, class P3, class P4, class P5, class P6
Chris@102:          , class U>
Chris@102: struct pointer_rebinder<Ptr<A, P0, P1, P2, P3, P4, P5, P6>, U, 0u>
Chris@102: {  typedef Ptr<U, P0, P1, P2, P3, P4, P5, P6> type;   };
Chris@102: 
Chris@102: template <template <class, class, class, class, class, class, class, class, class> class Ptr  //8arg
Chris@102:          , typename A, class P0, class P1, class P2, class P3, class P4, class P5, class P6, class P7
Chris@102:          , class U>
Chris@102: struct pointer_rebinder<Ptr<A, P0, P1, P2, P3, P4, P5, P6, P7>, U, 0u>
Chris@102: {  typedef Ptr<U, P0, P1, P2, P3, P4, P5, P6, P7> type;   };
Chris@102: 
Chris@102: template <template <class, class, class, class, class, class, class, class, class, class> class Ptr  //9arg
Chris@102:          , typename A, class P0, class P1, class P2, class P3, class P4, class P5, class P6, class P7, class P8
Chris@102:          , class U>
Chris@102: struct pointer_rebinder<Ptr<A, P0, P1, P2, P3, P4, P5, P6, P7, P8>, U, 0u>
Chris@102: {  typedef Ptr<U, P0, P1, P2, P3, P4, P5, P6, P7, P8> type;   };
Chris@102: 
Chris@102: #endif   //!defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
Chris@102: 
Chris@102: template <typename Ptr, typename U>
Chris@102: struct pointer_rebind
Chris@102:    : public pointer_rebinder<Ptr, U, pointer_rebind_mode<Ptr, U>::mode>
Chris@102: {};
Chris@102: 
Chris@102: template <typename T, typename U>
Chris@102: struct pointer_rebind<T*, U>
Chris@102: {  typedef U* type; };
Chris@102: 
Chris@102: }  //namespace container {
Chris@102: }  //namespace boost {
Chris@102: 
Chris@102: #endif // defined(BOOST_INTRUSIVE_POINTER_REBIND_HPP)