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_DETAIL_POINTER_ELEMENT_HPP
Chris@102: #define BOOST_INTRUSIVE_DETAIL_POINTER_ELEMENT_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: #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: namespace boost {
Chris@102: namespace intrusive {
Chris@102: namespace detail{
Chris@102: 
Chris@102: //////////////////////
Chris@102: //struct first_param
Chris@102: //////////////////////
Chris@102: 
Chris@102: template <typename T> struct first_param
Chris@102: {  typedef void type;   };
Chris@102: 
Chris@102: #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
Chris@102: 
Chris@102:    template <template <typename, typename...> class TemplateClass, typename T, typename... Args>
Chris@102:    struct first_param< TemplateClass<T, Args...> >
Chris@102:    {
Chris@102:       typedef T type;
Chris@102:    };
Chris@102: 
Chris@102: #else //C++03 compilers
Chris@102: 
Chris@102:    template < template  //0arg
Chris@102:                <class
Chris@102:                > class TemplateClass, class T
Chris@102:             >
Chris@102:    struct first_param
Chris@102:       < TemplateClass<T> >
Chris@102:    {  typedef T type;   };
Chris@102: 
Chris@102:    template < template  //1arg
Chris@102:                <class,class
Chris@102:                > class TemplateClass, class T
Chris@102:             , class P0>
Chris@102:    struct first_param
Chris@102:       < TemplateClass<T, P0> >
Chris@102:    {  typedef T type;   };
Chris@102: 
Chris@102:    template < template  //2arg
Chris@102:                <class,class,class
Chris@102:                > class TemplateClass, class T
Chris@102:             , class P0, class P1>
Chris@102:    struct first_param
Chris@102:       < TemplateClass<T, P0, P1> >
Chris@102:    {  typedef T type;   };
Chris@102: 
Chris@102:    template < template  //3arg
Chris@102:                <class,class,class,class
Chris@102:                > class TemplateClass, class T
Chris@102:             , class P0, class P1, class P2>
Chris@102:    struct first_param
Chris@102:       < TemplateClass<T, P0, P1, P2> >
Chris@102:    {  typedef T type;   };
Chris@102: 
Chris@102:    template < template  //4arg
Chris@102:                <class,class,class,class,class
Chris@102:                > class TemplateClass, class T
Chris@102:             , class P0, class P1, class P2, class P3>
Chris@102:    struct first_param
Chris@102:       < TemplateClass<T, P0, P1, P2, P3> >
Chris@102:    {  typedef T type;   };
Chris@102: 
Chris@102:    template < template  //5arg
Chris@102:                <class,class,class,class,class,class
Chris@102:                > class TemplateClass, class T
Chris@102:             , class P0, class P1, class P2, class P3, class P4>
Chris@102:    struct first_param
Chris@102:       < TemplateClass<T, P0, P1, P2, P3, P4> >
Chris@102:    {  typedef T type;   };
Chris@102: 
Chris@102:    template < template  //6arg
Chris@102:                <class,class,class,class,class,class,class
Chris@102:                > class TemplateClass, class T
Chris@102:             , class P0, class P1, class P2, class P3, class P4, class P5>
Chris@102:    struct first_param
Chris@102:       < TemplateClass<T, P0, P1, P2, P3, P4, P5> >
Chris@102:    {  typedef T type;   };
Chris@102: 
Chris@102:    template < template  //7arg
Chris@102:                <class,class,class,class,class,class,class,class
Chris@102:                > class TemplateClass, class T
Chris@102:             , class P0, class P1, class P2, class P3, class P4, class P5, class P6>
Chris@102:    struct first_param
Chris@102:       < TemplateClass<T, P0, P1, P2, P3, P4, P5, P6> >
Chris@102:    {  typedef T type;   };
Chris@102: 
Chris@102:    template < template  //8arg
Chris@102:                <class,class,class,class,class,class,class,class,class
Chris@102:                > class TemplateClass, class T
Chris@102:             , class P0, class P1, class P2, class P3, class P4, class P5, class P6, class P7>
Chris@102:    struct first_param
Chris@102:       < TemplateClass<T, P0, P1, P2, P3, P4, P5, P6, P7> >
Chris@102:    {  typedef T type;   };
Chris@102: 
Chris@102:    template < template  //9arg
Chris@102:                <class,class,class,class,class,class,class,class,class,class
Chris@102:                > class TemplateClass, class T
Chris@102:             , class P0, class P1, class P2, class P3, class P4, class P5, class P6, class P7, class P8>
Chris@102:    struct first_param
Chris@102:       < TemplateClass<T, P0, P1, P2, P3, P4, P5, P6, P7, P8> >
Chris@102:    {  typedef T type;   };
Chris@102: 
Chris@102: #endif   //!defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
Chris@102: 
Chris@102: template <typename T>
Chris@102: struct has_internal_pointer_element
Chris@102: {
Chris@102:    template <typename X>
Chris@102:    static char test(int, typename X::element_type*);
Chris@102: 
Chris@102:    template <typename X>
Chris@102:    static int test(...);
Chris@102: 
Chris@102:    static const bool value = (1 == sizeof(test<T>(0, 0)));
Chris@102: };
Chris@102: 
Chris@102: template<class Ptr, bool = has_internal_pointer_element<Ptr>::value>
Chris@102: struct pointer_element_impl
Chris@102: {
Chris@102:    typedef typename Ptr::element_type type;
Chris@102: };
Chris@102: 
Chris@102: template<class Ptr>
Chris@102: struct pointer_element_impl<Ptr, false>
Chris@102: {
Chris@102:    typedef typename boost::intrusive::detail::first_param<Ptr>::type type;
Chris@102: };
Chris@102: 
Chris@102: }  //namespace detail{
Chris@102: 
Chris@102: template <typename Ptr>
Chris@102: struct pointer_element
Chris@102: {
Chris@102:    typedef typename ::boost::intrusive::detail::pointer_element_impl<Ptr>::type type;
Chris@102: };
Chris@102: 
Chris@102: template <typename T>
Chris@102: struct pointer_element<T*>
Chris@102: {  typedef T type; };
Chris@102: 
Chris@102: }  //namespace container {
Chris@102: }  //namespace boost {
Chris@102: 
Chris@102: #endif // defined(BOOST_INTRUSIVE_DETAIL_POINTER_ELEMENT_HPP)