// 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 |