| // Copyright David Abrahams 2002. |
| // 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 UNWIND_TYPE_DWA200222_HPP |
| # define UNWIND_TYPE_DWA200222_HPP |
| |
| # include <boost/python/detail/cv_category.hpp> |
| # include <boost/python/detail/indirect_traits.hpp> |
| # include <boost/type_traits/object_traits.hpp> |
| |
| namespace boost { namespace python { namespace detail { |
| |
| #ifndef _MSC_VER //if forward declared, msvc6.5 does not recognize them as inline |
| // forward declaration, required (at least) by Tru64 cxx V6.5-042 |
| template <class Generator, class U> |
| inline typename Generator::result_type |
| unwind_type(U const& p, Generator* = 0); |
| |
| // forward declaration, required (at least) by Tru64 cxx V6.5-042 |
| template <class Generator, class U> |
| inline typename Generator::result_type |
| unwind_type(boost::type<U>*p = 0, Generator* = 0); |
| #endif |
| |
| template <class Generator, class U> |
| inline typename Generator::result_type |
| unwind_type_cv(U* p, cv_unqualified, Generator* = 0) |
| { |
| return Generator::execute(p); |
| } |
| |
| template <class Generator, class U> |
| inline typename Generator::result_type |
| unwind_type_cv(U const* p, const_, Generator* = 0) |
| { |
| return unwind_type(const_cast<U*>(p), (Generator*)0); |
| } |
| |
| template <class Generator, class U> |
| inline typename Generator::result_type |
| unwind_type_cv(U volatile* p, volatile_, Generator* = 0) |
| { |
| return unwind_type(const_cast<U*>(p), (Generator*)0); |
| } |
| |
| template <class Generator, class U> |
| inline typename Generator::result_type |
| unwind_type_cv(U const volatile* p, const_volatile_, Generator* = 0) |
| { |
| return unwind_type(const_cast<U*>(p), (Generator*)0); |
| } |
| |
| template <class Generator, class U> |
| inline typename Generator::result_type |
| unwind_ptr_type(U* p, Generator* = 0) |
| { |
| typedef typename cv_category<U>::type tag; |
| return unwind_type_cv<Generator>(p, tag()); |
| } |
| |
| template <bool is_ptr> |
| struct unwind_helper |
| { |
| template <class Generator, class U> |
| static typename Generator::result_type |
| execute(U p, Generator* = 0) |
| { |
| return unwind_ptr_type(p, (Generator*)0); |
| } |
| }; |
| |
| template <> |
| struct unwind_helper<false> |
| { |
| template <class Generator, class U> |
| static typename Generator::result_type |
| execute(U& p, Generator* = 0) |
| { |
| return unwind_ptr_type(&p, (Generator*)0); |
| } |
| }; |
| |
| template <class Generator, class U> |
| inline typename Generator::result_type |
| #ifndef _MSC_VER |
| unwind_type(U const& p, Generator*) |
| #else |
| unwind_type(U const& p, Generator* = 0) |
| #endif |
| { |
| return unwind_helper<is_pointer<U>::value>::execute(p, (Generator*)0); |
| } |
| |
| enum { direct_ = 0, pointer_ = 1, reference_ = 2, reference_to_pointer_ = 3 }; |
| template <int indirection> struct unwind_helper2; |
| |
| template <> |
| struct unwind_helper2<direct_> |
| { |
| template <class Generator, class U> |
| static typename Generator::result_type |
| execute(U(*)(), Generator* = 0) |
| { |
| return unwind_ptr_type((U*)0, (Generator*)0); |
| } |
| }; |
| |
| template <> |
| struct unwind_helper2<pointer_> |
| { |
| template <class Generator, class U> |
| static typename Generator::result_type |
| execute(U*(*)(), Generator* = 0) |
| { |
| return unwind_ptr_type((U*)0, (Generator*)0); |
| } |
| }; |
| |
| template <> |
| struct unwind_helper2<reference_> |
| { |
| template <class Generator, class U> |
| static typename Generator::result_type |
| execute(U&(*)(), Generator* = 0) |
| { |
| return unwind_ptr_type((U*)0, (Generator*)0); |
| } |
| }; |
| |
| template <> |
| struct unwind_helper2<reference_to_pointer_> |
| { |
| template <class Generator, class U> |
| static typename Generator::result_type |
| execute(U&(*)(), Generator* = 0) |
| { |
| return unwind_ptr_type(U(0), (Generator*)0); |
| } |
| }; |
| |
| // Call this one with both template parameters explicitly specified |
| // and no function arguments: |
| // |
| // return unwind_type<my_generator,T>(); |
| // |
| // Doesn't work if T is an array type; we could handle that case, but |
| // why bother? |
| template <class Generator, class U> |
| inline typename Generator::result_type |
| #ifndef _MSC_VER |
| unwind_type(boost::type<U>*, Generator*) |
| #else |
| unwind_type(boost::type<U>*p =0, Generator* =0) |
| #endif |
| { |
| BOOST_STATIC_CONSTANT(int, indirection |
| = (boost::is_pointer<U>::value ? pointer_ : 0) |
| + (indirect_traits::is_reference_to_pointer<U>::value |
| ? reference_to_pointer_ |
| : boost::is_reference<U>::value |
| ? reference_ |
| : 0)); |
| |
| return unwind_helper2<indirection>::execute((U(*)())0,(Generator*)0); |
| } |
| |
| }}} // namespace boost::python::detail |
| |
| #endif // UNWIND_TYPE_DWA200222_HPP |